Analytic real-time analysis and timed automata: A hybrid methodology for the performance analysis of embedded real-time systems

Design Automation for Embedded Systems

Volumn 14, Issue 3, 2010, Pages 193-227

  Lampka, Kai ^a   Perathoner, Simon ^a   Thiele, Lothar ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Hard real time systems; Performance analysis; Real time calculus; Timed automata

Indexed keywords

EID: 78149359721     PISSN: 09295585     EISSN: 15728080     Source Type: Journal    
DOI: 10.1007/s10617-010-9055-1     Document Type: Conference Paper

References (26)

1. Altisen K, Moy M (2010) Arrival curves for real-time calculus: the causality problem and its solutions. In: Esparza J, Majumdar R. (eds) TACAS, pp 358-372
2. Alur R, Dill DL (1990) Automata for modeling real-time systems. In: Paterson M (ed) Proceedings of the 17th international colloquium on automata, languages and programming (ICALP'90). Lecture notes in computer science, vol 443. Springer, Berlin, pp 322-335
3. Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems: 4th international school on formal methods for the design of computer, communication, and software systems, SFM-RT 2004. Lecture notes in computer science, vol 3185. Springer, Berlin, pp 200-236
4. Bengtsson J, Yi W (2004) Timed automata: semantics, algorithms and tools. In: Lectures on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer, Berlin, pp 87-124
5. Boudec JYL, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the Internet. Lecture notes in computer science, vol 2050. Springer, Berlin
6. Chakraborty S, Künzli S, Thiele L (2003) A general framework for analyzing system properties in platform-based embedded system designs. Design, automation and test in Europe conference and exhibition, vol 1
7. Chakraborty S, Phan LTX, Thiagarajan PS (2005) Event count automata: a state-based model for stream processing systems. In: Proceedings of the 26th IEEE international real-time systems symposium (RTSS'05), pp 87-98
8. Dierks H, Metzner A, Stierand I (2009) Efficient model-checking for real-time task networks. In: 2nd International conference on embedded software and systems. IEEE Computer Society, Los Alamitos, pp 11-18
9. González Harbour M, Gutiérrez García JJ, Palencia Gutiérrez JC, Drake Moyano JM (2001) Mast: Modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro conference on real-time systems. IEEE Computer Society, Los Alamitos, pp 125-134
10. Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Proceedings of the 20th international parallel and distributed processing symposium (IPDPS 2006). IEEE Press, New York
11. R Henia A Hamann M Jersak R Racu K Richter R Ernst 2005 System level performance analysis-the SymTA/S approach IEEE Proc Comput Digital Tech 152 2 148 166 10.1049/ip-cdt:20045088
12. B Jonsson S Perathoner L Thiele W Yi 2008 Cyclic dependencies in modular performance analysis EMSOFT '08: Proceedings of the 8th ACM international conference on embedded software ACM New York 179 188 10.1145/1450058.1450083 10.1145/1450058.1450083
13. Jonsson B, Perathoner S, Thiele L, Yi W (2008) Cyclic dependencies in modular performance analysis. In: EMSOFT '08: Proceedings of the 8th ACM international conference on embedded software. ACM, New York, pp 179-188. doi: 10.1145/1450058.1450083
14. Krcal P, Mokrushin L, Yi W (2007) A tool for compositional analysis of timed systems by abstraction (extended abstract). In: Proceedings of 19th Nordic workshop on programming theory (NWPT07)
15. Künzli S, Hamann A, Ernst R, Thiele L (2007) Combined approach to system level performance analysis of embedded systems. In: Proceedings of the 5th international conference on hardware/software codesign and system synthesis 2007. ACM, New York, pp 63-68
16. K Lampka S Perathoner L Thiele 2009 Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems EMSOFT '09: Proceedings of the seventh ACM international conference on embedded software ACM New York 107 116 10.1145/1629335.1629351 10.1145/1629335.1629351
17. Lampka K, Perathoner S, Thiele L (2009) Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT '09: Proceedings of the seventh ACM international conference on embedded software. ACM, New York, pp 107-116. doi: 10.1145/1629335.1629351
18. Modular Performance Analysis Framework and Matlab Toolbox. www.mpa.ethz.ch
19. Norström C, Wall A, Yi W (1999) Timed automata as task models for event-driven systems. In: Proceedings of the 6th international conference on real-time computing systems and applications. IEEE Computer Society, Los Alamitos, p 182
20. S Perathoner E Wandeler L Thiele A Hamann S Schliecker R Henia R Racu R Ernst MG Harbour 2007 Influence of different system abstractions on the performance analysis of distributed real-time systems EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on embedded software ACM New York 193 202 10.1145/1289927.1289959 10.1145/1289927.1289959
21. Perathoner S, Wandeler E, Thiele L, Hamann A, Schliecker S, Henia R, Racu R, Ernst R, Harbour MG (2007) Influence of different system abstractions on the performance analysis of distributed real-time systems. In: EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on embedded software. ACM, New York, pp 193-202. doi: 10.1145/1289927.1289959
22. Phan L, Chakraborty S, Thiagarajan P (2008) A multi-mode real-time calculus. In: Proceedings of the 28th IEEE real-time systems symposium (RTSS 2008). IEEE Computer Society, Los Alamitos, pp 59-69
23. Phan LTX, Chakraborty S, Thiagarajan PS, Thiele L (2007) Composing functional and state-based performance models for analyzing heterogeneous real-time systems. In: Proceedings of the 28th IEEE real-time systems symposium (RTSS 2007). IEEE Computer Society, Los Alamitos, pp 343-352
24. Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proceedings of international symposium on circuits and systems, vol 4, pp 101-104
25. The Uppaal timed model checker. www.uppaal.com
26. E Wandeler L Thiele M Verhoef P Lieverse 2006 System architecture evaluation using modular performance analysis: a case study Int J Soft Tools Technol Transf 8 6 649 667 10.1007/s10009-006-0019-5