Composing heterogeneous components for system-wide performance analysis

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2011, Pages 842-847

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

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTIC MODELS; COMPONENT BASED; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED REAL TIME SYSTEM; FINITE STATE MACHINES; HETEROGENEOUS COMPONENT; INTERACTION SEMANTICS; PERFORMANCE ANALYSIS; PERFORMANCE VALIDATION; REAL TIME SCHEDULING; SYSTEM-LEVEL PERFORMANCE; TIMED AUTOMATA;

EMBEDDED SYSTEMS; FINITE AUTOMATA; SEMANTICS;

REAL TIME SYSTEMS;

EID: 79957567218     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. M. González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez, and J. M. Drake Moyano, "MAST: Modeling and Analysis Suite for Real Time Applications," in Proceedings of 13th Euromicro Conference on Real-Time Systems. IEEE Computer Society, 2001, pp. 125-134.
2. C. Norström, A. Wall, and W. Yi, "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, 1999, p. 182.
3. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, "System Level Performance Analysis - the SymTA/S Approach," Computers and Digital Techniques, IEE Proceedings -, vol. 152, no. 2, pp. 148-166, March 2005.
4. S. Chakraborty, S. Künzli, and L. Thiele, "A general framework for analysing system properties in platform-based embedded system designs," in Design Automation and Test in Europe (DATE). Munich, Germany: IEEE Press, 2003, pp. 190-195.
5. L. Thiele, S. Chakraborty, and M. Naedele, "Real-time calculus for scheduling hard real-time systems," in International Symposium on Circuits and Systems ISCAS 2000, vol. 4, Geneva, Switzerland, 2000, pp. 101-104.
6. J. Y. Le Boudec and P. Thiran, Network Calculus - A Theory of Deterministic Queuing Systems for the Internet, ser. Lecture Notes in Computer Science (LNCS). Springer, 2001, no. 2050.
7. A. Maxiaguine, S. Künzli, and L. Thiele, "Workload characterization model for tasks with variable execution demand," in Design Automation and Test in Europe (DATE). Paris, France: IEEE Computer Society, 2004, pp. 1040-1045.
8. E. Wandeler and L. Thiele, "Real-Time Calculus (RTC) Toolbox," http://www.mpa.ethz.ch/Rtctoolbox, 2006.
9. S. Künzli, A. Hamann, R. Ernst, and L. Thiele, "Combined approach to system level performance analysis of embedded systems," in 5th Intl. Conference on Hardware/Software Codesign and System Synthesis( CODES+ISSS'07). ACM, 2007, pp. 63-68.
10. S. Schliecker, J. Rox, M. Ivers, and R. Ernst, "Providing Accurate Event Models for the Analysis of Heterogeneous Multiprocessor Systems," in 6th Intl. Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'08), Atlanta (GA), USA, October 2008.
11. E. Wandeler, A. Maxiaguine, and L. Thiele, "Quantitative characterization of event streams in analysis of hard real-time applications," Realtime Systems, vol. 29, no. 2, pp. 205--225, 2005.
12. E. Wandeler and L. Thiele, "Abstracting functionality for modular performance analysis of hard real-time systems," in Asia and South Pacific Desing Automation Conference (ASP-DAC), Shanghai, P.R. China, 2005, pp. 697-702.
13. S. Chakraborty, T. Mitra, A. Roychoudhury, and L. Thiele, "Cache-aware timing analysis of streamingapplications," Real-Time Systems, vol. 41, pp. 52-85, 2009.
14. R. Alur and D. L. Dill, "Automata For Modeling Real-Time Systems," in Proceedings of the 17th International Colloquium on Automata, Languages and Programming (ICALP'90), M. Paterson, Ed., 1990, pp. 322-335.
15. K. Lampka, S. Perathoner, and L. Thiele, "Analytic real-time analysis and timed automata: A hybrid method for analyzing embedded real-time systems," in 8th ACM & IEEE International conference on Embedded software, EMSOFT 2009. Grenoble, France: ACM, 2009, pp. 107-116.
16. G. Behrmann, A. David, and K. G. Larsen, "A tutorial on UPPAAL," in 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, ser. LNCS, M. Bernardo and F. Corradini, Eds., no. 3185. Springer-Verlag, September 2004, pp. 200-236.
17. P. Krcal, L. Mokrushin, and W. Yi, "A tool for compositional analysis of timed systems by abstraction (extended abstract)," in Proceedings of 19th Nordic Workshop on Programming Theory (NWPT07), October 2007.
18. L. T. X. Phan, S. Chakraborty, P. S. Thiagarajan, and L. Thiele, "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, 2007, pp. 343-352.