Generalities on Real-Time Programming

Chapter

Abstract

This introductory chapter presents general notions about real-time embedded systems. Section 1.1 first defines what embedded, reactive, and real-time systems are. Then, it discusses some important issues that often have to be dealt with during the design of these systems. Then, Sect. 1.2 briefly focuses on the temporal aspects during the execution of a real-time system. It illustrates a typical situation where such a system controls a physical process. This illustration aims to serve as a reasoning basis to address the link between the different perceptions of time from the viewpoints of the physical process and the real-time system. On the basis of various representations of time in real-time systems, Sect. 1.3 describes three main programming models: the asynchronous, preestimated time, and synchronous models. Finally, Sect. 1.4 discusses a few methodological concerns for the design of real-time embedded systems.

Keywords

Quartz Tral Metaphor 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Benveniste A, Caspi P, Edwards SA, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages 12 years later. Proceedings of the IEEE 91(1):64–83CrossRefGoogle Scholar
  2. 2.
    Gautier T, Le Guernic P, Maffeïs O (1994) For a new real-time methodology. Research report number 2364, INRIA. Available at http://www.inria.fr/rrrt/rr-2364.html
  3. 3.
    Harel D, Pnueli A (1985) On the development of reactive systems. Logics and models of concurrent systems. Springer-Verlag, New York, F-13:477–498Google Scholar
  4. 4.
    Henzinger TA, Horowitz B, Meyer Kirsch C (2001) Embedded control systems development with Giotto. In: Proceedings of The ACM Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES’2001), The Workshop on Optimization of Middleware and Distributed Systems (OM’2001), Snowbird, Utah, USAGoogle Scholar
  5. 5.
    Henzinger TA, Sifakis J (2006) The embedded systems design challenge. In: Formal methods (FM’2006), LNCS volume 4085, Springer, Heidelberg, pp 1–15Google Scholar
  6. 6.
    Jantsch A, Sander I (2005) Models of computation and languages for embedded system design. IEE Proceedings on Computers and Digital Techniques 2(152):114–129CrossRefGoogle Scholar
  7. 7.
    Martin N (1998) Look who’s talking: Motorola’s C.D. Tam. Available at: http://findarticles.com/p/articles/mi_m3012/is_1998_Nov
  8. 8.
    Kirsch CM (2002) Principles of real-time programming. In: Sifakis J, Sangiovanni-Vincentelli A (eds) 2002 Conference on Embedded Software, EMSOFT’02, LNCS volume 2491. Springer, HeidelbergGoogle Scholar

Copyright information

© Springer-Verlag New York 2010

Authors and Affiliations

  1. 1.CNRS - UMR 8022 (LIFL)INRIA Lille - Nord Europe Parc scientifique de la Haute BorneVilleneuve d’AscqFrance

Personalised recommendations