Articles

The Synchronous Languages 12 Years Later

Edwards, Stephen A.; Albert, Benveniste; Caspi, Paul; Halbwachs, Nicolas; Le Guernic, Paul; De Simone, Robert

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 occurred 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.

Subjects

Files

  • thumnail for benveniste2003synchronous.pdf benveniste2003synchronous.pdf application/pdf 552 KB

Also Published In

Title
Proceedings of the IEEE
DOI
https://doi.org/10.1109/JPROC.2002.805826

More About This Work

Academic Units
Computer Science
Published Here
June 7, 2012