Influence of different abstractions on the performance analysis of distributed hard real-time systems

Design Automation for Embedded Systems

Volumn 13, Issue 1-2, 2009, Pages 27-49

  Perathoner, Simon ^a   Wandeler, Ernesto ^a   Thiele, Lothar ^a   Hamann, Arne ^b   Schliecker, Simon ^b   Henia, Rafik ^b   Racu, Razvan ^b   Ernst, Rolf ^b   González Harbour, Michael ^c  

^a ETH ZURICH   (Switzerland)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^c UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

Benchmarking; Performance analysis; System abstraction

Indexed keywords

ACCURATE PERFORMANCE; ANALYSIS ACCURACY; ANALYSIS METHOD; COMPARISON OF PERFORMANCE; DESIGN PROCESS; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED HARD REAL-TIME SYSTEMS; DISTRIBUTED SYSTEMS; EARLY DESIGN STAGES; FORMAL ANALYSIS METHOD; HARD REAL-TIME; PERFORMANCE ANALYSIS; PERFORMANCE ANALYSIS TECHNIQUES; PERFORMANCE PREDICTION; SPECIFIC EFFECTS; SYSTEM ABSTRACTION; SYSTEM ANALYSIS; SYSTEM LEVEL PERFORMANCE ANALYSIS;

ABSTRACTING; BENCHMARKING; EMBEDDED SYSTEMS;

REAL TIME SYSTEMS;

EID: 67349206924     PISSN: 09295585     EISSN: 15728080     Source Type: Journal    
DOI: 10.1007/s10617-008-9015-1     Document Type: Conference Paper

References (23)

1. R Alur DL Dill 1994 A theory of timed automata Theor Comput Sci 126 2 183 235
2. Behrmann G, David A, Larsen KG, Håkansson J, Pettersson P, Yi W, Hendriks M (2006) UPPAAL 4.0. In: Proc of the 3rd int conference on the quantitative evaluation of systems. IEEE Computer Society, Los Alamitos, pp 125-126
3. Chakraborty S, Künzli S, Thiele L (2003) A general framework for analysing system properties in platform-based embedded system designs. In: Proc of 6th design, automation and test in Europe, pp 190-195
4. 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: Proc of 13th Euromicro conference on real-time systems. IEEE Computer Society, Los Alamitos, pp 125-134
5. Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Workshop on parallel and distributed real-time systems
6. R Henia A Hamann M Jersak R Racu K Richter R Ernst 2005 System level performance analysis-the SymTA/S approach IEE Proc Comput Digit Tech 152 2 148 166
7. Le Boudec JY, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the Internet. Springer, New York
8. Lehoczky J (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proc of the real-time systems symposium, pp 201-209 (Pubitemid 21689843)
9. Medina JL, González Harbour M, Drake JM (2001) MAST real-time view: a graphic UML tool for modeling object-oriented real-time systems. In: Proc of the 22nd real-time systems symposium. IEEE Computer Society, Los Alamitos, pp 245-256 (Pubitemid 34064498)
10. Norström C, Wall A, Yi W (1999) Timed automata as task models for event-driven systems. In: Proc of the 6th int conference on real-time computing systems and applications. IEEE Computer Society, Los Alamitos, p 182
11. Palencia JC, González Harbour M (1999) Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: Proc of the 20th real-time systems symposium. IEEE Computer Society, Los Alamitos, pp 328-339 (Pubitemid 30560572)
12. Palencia Gutiérrez JC, González Harbour M (1998) Schedulability analysis for tasks with static and dynamic offsets. In: Proc of the 19th real-time systems symposium. IEEE Computer Society, Los Alamitos
13. Perathoner S, Wandeler E, Thiele L (2006) Evaluation and comparison of performance analysis methods for distributed embedded systems. Technical report 276, Computer Engineering and Networks Laboratory, ETH Zurich, March 2006
14. Pop P, Eles P, Peng Z (2000) Performance estimation for embedded systems with data and control dependencies. In: Proc of the 8th int workshop on hardware/software codesign. ACM Press, New York, pp 62-66
15. Pop T, Eles P, Peng Z (2002) Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In: Proc of the 10th int symposium on hardware/software codesign. ACM Press, New York, pp 187-192
16. Richter K (2004) Compositional performance analysis. PhD thesis, Technical University of Braunschweig
17. K Richter M Jersak R Ernst 2003 A formal approach to MpSoC performance verification IEEE Comput 36 4 60 67
18. Schliecker S, Ernst R (2008) Compositional path latency computation with local busy times. Technical report TR-08-01, Institute of Computer and Communication Network Engineering, Technische Universität Braunschweig, Germany, January 2008
19. Thiele L, Chakraborty S, Gries M, Maxiaguine A, Greutert J (2001) Embedded software in network processors-models and algorithms. In: Proc of the 1st int workshop on embedded software. Springer, Berlin, pp 416-434
20. Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proc int symposium on circuits and systems, vol 4, pp 101-104
21. K Tindell J Clark 1994 Holistic schedulability analysis for distributed hard real-time systems Microprocess Microprogram-Euromicro J 40 117 134 (Special Issue on Parallel Embedded Real-Time Systems)
22. Wandeler E, Thiele L (2005) Characterizing workload correlations in multi processor hard real-time systems. In: Proc of the 11th real time on embedded technology and applications symposium. IEEE Computer Society, Los Alamitos, pp 46-55
23. Yen TY, Wolf W (1995) Performance estimation for real-time distributed embedded systems. In: Proc of the 1995 int conference on computer design. IEEE Computer Society, Los Alamitos, pp 64-71