Real-time interfaces for composing real-time systems

ABSTRACT

Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these approaches and proves properties like refinement and independent implementability. We also explicitly state the requirements to a framework for these properties to be fulfilled. Further, a new notion of adaptive interfaces is introduced that supports the design by providing mechanisms for propagating system constraints, such as (end-to-end) delays, available computing and communication resources, buffer spaces, and energy. Guarantees and assumptions on interfaces are not any longer static but adapt according to the system environment. This can be used to answer synthesis questions at design time or to adapt system parameters to changing environment requirements at run-time. The applicability of the presented framework is proven by adapting it to a number of different real-time analysis models.

References

1. S. K. Baruah, Dynamic- and static-priority scheduling of recurring real-time tasks, Real-Time Systems 24 (2003), no. 1, 93--128.
2. A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and M. Stoelinga, Resource interfaces, EMSOFT 03: Embedded Software, Lecture Notes in Computer Science 2855, Springer-Verlag, 2003, pp. 117--133.
3. S. Chakraborty, S. Künzli, and L. Thiele, A general framework for analysing system properties in platform-based embedded system designs, Proc. 6th Design, Automation and Test in Europe (DATE), March 2003, pp. 190--195.
4. R. L. Cruz, A calculus for network delay, IEEE Trans. Information Theory 37 (1991), no. 1, 114--141.
5. L. de Alfaro and T. A. Henzinger, Interface automata, Proc. Foundations of Software Engineering, ACM Press, 2001, pp. 109--120.
6. ____, Interface theories for component-based design, EMSOFT 01: Embedded Software, Lecture Notes in Computer Science 2211, Springer-Verlag, 2001, pp. 148--165.
7. ____, Interface-based design, To appear in the Proceedings of the 2004 Marktoberdorf Summer School, Kluwer, 2005.
8. L. de Alfaro, T. A. Henzinger, and M. Stoelinga, Timed interfaces, EMSOFT 02: Embedded Software, Lecture Notes in Computer Science 2491, Springer-Verlag, 2002, pp. 108--122.
9. T. A. Henzinger and S. Matic, An interface algebra for real-time components, Proceedings of the 12th Annual Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Computer Society Pres, 2006.
10. J. Y. Le Boudec and P. Thiran, Network calculus - a theory of deterministic queuing systems for the internet, LNCS 2050, Springer Verlag, 2001.
11. A.K. Mok and Z.X. Feng, Towards compositionality in real-time resource partitioning based on regularity bounds, Proceedings of RTSS 2001, IEEE Computer Society Pres, 2001, pp. 129--138.
12. K. Richter, M. Jersak, and R. Ernst, A formal approach to mpsoc performance verification, IEEE Computer 36 (2003), 60--67.
13. I. Shin and I. Lee, Periodic resource model for compositional real-time guarantees, Proceedings of the Real-Time Systems Symposium (RTSS), IEEE Press, 2003, pp. 2--13.
14. ____, Compositional Real-Time Scheduling Framework, Proceedings of the Real-Time Systems Symposium (RTSS), IEEE Press, 2004, pp. 57--67.
15. L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, Proc. IEEE International Symposium on Circuits and Systems (ISCAS), vol. 4, 2000, pp. 101--104.
16. E. Wandeler and L. Thiele, Abstracting functionality for modular performance analysis of hard real-time systems, Asia South Pacific Design Automation Conference (ASP-DAC), 2005, pp. 697--702.
17. ____, 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'05), IEEE Press, 2005, pp. 80--89.
18. ____, Interface-based design of real-time systems with hierarchical scheduling, Proceedings of the 12th Annual Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Computer Society Pres, 2006.
19. S. Wang, S. Rho, Z. Mai, R. Bettati, and W. Zhao, Real-time component-based systems, Proceedings of the 11th Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Press, 2005, pp. 428--437.

Index Terms

• Computer systems organization

  • Embedded and cyber-physical systems

  • Real-time systems