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

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Volumn , Issue , 2007, Pages 193-202

  Perathoner, Simon ^a   Wandeler, Ernesto ^a   Thiele, Lothar ^a   Hamann, Arne ^b   Schliecker, Simon ^b   Henia, Rafik ^b   Racu, Razvan ^b   Ernst, Rolf ^b   Harbour, Michael González ^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

ABSTRACTING; BENCHMARKING; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

PERFORMANCE ANALYSIS; SYSTEM ABSTRACTION;

REAL TIME SYSTEMS;

EID: 38849162747     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289927.1289959     Document Type: Conference Paper

References (22)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. G. Behrmann, A. David, K. G. Larsen, J. Håkansson, P. Pettersson, W. Yi, and M. Hendriks. UPPAAL 4.0. In Proc. of the 3rd Intl. Conference on the Quantitative Evaluation of SysTems, IEEE Computer Society, pages 125-126, 2006.
3. S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proc. of 6th Design, Automation and Test in Europe, pages 190-195, 2003.
4. 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 Proc. of 13th Euromicro Conference on Real-Time Systems, pages 125-134. IEEE Computer Society, 2001.
5. M. Hendriks and M. Verhoef. Timed automata based analysis of embedded system architectures. In Workshop on Parallel and Distributed Real-Time Systems, 2006.
6. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System level performance analysis - the SymTA/S approach. IEE Proc. Computers and Digital Techniques, 152(2):148-166, March 2005.
7. J. Y. Le Boudec and P. Thiran. Network calculus: a theory of deterministic queuing systems for the internet. Springer-Verlag New York, Inc., 2001.
8. J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proc. of the Real-Time Systems Symposium, pages 201-209, 1990.
9. J. L. Medina, M. González Harbour, and J. M. Drake. Mast real-time view: A graphic uml tool for modeling object-oriented real-time systems. In Proc. of the 22nd Real-Time Systems Symposium, pages 245-256. IEEE Computer Society Press, 2001.
10. C. Norström, A. Wall, and W. Yi. Timed automata as task models for event-driven systems. In Proc. of the 6th Intl. Conference on Real-Time Computing Systems and Applications, page 182. IEEE Computer Society, 1999.
11. J. C. Palencia and M. González Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In Proc. of the 20th Real-Time Systems Symposium, pages 328-339. IEEE Computer Society Press, 1999.
12. J. C. Palencia Gutiérrez and M. González Harbour. Schedulability analysis for tasks with static and dynamic offsets. In Proc. of the 19th Real-Time Systems Symposium. IEEE Computer Society, 1998.
13. S. Perathoner, E. Wandeler, and L. Thiele. Evaluation and comparison of performance analysis methods for distributed embedded systems. Technical Report 276, Computer Engineering and Networks Laboratory, ETH Zurich, Mar. 2006.
14. P. Pop, P. Eles, and Z. Peng. Performance estimation for embedded systems with data and control dependencies. In Proc. of the 8th intl. workshop on Hardware/software codesign, pages 62-66. ACM Press, 2000.
15. T. Pop, P. Eles, and Z. Peng. Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems. In Proc. of the 10th intl. symposium on Hardware/software codesign, pages 187-192. ACM Press, 2002.
16. K. Richter. Compositional Performance Analysis. PhD thesis, Technical University of Braunschweig, 2004.
17. K. Richter, M. Jersak, and R. Ernst. A formal approach to mpsoc performance verification. IEEE Computer, 36(4):60-67, 2003.
18. L. Thiele, S. Chakraborty, M. Gries, A. Maxiaguine, and J. Greutert. Embedded software in network processors models and algorithms. In Proc. of the 1st intl. Workshop on Embedded Software, pages 416-434. Springer-Verlag, 2001.
19. L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In Proc. Intl. Symposium on Circuits and Systems, volume 4, pages 101-104, 2000.
20. K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems), 40:117-134, 1994.
21. E. Wandeler and L. Thiele. Characterizing workload correlations in multi processor hard real-time systems. In Proc. of the 11th Real Time on Embedded Technology and Applications Symposium, pages 46-55. IEEE Computer Society, 2005.
22. T. Y. Yen and W. Wolf. Performance estimation for real-time distributed embedded systems. In Proc. of the 1995 Intl. Conference on Computer Design, pages 64-71. IEEE Computer Society, 1995.