Skip to main content
Log in

Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems

International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

To give worst case guarantees for the timing behavior of complex distributed embedded real-time systems, e.g. end-to-end latencies, different compositional approaches for system-level performance analysis have been developed which exhibit great flexibility and scalability. While these approaches are in theory able to handle arbitrary complex systems, the system-level results can easily become very pessimistic with increasing numbers of components. In this article, the basic principles of compositional system-level analysis are explained and its inherent strengths and weaknesses are elaborated. Furthermore, we present improved analysis techniques from existing research which can greatly reduce the pessimism of the system-level analysis results. Two techniques will be discussed in detail: the exploitation of a system’s communication infrastructure by usage of composition and decomposition operators and the exploitation of information w.r.t. the correlation of event processing. These techniques help to make system-level analysis not only applicable, but also a highly useful technique in the integration phase of embedded system design.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15

Similar content being viewed by others

References

  1. Albers, K., Bodmann, F., Slomka, F.: Hierarchical event streams and event dependency graphs: a new computational model for embedded real-time systems. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems, pp. 97–106 (2006)

  2. Albers, K., Bodmann, F., Slomka, F.: Advanced hierarchical event-stream model. In: Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS) (2008)

  3. Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: ICALP, pp. 322–335 (1990)

  4. AUTOSAR: AUTOSAR Specification of Communication V. 2.0.1, AUTOSAR Partnership (2006). http://www.autosar.org

  5. Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.H.: Compositional verification for component-based systems and application. Autom. Technol. Verifi. Anal. 5311, 64–79 (2008)

    Article  Google Scholar 

  6. Benveniste, A., Caspi, P., di Natale, M., Pinello, C., Sangiovanni-Vincentelli, A., Tripakis, S.: Loosely time-triggered architectures based on communication-by-sampling. In: EMSOFT ’07: Proceedings of the 7th ACM and IEEE International Conference on Embedded Software, pp. 231–239. ACM Press, New York (2007)

  7. Caspi, P., Halbwachs, N.: A functional model for describing and reasoning about time behaviour of computing systems. Acta Inf. 22(6), 595–627 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  8. Chakraborty, S., Künzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: Design, Automation and Test in Europe Conference and Exhibition 2003, pp. 190–195 (2003)

  9. David, A., Rasmussen, J.I., Larsen, K.G., Skou, A.: Model-Based Design for Embedded Systems, Chapter Model-based Framework for Schedulability Analysis Using Uppaal 4.1. C R C Press LLC, Boca Raton (2009)

  10. Davis, R.I., Bril, R.J., Burns, A., Lukkien, J.J.: Controller area network (can) schedulability analysis: refuted, revisited and revised. In: Real-Time Systems, vol. 35, pp. 239–272 (2007)

  11. Gresser, K.: An event model for deadline verification of hard real-time systems. In: Proceedings 5th Euromicro Workshop on Real-Time Systems, pp. 118–123, Oulu, Finland (1993)

  12. Gutiérrez, J.C.P., García, J.J.G., Harbour, M.G.: On the schedulability analysis for distributed hard real-time systems. In: Proceedings of the 9th Euromicro Workshop on Real-Time Systems, Toledo, Spain, pp. 136–143 (1997)

  13. Henia, R., Ernst, R.: Improved offset-analysis using multiple timing-references. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, pp. 450–455 (2006)

  14. Henia, R., Racu, R., Ernst, R.: Improved output Jitter calculation for compositional performance analysis of distributed systems. In: Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, pp. 1–8 (2007)

  15. Henia, R., Ernst, R.: Context-aware scheduling analysis of distributed systems with tree-shaped task-dependencies. In: Proceeding Design Automation and Test in Europe (2005)

  16. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis— the symta/s approach. In: IEE Proceedings Computers and Digital Techniques (2005)

  17. Henzinger, T., Matic, S.: An interface algebra for real-time components. In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2006)

  18. Examples for indutrial applications of symta/s. http://www.symtavision.com/success.html. Accessed on 24 November 2011

  19. Huang, K., Thiele, L., Stefanov, T., Deprettere, Ed.: Performance analysis of multimedia applications using correlated streams. In: Design, Automation and Test in Europe (DATE 07), pp. 912–917, Nice, France (2007)

  20. Jersak, M.: Compositional performance analysis for complex embedded applications. Ph.D. thesis, Technical University of Braunschweig, Department of Electrical Engineering and Information Technology (2004)

  21. Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390 (1986)

    Article  MathSciNet  Google Scholar 

  22. Le Boudec, J.Y., Thiran, P.: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer, Berlin (2001)

    Google Scholar 

  23. Lehoczky, J.: Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: 11th IEEE Proceedings of Real-Time Systems Symposium, 1990, pp. 201–209 (1990)

  24. Liu, C.L., Layland, J.W.: Scheduling algorithm for multiprogramming in a hard-real-time environment. J. ACM. 20 (1973)

  25. Maxiaguine, A., Künzli, S., Thiele, L.: Workload characterization model for tasks with variable execution demand. In: Proceedings of Design Automation and Test in Europe, Paris, France (2004)

  26. Norstrom, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: Sixth International Conference on Real-Time Computing Systems and Applications, 1999. RTCSA ’99, pp. 182–189 (1999)

  27. Palencia, J.C., Harbour, M.G.: Schedulability analysis for tasks with static and dynamic offsets. In: Proceedings of the 19th IEEE Real-Time Systems, Symposium (RTSS98) (1998)

  28. Palencia, J.C., Harbour, M.G.: Exploiting precedence relations in the schedulablilty analysis of distributed real-time systems. In: Proceedings of the 20th IEEE Real-Time Systems, Symposium (RTSS99) (1999)

  29. Palencia, J.C., Harbour, M.G.: Offset-based response time analysis of distributed systems scheduled under edf. In: Real-Time Systems, 2003. Proceedings of the 15th Euromicro Conference, pp. 3–12 (2003)

  30. Perathoner, S., Rein, T., Thiele, L., Lampka, K., Rox, J.: Modeling structured event streams in system level performance analysis. In: Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, pp. 37–46 (2010)

  31. Perathoner, S., Wandeler, E., Thiele, L., Hamann, A., Schliecker, S., Henia, R., Racu, R., Ernst, R., Harbour, M.G.: Influence of different abstractions on the performance analysis of distributed hard real-time systems. In: Design Automation for Embedded Systems (2008)

  32. Pop, P., Eles, P., Peng, Z.: Schedulability analysis and optimization for the synthesis of multi-cluster distributed embedded systems. In: Design, Automation and Test in Europe Conference and Exhibition, pp. 184–189 (2003)

  33. Pop, T., Pop, P., Eles, P., Peng, Z., Andrei, A.: Timing analysis of the FlexRay communication protocol. In: Proceedings of 18th EuroMicro Conference on Real-Time Systems, Dresden, pp. 203–213 (2006)

  34. Puschner, P., Schoeberl, M.: On composable system timing, task timing, and WCET analysis. In: Proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic (2008)

  35. Richter, K., Racu, R., Ernst, R.: Scheduling analysis integration for heterogeneous multiprocessor SoC. In: Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS), Cancun, Mexico (2003)

  36. Richter, K.: Compositional scheduling analysis using standard event models. Ph.D. thesis, Technical University of Braunschweig (2004)

  37. Richter, K., Ziegenbein, D., Jersak, M., Ernst, R.: Model composition for scheduling analysis in platform design. In: Proceedings of 39th Design Automation Conference (DAC 2002) (2002)

  38. Rox, J., Ernst, R.: Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers. ECRTS (2008)

  39. Rox, J., Ernst, R.: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. In: Proceedings Design, Automation and Test in Europe (DATE 10), p. 226, Dresden, Germany (2010)

  40. Rox, J., Ernst, R.: Modeling event stream hierarchies with hierarchical event models. In: Proceedings of Design, Automation and Test in Europe (DATE 2008), Munich, Germany (2008)

  41. Schliecker, S., Negrean, M., Ernst, R.: Response time analysis in multicore ecus with shared resources. IEEE Trans. Ind. Inform. 5(4), 402–413 (2009)

    Article  Google Scholar 

  42. Suppiger, U., Perathoner, S., Lampka, K., Thiele, L.: Modular performance analysis of large-scale distributed embedded systems: an industrial case study. Technical report, ETH Zurich (2010)

  43. Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. Circuits and Systems, 2000. In: Proceedings. ISCAS 2000 Geneva. The 2000 IEEE International Symposium, vol. 4 (2000)

  44. Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogr. 40(2–3), 117–134 (1994)

    Article  Google Scholar 

  45. Tindell, K.W.: Adding time-offsets to schedulability analysis. University of York, Technical report (1994)

  46. Tindell, K.W., Burns, A., Wellings, A.J.: An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Syst. 6(2), 133–151 (1994)

    Article  Google Scholar 

  47. Traub, M., Conrath, M., Hedenetz, B., Lauer, V., Richter, K., Jersak, M., Reichmann, C.: Search for the best migration strategy from can to flexray. Hanser Automotive FLEXRAY SPECIAL 2009 (2009)

  48. Traub, M., Lauer, V., Weber, T., Jersak, M., Richter, K., Becker, J.: Timing analysis for verification of network architectures. ATZ, Elektronik (2009)

  49. Wandeler, E., Maxiaguine, A., Thiele, L.: Performance analysis of greedy shapers in real-time systems. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, pp. 444–449 (2006)

  50. Wandeler, E.: Modular performance analysis and interface-based design of embedded systems. PhD thesis, Swiss Federal Institute of Technology (2006)

  51. Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand C., Heckmann R., Mitra T., Mueller F., Puaut I., Puschner P., Staschulat J., Stenström P.: The worst-case execution time problem—overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(36):1–36:53 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jonas Rox.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rox, J., Ernst, R. Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems. Int J Softw Tools Technol Transfer 15, 171–187 (2013). https://doi.org/10.1007/s10009-012-0260-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-012-0260-z

Keywords

Navigation