The Signal synchronous language: the principles beyond the language and how to exploit and extend them

Albert Benveniste 1 Thierry Gautier 2
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Signal is an "alternative" synchronous language, with the following features: it addresses open systems and puts clocks ans synchronization at the forefront. To this end, synchronization is synthesized, not verified. We will emphasize the clock and causality calculus and show its use in modular compilation. Then, we'll show how we can extend the clock calculus and improve the power of the language, and extend the causality calculus toward supporting constraint solving (instead of evaluating signal expressions). The latter extension may be suited to physical system modeling.
Document type :
Lectures
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01929567
Contributor : Thierry Gautier <>
Submitted on : Wednesday, November 21, 2018 - 3:14:43 PM
Last modification on : Friday, September 13, 2019 - 9:48:42 AM

File

SignalAndBeyond_2018_pdf.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01929567, version 1

Citation

Albert Benveniste, Thierry Gautier. The Signal synchronous language: the principles beyond the language and how to exploit and extend them. École thématique. France. 2018, pp.1-68. ⟨hal-01929567⟩

Share

Metrics

Record views

258

Files downloads

37