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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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–83
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
Harel D, Pnueli A (1985) On the development of reactive systems. Logics and models of concurrent systems. Springer-Verlag, New York, F-13:477–498
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, USA
Henzinger TA, Sifakis J (2006) The embedded systems design challenge. In: Formal methods (FM’2006), LNCS volume 4085, Springer, Heidelberg, pp 1–15
Jantsch A, Sander I (2005) Models of computation and languages for embedded system design. IEE Proceedings on Computers and Digital Techniques 2(152):114–129
Martin N (1998) Look who’s talking: Motorola’s C.D. Tam. Available at: http://findarticles.com/p/articles/mi_m3012/is_1998_Nov
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, Heidelberg
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer-Verlag New York
About this chapter
Cite this chapter
Gamatié, A. (2010). Generalities on Real-Time Programming. In: Designing Embedded Systems with the SIGNAL Programming Language. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-0941-1_1
Download citation
DOI: https://doi.org/10.1007/978-1-4419-0941-1_1
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-0940-4
Online ISBN: 978-1-4419-0941-1
eBook Packages: EngineeringEngineering (R0)