Basics: Signals and Relations

  • Abdoulaye Gamatié


The very basic concepts of the synchronous language Signal are presented. Section 3.1 first introduces the notion of signals. Then, Sect. 3.2 addresses another important aspect of the language, represented by the notion of abstract clock. Since Signal is a relational language, it defines a certain number of operators, which enable one to specify relations between signals and implicitly between abstract clocks. Section 3.3 describes the primitive operators of Signal. Finally, some exercises are provided in Sect. 3.4. For more details on syntactical aspects of the notions introduced in this chapter, the reader can refer to the grammar given in Appendix B.


Event Type Delay Operator Type Domain Type Conversion Synchronous Condition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benveniste A, Le Guernic P, Jacquemot C (1991) Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming, Elsevier North-Holland, Inc, Amsterdam The Netherlands 16(2):103–149MATHGoogle Scholar
  2. 2.
    Besnard L, Gautier T, Le Guernic P (2008) Signal v4 – Inria Version: Reference Manual. Available at:
  3. 3.
    Le Guernic P, Gautier T, Le Borgne M, Le Maire C (1991) Programming real-time applications with Signal. Proceedings of the IEEE 79(9):1321–1336CrossRefGoogle 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