The synchronous languages 12 years later
Institut national de recherche en sciences et technologies du numérique · Institut de Recherche en Informatique et Systèmes Aléatoires · +3 more institutions
Abstract
Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the synchronous languages since then. Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications. The paradigm of synchrony has emerged as an engineer-friendly design method based on mathematically sound tools.
Citation impact
- FWCI
- 34.19
- Percentile
- 100%
- References
- 104
Authors
6- ABAlbert BenvenisteCorresponding
Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires
- PCP. Caspi
Centre National de la Recherche Scientifique, Verimag
- SAStephen A. Edwards
Columbia University
- NHNicolas Halbwachs
Centre National de la Recherche Scientifique, Verimag
- PLPaul Le Guernic
Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires
Topics & keywords
- Computer science
- Programming language
- Section (typography)
- Software engineering
- Operating system