Incremental schedulability analysis of hierarchical real-time components

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 272-281

  Easwaran, Arvind ^a   Shin, Insik ^a   Sokolsky, Oleg ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Associative real time interfaces; Compositional schedulability analysis; Hierarchical scheduling; Incremental schedulability analysis

Indexed keywords

ASSOCIATIVE REAL TIME INTERFACES; COMPOSITIONAL SCHEDULABILITY ANALYSIS; HIERARCHICAL SCHEDULING; INCREMENTAL SCHEDULABILITY ANALYSIS;

EMBEDDED SYSTEMS; HIERARCHICAL SYSTEMS; INTERFACES (COMPUTER); SCHEDULING ALGORITHMS;

REAL TIME SYSTEMS;

EID: 34547471004     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176927     Document Type: Conference Paper

References (26)

1. L. Almeida and P. Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In Proc. of the Fourth ACM International Conference on Embedded Software, September 2004.
2. H. Aydin, R. Melhem, D. Mosse, and P.M. Alvarez. Power-aware scheduling for periodic real-time tasks. IEEE Transactions on Computers, 53(5):584-600, 2004.
3. Hakan Aydin, Rami Melhem, Daniel Mosse, and Pedro Mejia-Alvarez. Determining optimal processor speeds for periodic real-time tasks with different power characteristics. In 13th Euromicro Conference on Real-Time Systems (ECRTS'01), page 225, 2001.
4. R. I. Davis and A. Burns. Hierarchical fixed priority pre-emptive scheduling. In Proc. of IEEE Real-Time Systems Symposium, December 2005.
5. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering. ACM Press, 2001.
6. L. de Alfaro and T. A. Henzinger. Interface theories for component-based design. In Proceedings of the First International Workshop on Embedded Software, pages pp. 148-165. Lecture Notes in Computer Science 2211, Springer-Verlag, 2001.
7. Z. Deng and J. W.-S. Liu. Scheduling real-time applications in an open environment. In Proc. of IEEE Real-Time Systems Symposium, pages 308-319, December 1997.
8. Arvind Easwaran, Insik Shin, Insup Lee, and Oleg Sokolsky. Associative composition of hierarchical real-time systems. Technical Report MS-CIS-06-06, University of Pennsylvania, 2006.
9. Arvind Easwaran, Insik Shin, Insup Lee, and Oleg Sokolsky. Bounding preemptions under EDF and R.M schedulers. Technical Report MS-CIS-06-07, University of Pennsylvania, 2006.
10. X. Feng and A. Mok. A model of hierarchical real-time virtual resources. In Proc. of IEEE Real-Time Systems Symposium, pages 26-35, December 2002.
11. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of IEEE, 91:84-99, 2003.
12. T. A. Henzinger and S. Matic. An interface algebra for real-time components. In Proc. of IEEE Real-Time Technology and Applications Symposium, pages 253-263, April 2006.
13. T.-W. Kuo and CH. Li. A fixed-priority-driven open environment for real-time applications. In Proc. of IEEE Real-Time Systems Symposium, pages 256-267, December 1999.
14. G. Lipari and S. Baruah. Efficient scheduling of real-time multi-task applications in dynamic systems. In Proc. of IEEE Real-Time Technology and Applications Symposium, pages 166-175, May 2000.
15. G. Lipari and E. Bini. Resource partitioning among real-time applications. In Proc. of Euromicro Conference on Real-Time Systems, July 2003.
16. G. Lipari, J. Carpenter, and S. Baruah. A framework for achieving inter-application isolation in multiprogrammed hard-real-time environments. In Proc. of IEEE Real-Time Systems Symposium, December 2000.
17. C.L. Liu and J.W. Layland. Scheduling algorithms for multi-programming in a hard-real-time environment. Journal of the ACM, 20(1):46 - 61, 1973.
18. Mathworks. Models with multiple sample rates. In Real-Time Workshop User Guide, pages 1-34, The MathWorks Inc, 2005.
19. S. Matic and T. A. Henzinger. Trading end-to-end latency for composability. In Proc. of IEEE Real-Time Systems Symposium, pages 99-110, December 2005.
20. A. Mok, X. Feng, and D. Chen. Resource partition for real-time systems. In Proc. of IEEE Real-Time Technology and Applications Symposium, pages 75-84, May 2001.
21. S. Saewong and R. Rajkumar. Practical voltage-scaling for fixed-priority RT-systems. In Proc. of IEEE Real-Time Technology and Applications Symposium, pages 106-115, May 2003.
22. S. Saewong, R. Rajkumar, J.P. Lehoczky, and M.H. Klein. Analysis of hierarchical fixed-priority scheduling. In Proc. of Euromicro Conference on Real-Time Systems, June 2002.
23. I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In Proc. of IEEE Real-Time Systems Symposium, pages 2-13, December 2003.
24. I. Shin and I. Lee. Compositional real-time scheduling framework. In Proc. of IEEE Real-Time Systems Symposium, December 2004.
25. E. Wandeler and L. Thiele. Real-time interface 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, October 2005.
26. E. Wandeler and L. Thiele. Interface-based design of real-time systems with hierarchical scheduling. In Proc. of IEEE Real-Time Technology and Applications Symposium, pages 243-252, April 2006.