Transparent distribution of real-time components based on logical execution time

ABSTRACT

This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a system is the same no matter where a component is executed, (2) the developer does not have to care about the differences of local versus distributed execution of components, and (3) the components can be developed independently. We present the design and implementation of a component model for real time systems that is well suited for transparent distribution. The component model is based on logical execution time, which abstracts from physical execution time and thereby from both the execution platform and the communication topology.

REFERENCES

• 1: ARTIST Embedded 2004, Selected topics in Embedded Systems Design:Roadmaps for Research, IST-2001-34820, p114, http://www.artist-embedded.org/Roadmaps/ARTIST_Roadmaps_Y2.pdf
• 2: Bosch, 1991, CAN Specification, Version 2. Robert Bosch GmbH, http://www.can.bosch.com/docu/can2spec.pdf
• 3: Christoph Meyer Kirsch, Principles of Real-Time Programming, Proceedings of the Second International Conference on Embedded Software, p.61-75, October 07-09, 2002
• 4: CADENCE Design Systems, California, USA http://www.cadence.com/
• 5: Giorgio C. Buttazzo , Giorgio Buttanzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Kluwer Academic Publishers, Norwell, MA, 1997
• 6: Giotto Project, http://www-cad.eecs.berkeley.edu/~fresco/giotto/
• 7: Hermann Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, Norwell, MA, 1997
• 8: H. Kopetz, The Time-Triggered Model of Computation, Proceedings of the IEEE Real-Time Systems Symposium, p.168, December 02-04, 1998
• 9: J. Templ, 2004, TDL Specification and Report. Technical Report C059, Department of Computer Science, University of Salzburg, http://www.cs.uni-salzburg.at/pubs/reports/T001.pdf
• 10: Java Technology - JMX Remote API http://jcp.org/aboutJava/communityprocess/final/jsr160/index.html
• 11: Jane W. S. W. Liu, Real-Time Systems, Prentice Hall PTR, Upper Saddle River, NJ, 2000
• 12: M. Wernicke: New Design Methodology from Vector simplifies the Development of Distributed Systems, Vector Informatik Press Release, June 2003, http://www.vector-informatik.com/pdf/press/PND_DaVinci_PressRelease_200306_EN.pdf
• 13: Microsoft .NET platform, http://www.microsoft.com/net/
• 14: OAK_EMUF Dev. Board, Ing. Buero W. Kanis GmbH http://www.kanis.de/home/products/oak_emuf/i_oak.htm
• 15: OSEK Group, 2001, OSEK/VDX Time-triggered Operating System Specification, Version 1.0, http://www.osek-vdx.org/mirror/ttos10.pdf
• 16: Real-Time Corba ACE/TAO http://www.cs.wustl.edu/~schmidt/TAO.html
• 17: S. Vestal. MetaH Users Manual. Honeywell Technology Center, 3660 Technology Drive, Minneapolis, MN 55418, version 1.27 edition. http://www.htc.honeywell.com/metah/uguide.pdf
• 18: T. Fuhrer, B. Muller, W. Dieterle, F. Hartwich, R. Hugel, and M. Walther, 2000, Time Triggered Communications on CAN (Time Triggered CAN - TTCAN). In Proceedings 7th International CAN Conference, Amsterdam, Netherlands.
• 19: T.A. Henzinger, C.M. Kirsch, and S. Matic. Schedule carrying code, In Proc. of the Third International Conference on Embedded Software (EMSOFT), LNCS, Springer-Verlag, 2003.
• 20: Thomas A. Henzinger , Christoph M. Kirsch, The embedded machine: predictable, portable real-time code, Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, June 17-19, 2002, Berlin, Germany
• 21: Thomas A. Henzinger , Benjamin Horowitz , Christoph Meyer Kirsch, Giotto: A Time-Triggered Language for Embedded Programming, Proceedings of the First International Workshop on Embedded Software, p.166-184, October 08-10, 2001
• 22: Thomas A. Henzinger , Benjamin Horowitz , Christoph Meyer Kirsch, Embedded Control Systems Development with Giotto, Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, p.64-72, August 2001, Snow Bird, Utah, United States
• 23: Thomas A. Henzinger, Christoph M. Kirsch, Marco A.A. Sanvido, and Wolfgang Pree. From control models to real-time code using Giotto. IEEE Control Systems Magazine 23(1):50--64, 2003.
• 24: TTTech - Time-Triggered Technology http://www.tttech.com
• 25: Vector Informatik, VECTOR GROUP, Stuttgart, Germany http://www.vector-informatik.com/english/

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming

Additional Classification:
  J. Computer Applications
  J.7 COMPUTERS IN OTHER SYSTEMS
      Subjects: Industrial control; Real time; Process control

General Terms:
Design, Languages, Reliability

Keywords:
LET, MoDECS, TDL, component model, distribution, embedded systems, logical execution time, real-time, timing definition language, transparent