Basics: Signals and Relations
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.
KeywordsEvent Type Delay Operator Type Domain Type Conversion Synchronous Condition
Unable to display preview. Download preview PDF.
- 2.Besnard L, Gautier T, Le Guernic P (2008) Signal v4 – Inria Version: Reference Manual. Available at: http://www.irisa.fr/espresso/Polychrony