The synchronous languages 12 years later
Top Cited Papers
- 29 January 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 91 (1) , 64-83
- https://doi.org/10.1109/jproc.2002.805826
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.Keywords
This publication has 56 references indexed in Scilit:
- TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Giotto: a time-triggered language for embedded programmingProceedings of the IEEE, 2003
- The time-triggered architectureProceedings of the IEEE, 2003
- Some Synchronization Issues When Designing Embedded Systems from ComponentsPublished by Springer Nature ,2001
- Forma Design of Distributed Control Systems with LustrePublished by Springer Nature ,1999
- Cronos: a separate compilation tool set for modular esterel applicationsPublished by Springer Nature ,1999
- From Synchrony to AsynchronyPublished by Springer Nature ,1999
- A Co-iterative Characterization of Synchronous Stream FunctionsElectronic Notes in Theoretical Computer Science, 1998
- The Synchronous Approach to Designing Reactive SystemsFormal Methods in System Design, 1998
- Synchronous Kahn networksPublished by Association for Computing Machinery (ACM) ,1996