Interface-based design of real-time systems with hierarchical scheduling

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn 2006, Issue , 2006, Pages 243-252

  Wandeler, Ernesto ^a   Thiele, Lothar ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT SYSTEM; INTERFACE BASED DESIGN;

COMPONENTS; DESIGN; HIERARCHICAL SYSTEMS; SCHEDULING; SERVERS;

REAL TIME SYSTEMS;

EID: 33749625909     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2006.23     Document Type: Conference Paper

References (16)

1. K. Albers and F. Slomka. An event stream driven approximation for the analysis of real-time systems. In Proceedings of the 16th Euromicro Conference on Real-Time. Systems (ECRTS'04). IEEE Press, 2004.
2. L. Almeida and P. Pedreira. Scheduling within temporal partitions: response-time analsysis and server design. In Proceedings of the Fourth ACM International Conference on Embedded Software, 2004.
3. S. K. Baruah. Dynamic- and static-priority scheduling of recurring real-time tasks. Real-Time Systems, 24(1):93-128, 2003.
4. E. Bini and G. Lipari. Resource partitioning among real-time applications. In Proc. of EUROMICRO Conference on Real-Time Systems (ECRTS), 2003.
5. A. Chakrabarti, L. de Alfaro, T. Henzinger, and M. Stoelinga. Resource interfaces. In EMSQFT 03: Embedded Software, Lecture Notes in Computer Science 2855, pages 117-133. Springer-Verlag, 2003.
6. 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.
7. 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.
8. L. de Alfaro and T. A. Henzinger. Interface automata. In Proc. Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
9. L. de Alfaro and T. A. Henzinger. Interface-based design. In To appear in the Proceedings of the 2004 Marktoberdorf Summer School. Kluwer, 2005.
10. J. Le Boudec and P. Thiran. Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. LNCS 2050, Springer Verlag, 2001.
11. K. Richter, M. Jersak, and R. Ernst. A formal approach to mpsoc perfôrmance verification. IEEE Computer, 36(4):60-67, April 2003.
12. 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.
13. I. Shin and I. Lee. Compositional Real-Time Scheduling Framework, In Proceedings of the Real-Time Systems Symposium (RTSS), pages 57-67. IEEE Press, 2004.
14. 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.
15. E. Wandeler and L. Thiele. Real-Time Interfaces for Interface-Based Design of Real-Time Systems with Fixed Priority Scheduling. In Proceedings of the 5th ACM International Conference on Embedded Software (EMSOFT'05), pages 80-89. IEEE Press, 2005.
16. 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.