Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

  • Tayfun Gezgin
  • Björn Koopmann
  • Achim Rettberg
Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 523)


The analysis of real-time properties is crucial in safety critical areas like in automotive applications. Systems have to work in a timely manner to offer correct services. Most of the applications in this domain are distributed over several computation units, inter-connected by bus systems. In previous works we have introduced a state-based analysis approach to validate end-to-end deadlines for distributed systems. The approach is based on the computation of the state spaces of all resources, such as processors and buses, in an iterative fashion. For this, abstraction and composition operations were defined to adequately handle task and resource dependencies. During the design process of a system changes occur typically on both the specification and implementation level, such that already performed analyses of the system have to be repeated. In this work, we extend our timing analysis with a refinement checking approach, detail when it is appropriate to be used, and compare the analysis times with the computation times to perform the refinement check.


Real-time systems Scheduling analysis Re-validation Timing analysis State-based timing analysis 


  1. 1.
    Gezgin, T., Stierand, I., Henkler, S., Rettberg, A.: State-based scheduling analysis for distributed real-time systems. Des. Autom. Embed. Syst. 18, 1–18 (2013)CrossRefGoogle Scholar
  2. 2.
    Gezgin, T., Henkler, S., Stierand, I., Rettberg, A.: Impact analysis for timing requirements on real-time systems. In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1–10, August 2014Google Scholar
  3. 3.
    Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117–134 (1994)CrossRefGoogle Scholar
  4. 4.
    Gutierrez, J., Gutierrez Garcia, J., Gonzalez Harbour, M.: On the schedulability analysis for distributed hard real-time systems. In: Proceedings of the Euromicro Workshop on Real-Time Systems, pp. 136–143 (1997)Google Scholar
  5. 5.
    Thiele, L., Chakraborty, S., Gries, M., Maxiaguine, A., Greutert, J.: Embedded software in network processors—models and algorithms. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 416–434. Springer, Heidelberg (2001). Scholar
  6. 6.
    Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis - the symTA/S approach. IEEE Proc. Comput. Digit. Tech. 152, 148–166 (2005)CrossRefGoogle Scholar
  7. 7.
    Wandeler, E.: Modular performance analysis and interface-based design for embedded real-time systems. Ph.D. thesis. Swiss Federal Institute of Technology Zurich (2006)Google Scholar
  8. 8.
    Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT 2009: Proceedings of the Seventh ACM International Conference on Embedded Software, pp. 107–116 (2009)Google Scholar
  9. 9.
    Phan, L.T.X., Lee, J., Easwaran, A., Ramaswamy, V., Chen, S., Lee, I., Sokolsky, O.: CARTS: a tool for compositional analysis of real-time systems. SIGBED Rev. 8(1), 62–63 (2011)CrossRefGoogle Scholar
  10. 10.
    David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using uppaal 4.1. In: Nicolescu, G., Mosterman, P. (eds.) Model-Based Design for Embedded Systems, pp. 93–119 (2009)CrossRefGoogle Scholar
  11. 11.
    Hendriks, M., Verhoef, M.: Timed automata based analysis of embedded system architectures. In: 20th International Parallel and Distributed Processing Symposium, IPDPS 2006, April 2006Google Scholar
  12. 12.
    Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.: Influence of different system abstractions on the performance analysis of distributed real-time systems. In: Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, EMSOFT, pp. 193–202 (2007)Google Scholar
  13. 13.
    Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 67–82. Springer, Heidelberg (2002). Scholar
  14. 14.
    Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008). Scholar
  15. 15.
    Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: IEEE International Symposium on Circuits and Systems (ISCAS), vol. 4, pp. 101–104 (2000)Google Scholar
  16. 16.
    Lehnert, S.: A review of software change impact analysis. Ilmenau University of Technology, Technical report (2011)Google Scholar
  17. 17.
    Richter, K., Racu, R., Ernst, R.: Scheduling analysis integration for heterogeneous multiprocessor SoC. In: Proceedings of RTSS (2003)Google Scholar
  18. 18.
    Gezgin, T., Henkler, S., Stierand, I., Rettberg, A.: Evaluation of a state-based real-time scheduling analysis technique. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), pp. 158–163, July 2014Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2017

Authors and Affiliations

  • Tayfun Gezgin
    • 1
  • Björn Koopmann
    • 1
  • Achim Rettberg
    • 1
  1. 1.Carl von Ossietzky University OldenburgOldenburgGermany

Personalised recommendations