The synchronous languages 12 years later (2003)
Cached
Download Links
- [www.cs.columbia.edu]
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of The IEEE |
| Citations: | 73 - 12 self |
BibTeX
@INPROCEEDINGS{Benveniste03thesynchronous,
author = {Albert Benveniste and Paul Caspi and Stephen A. Edwards and Nicolas Halbwachs and Paul Le Guernic and Robert and De Simone},
title = {The synchronous languages 12 years later},
booktitle = {Proceedings of The IEEE},
year = {2003},
pages = {64--83}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 engineerfriendly design method based on mathematically sound tools. Keywords—Embedded systems, Esterel, formal methods, Lustre, real-time systems, Signal, synchronous languages.
Citations
| 1962 | Statecharts: A visual formalism for complex systems - Harel - 1987 |
| 420 | The synchronous dataflow programming language Lustre - Halbwachs, Caspi, et al. - 1991 |
| 130 | The ESTEREL language - Boussinot, Simone - 1991 |
| 82 | Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems - David, Alla - 1992 |
| 35 | VHDL language reference manual - standard |
| 32 | Hardware Description Language Based on the Verilog(R) Hardware Description Language - Standard - 1996 |
| 25 | Programming real-time applications with - LeGuernic, Gautier, et al. - 1991 |
| 13 | Grafcet: A powerful tool for specification of logic controllers - David - 1995 |
| 7 | Special section: Another look at real-time programming - Benveniste, Berry - 1991 |
| 3 | der Beeck: A Comparison of Statecharts Variants - von - 1994 |
| 1 | synchronous approach to reactive real-time systems - “The - 1991 |
