The Synchronous Languages Twelve Years Later


Albert Benveniste, Paul Caspi, Stephen Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone

Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages.  This article 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 implementating real-time embedded applications. The paradigm of synchrony has emerged as an  engineer-friendly design method based on mathematically-sound tools.

Keywords : synchronous languages.
 

 pdf