2003/01/01 by Albert Benveniste, A. Benveniste, P. Caspi +8 · 12 citations
Computer Science · #Embedded Systems Design Techniques #Real-Time Systems Scheduling #Parallel Computing and Optimization Techniques
paper · doi:10.1109/jproc.2002.805826
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.