The Synchronous Hypothesis and Synchronous Languages
Robert de Simone, Jean-Pierre Talpin, Dumitru Potop‐Butucaru · Industrial information technology series · 2005
The design of electronic Embedded Systems relies on a number of different engineering disciplines. As the domain becomes ever more important, both in theoretical challenges and in industrial relevance, it has drawn a considerable attention in recent years, with a number of proposals for formalisms, languages and models to help support the design flow. In this article we shall describe Synchronous Reactive languages, which emerged as early as the 1980’s decade, and are now gaining increasing recognition for their modeling adequacy to embedded systems.