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: Sanjoy K. Baruah, Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks, Real-Time Systems, v.24 n.1, p.93-128, January 2003 [doi>10.1023/A:1021711220939 ]
• 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: Samarjit Chakraborty , Simon Kunzli , Lothar Thiele, A General Framework for Analysing System Properties in Platform-Based Embedded System Designs, Proceedings of the conference on Design, Automation and Test in Europe, p.10190, March 03-07, 2003
• 4: R. L. Cruz, A calculus for network delay, IEEE Trans. Information Theory 37 (1991), no. 1, 114--141.
• 5: Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 6: Luca de Alfaro , Thomas A. Henzinger, Interface Theories for Component-Based Design, Proceedings of the First International Workshop on Embedded Software, p.148-165, October 08-10, 2001
• 7: ____, Interface-based design, To appear in the Proceedings of the 2004 Marktoberdorf Summer School, Kluwer, 2005.
• 8: Luca de Alfaro , Thomas A. Henzinger , Mariëlle Stoelinga, Timed Interfaces, Proceedings of the Second International Conference on Embedded Software, p.108-122, October 07-09, 2002
• 9: Thomas A. Henzinger , Slobodan Matic, An Interface Algebra for Real-Time Components, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), p.253-266, April 04-07, 2006 [doi>10.1109/RTAS.2006.11]
• 10: Jean-Yves Le Boudec , Patrick Thiran, Network calculus: a theory of deterministic queuing systems for the internet, Springer-Verlag New York, Inc., New York, NY, 2001
• 11: Aloysius K. Mok , Xiang (Alex) Feng, Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds, Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS'01), p.129, December 03-06, 2001
• 12: Kai Richter , Marek Jersak , Rolf Ernst, A Formal Approach to MpSoC Performance Verification, Computer, v.36 n.4, p.60-67, April 2003 [doi>10.1109/MC.2003.1193230 ]
• 13: Insik Shin , Insup Lee, Periodic Resource Model for Compositional Real-Time Guarantees, Proceedings of the 24th IEEE International Real-Time Systems Symposium, p.2, December 03-05, 2003
• 14: Insik Shin , Insup Lee, Compositional Real-Time Scheduling Framework, Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS'04), p.57-67, December 05-08, 2004 [doi>10.1109/REAL.2004.15]
• 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: Ernesto Wandele , Lothar Thiele, Abstracting functionality for modular performance analysis of hard real-time systems, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China [doi>10.1145/1120725.1120997]
• 17: Ernesto Wandeler , Lothar Thiele, 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, September 18-22, 2005, Jersey City, NJ, USA [doi>10.1145/1086228.1086246]
• 18: Ernesto Wandeler , Lothar Thiele, Interface-Based Design of Real-Time Systems with Hierarchical Scheduling, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), p.243-252, April 04-07, 2006 [doi>10.1109/RTAS.2006.23]
• 19: Shengquan Wang , Sangig Rho , Zhibin Mai , Riccardo Bettati , Wei Zhao, Real-Time Component-Based Systems, Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium, p.428-437, March 07-10, 2005 [doi>10.1109/RTAS.2005.43]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

General Terms:
Design, Performance, Theory

Keywords:
adaptive interfaces, interface-based design, performance analysis, real-time interfaces