Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 80-89

  Wandeler, Ernesto ^a   Thiele, Lothar ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Hierarchical Scheduling; Performance Analysis; Real Time Calculus; Real Time Interfaces

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER OPERATING SYSTEMS; DATA PROCESSING; INFORMATION THEORY; NETWORK COMPONENTS;

HIERARCHICAL SCHEDULING; PERFORMANCE ANALYSIS; REAL-TIME CALCULUS; REAL-TIME INTERFACES;

INTERFACES (COMPUTER);

EID: 29244432176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086246     Document Type: Conference Paper

References (17)

1. A. Chakrabarti, L. de Alfaro, T. Henzinger, and M. Stoelinga. Resource interfaces. In EMSOFT 03: Embedded Software, Lecture Notes in Computer Science 2855, pages 117-133. Springer-Verlag, 2003.
2. S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proc. 6th Design, Automation and Test in Europe (DATE), pages 190-195, March 2003.
3. S. Chakraborty, S. Künzli, L. Thiele, A. Herkersdorf, and P. Sagmeister. Performance evaluation of network processor architectures: Combining simulation with analytical estimation. Computer Networks, 41(5):641-665, April 2003.
4. L. de Alfaro and T. Henzinger. Interface theories for component-based design. In EMSOFT 01: Embedded Software, Lecture Notes in Computer Science 2211, pages 148-165. Springer-Verlag, 2001.
5. L. de Alfaro, T. Henzinger, and M. Stoelinga. Timed interfaces. In EMSOFT 02: Embedded Software, Lecture Notes in Computer Science 2491, pages 108-122. Springer-Verlag, 2002.
6. L. de Alfaro and T. A. Henziriger. Interface automata. In Proc. Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
7. L. de Alfaro and T. A. Henzinger. Interface-based design. In To appear in the Proceedings of the 2004 Marktoberdorf Summer School. Kluwer, 2005.
8. J. Le Boudec and P. Thiran. Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. LNCS 2050, Springer Verlag, 2001.
9. C. Lee, M. Potkonjak, and W. H. Mangione-Smith. Mediabench: A tool for evaluating and synthesizing multimedia and communicatons systems. In International Symposium on Microarchitecture, pages 330-335, 1997.
10. K. Richter, M. Jersak, and R. Ernst, A formal approach to mpsoc performance verification. IEEE Computer, 36(4):60-67, April 2003.
11. I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In Proceedings of the Real-Time Systems Symposium (RTSS), pages 2-13. IEEE Press, 2003.
12. L. Thiele, S. Chakraborty, M. Cries, A. Maxiaguine, and J. Greutert. Embedded software in network processors - models and algorithms. In Proc. 1st, Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science 2211, pages 416-434, Lake Tahoe, CA, USA, 2001. Springer Verlag.
13. L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In Proc. IEEE International Symposium on Circuits and Systems (ISCAS), volume 4, pages 101-104, 2000.
14. E. Wandeler, A. Maxiaguine, and L. Thiele. Quantitative characterization of event streams in analysis of hard real-time applications. Real-Time Systems, 29(2-3):205-225, March 2005.
15. E. Wandeler and L. Thiele. Abstracting functionality for modular performance analysis of hard real-time systems. In Asia South Pacific Design Automation Conference (ASP-DAC), 2005.
16. E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse, System architecture evaluation using modular performance analysis - a case study. In 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2004.
17. S. Wang, S. Rho, Z. Mai, R. Bettati, and W. Zhao. Real-time component-based systems. In Proceedings of the 11th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 428-437. IEEE Press, 2005.