The synchronous languages 12 years later
The synchronous languages 12 years later
复制标题
DOI：
10.1109/jproc.2002.805826
复制
发表时间：
2003-01-01
影响因子：
20.6
通讯作者：
De Simone, R
中科院分区：
文献类型：
--
作者：
Benveniste, A;Caspi, P;De Simone, R
十二年前，IEEE的会议记录专门针对同步语言。本文讨论了从那以后的同步语言发生的改进，困难和成功。如今，已建立同步语言是一种用于建模，指定，验证和实施实时嵌入式应用程序的首选技术。同步的范式已成为基于数学声音工具的工程师友好设计方法。
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.