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.
- 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.pdfGoogle Scholar
- Bosch, 1991, CAN Specification, Version 2. Robert Bosch GmbH, http://www.can.bosch.com/docu/can2spec.pdfGoogle Scholar
- C.M. Kirsch, 2002, Principles of Real-Time Programming. In Proceedings of EMSOFT 2002,Grenoble LNCS, 2491. Google ScholarDigital Library
- CADENCE Design Systems, California, USA http://www.cadence.com/Google Scholar
- G.C. Butazzo, Hard real-time computing systems, predictable scheduling - algorithms and applications. Kluwer Academic Publishers, 1997, ISBN 0-7923-9994-3 Google ScholarDigital Library
- Giotto Project, http://www-cad.eecs.berkeley.edu/~fresco/giotto/Google Scholar
- H. Kopetz, 1997, Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997. Google ScholarDigital Library
- H. Kopetz, 1998, The Time-Triggered Model of Computation. Proceedings of the 19th IEEE Systems Symposium (RTSS98), December 1998. Google ScholarDigital Library
- 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.pdfGoogle Scholar
- Java Technology - JMX Remote API http://jcp.org/aboutJava/communityprocess/final/jsr160/index.htmlGoogle Scholar
- Jane W. S. Liu. Real-Time Systems. Prentice-Hall, 2000. Google ScholarDigital Library
- 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.pdfGoogle Scholar
- Microsoft .NET platform, http://www.microsoft.com/net/Google Scholar
- OAK_EMUF Dev. Board, Ing. Buero W. Kanis GmbH http://www.kanis.de/home/products/oak_emuf/i_oak.htmGoogle Scholar
- OSEK Group, 2001, OSEK/VDX Time-triggered Operating System Specification, Version 1.0, http://www.osek-vdx.org/mirror/ttos10.pdfGoogle Scholar
- Real-Time Corba ACE/TAO http://www.cs.wustl.edu/~schmidt/TAO.htmlGoogle Scholar
- 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.pdfGoogle Scholar
- 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.Google Scholar
- 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.Google ScholarCross Ref
- T.A. Henzinger and C.M. Kirsch, 2002, The Embedded Machine: predictable, portable real-time code. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 315--326. Google ScholarDigital Library
- Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the First International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science 2211, Springer-Verlag, 2001, pp. 166--184. Google ScholarDigital Library
- Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. Embedded control systems development with Giotto. Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM Press, 2001, pp. 64--72. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- TTTech - Time-Triggered Technology http://www.tttech.comGoogle Scholar
- Vector Informatik, VECTOR GROUP, Stuttgart, Germany http://www.vector-informatik.com/english/Google Scholar
Index Terms
- Transparent distribution of real-time components based on logical execution time
Recommendations
System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software
Special Issue on Time for CPS and Regular PapersLogical Execution Time (LET) is a timed programming abstraction, which features predictable and composable timing. It has recently gained considerable attention in the automotive industry, where it was successfully applied to master the distribution of ...
Transparent distribution of real-time components based on logical execution time
LCTES '05: Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systemsThis 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 ...
Simulating real-time software components based on logical execution time
SCSC '09: Proceedings of the 2009 Summer Computer Simulation ConferenceReal-time software components based on the logical execution time (LET) paradigm exhibit equivalent observable behavior independent from the execution platform respectively the simulation environment. Thus, LET ensures a perfect match between simulation ...
Comments