Home

The Synchronous Languages 12 Years Later

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

Title:
The Synchronous Languages 12 Years Later
Author(s):
Edwards, Stephen A.; Albert, Benveniste; Caspi, Paul; Halbwachs, Nicolas; Le Guernic, Paul; De Simone, Robert
Date:
Type:
Articles
Department:
Computer Science
Volume:
91
Permanent URL:
Book/Journal Title:
Proceedings of the IEEE
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 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.
Subject(s):
Computer science
Publisher DOI:
http://dx.doi.org/10.1109/JPROC.2002.805826
Item views:
71
Metadata:
text | xml

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use