Temporal control in real-time systems: Languages and systems

Handbook of Real-Time and Embedded Systems

Volumn , Issue , 2007, Pages 10-1-10-22

  Fischmeister, Sebastian ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77954767873     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (18)

1. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1997.
2. G. Berry. The Esterel v5 Language Primer. Centre de Mathematiques Appliquees, Ecole des Mines and INRIA, 2004 Route des Lucioles, 06565 Sophia-Antipolis, version 5. 21 release 2. 0 edition, April 1999.
3. S. Fischmeister and K. Winkler. Non-blocking deterministic replacement of functionality, timing, and data-flow for hard real-time systems at runtime. In Proc. of the Euromicro Conference on Real-Time Systems (ECRTS’05), 2005.
4. DIN 66253, Teil 1: Informationsverarbeitung, Programmiersprache PEARL, Basic PEARL Entwurf. Beuth Verlag Normenausschuss Informationsverarbeitung im DIN Deutsches Institut für Normung e. V, Berlin, Köln, June 1978.
5. GI-Fachgruppe Echtzeitsysteme und PEARL. PEARL 90—Language Report, 2. 2 edition, 1998.
6. I. Lee and V. Gehlot. Language constructs for distributed real-time programming. In Proc. of the IEEE Real-Time Systems Symposium (RTSS), 1985.
7. H. Tokuda and C. W. Mercer. Arts: A distributed real-time kernel. SIGOPS Oper. Syst. Rev., 23(3): 29-53, 1989.
8. T. A. Henzinger, C. M. Kirsch, and B. Horowitz. Giotto: A time-triggered language for embedded programming. In T. A. Henzinger and C. M. Kirsch, editors, Proc. of the 1st InternationalWorkshop on Embedded Software (EMSOFT), number 2211 in LNCS. Springer, Berlin, October 2001.
9. G. Menkhaus, S. Fischmeister, M. Holzmann, and C. Farcas. Towards efficient use of shared communication media in the timed model. In Proc. of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2005.
10. S. Fischmeister and G. Menkhaus. Task sequencing for optimizing the computation cycle in a timed computation model. In Proc. of the 23rd InternationalDigitalAvionics SystemsConference (DASC’04). IEEE Press, 2004.
11. P. Gai, L. Abeni, M. Giorgi, and G. Buttazzo. A new kernel approach for modular real-time systems development. In Proc. of the 13th IEEE Euromicro Conference on Real-Time Systems (ECRTS’01), June 2001.
12. H. Thane, A. Pettersson, and D. Sundmark. TheAsterix realtime kernel. In Proc. of the 13th Euromicro Conference on Real-Time Systems (ECRTS’01), June 2001.
13. C. Angelov and J. Berthing. A jitter-free kernel for hard real-time systems. In Proc. of the 1st InternationalConference on Embedded Software and System(ICESS’04), Hangzhou, China, December 2004.
14. A. Eswaran, A. Rowe, and R. Rajkumar. Nano-RK: An energy-aware resource-centric operating system for sensor networks. In Proc. of the IEEE Real-Time Systems Symposium (RTSS’05), December 2005.
15. J. Liu and E. Lee. Timed multitasking for real-time embedded software. IEEE Control Syst., 22(6): 65-75, 2003.
16. J. A. Stankovic and K. Ramaritham. The Spring kernel: A new paradigmfor hard real-time operating systems. IEEE Software, 8(3): 62-72, 1991.
17. S. Natarajan. Imprecise and Approximate Computation. Kluwer Norwell, MA, 1995.
18. K. H. Kim. Object structures for real-time systems and simulators. IEEE Computer, 30(8): 62-70, 1997.