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

ACM SIGPLAN Notices

Volumn 40, Issue 7, 2005, Pages 31-39

  Farcas, Emilia ^a   Farcas, Claudiu ^a   Pree, Wolfgang ^a   Templ, Josef ^a  

^a UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Component model; Distribution; Embedded systems; LET; Logical execution time; MoDECS; Real time; TDL; Timing Definition Language; Transparent

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; TOPOLOGY;

COMPONENT MODEL; LET; LOGICAL EXECUTION TIME; MODECS; TIMING DEFINITION LANGUAGE (TDL); TRANSPARENT;

REAL TIME SYSTEMS;

EID: 33745215838     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1070891.1065915     Document Type: Article

References (25)

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. C.M. Kirsch, 2002, Principles of Real-Time Programming. In Proceedings of EMSOFT 2002, Grenoble LNCS, 2491.
4. CADENCE Design Systems, California, USA http://www.cadence.com/
5. G.C. Butazzo, Hard real-time computing systems, predictable scheduling - algorithms and applications. Kluwer Academic Publishers, 1997, ISBN 0-7923-9994-3
6. Giotto Project, http://www-cad.eecs.berkeley.edu/~fresco/giotto/
7. H. Kopetz, 1997, Real-time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.
8. H. Kopetz, 1998, The Time-Triggered Model of Computation. Proceedings of the 19th IEEE Systems Symposium (RTSS98), December 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. Liu. Real-Time Systems. Prentice-Hall, 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. th 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. 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.
21. 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.
22. 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.
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/