Influence of different abstractions on the performance analysis of distributed hard real-time systems
Tóm tắt
System level performance analysis plays a fundamental role in the design process of hard real-time embedded systems. Several different approaches have been presented so far to address the problem of accurate performance analysis of distributed embedded systems in early design stages. The existing formal analysis methods are based on essentially different concepts of abstraction. However, the influence of these different models on the accuracy of the system analysis is widely unknown, as a direct comparison of performance analysis methods has not been considered so far. We define a set of benchmarks aimed at the evaluation of performance analysis techniques for distributed systems. We apply different analysis methods to the benchmarks and compare the results obtained in terms of accuracy and analysis times, highlighting the specific effects of the various abstractions. We also point out several pitfalls for the analysis accuracy of single approaches and investigate the reasons for pessimistic performance predictions.
Tài liệu tham khảo
Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235
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
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
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
Hendriks M, Verhoef M (2006) Timed automata based analysis of embedded system architectures. In: Workshop on parallel and distributed real-time systems
Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis—the SymTA/S approach. IEE Proc Comput Digit Tech 152(2):148–166
Le Boudec JY, Thiran P (2001) Network calculus: a theory of deterministic queuing systems for the Internet. Springer, New York
Lehoczky J (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proc of the real-time systems symposium, pp 201–209
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
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
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
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
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
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
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
Richter K (2004) Compositional performance analysis. PhD thesis, Technical University of Braunschweig
Richter K, Jersak M, Ernst R (2003) A formal approach to MpSoC performance verification. IEEE Comput 36(4):60–67
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
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
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
Tindell K, Clark J (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)
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
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