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 …

Over the last decade, advances in the semiconductor fabrication process have led to the
realization of true system-on-a-chip devices. But the theories, methods and tools for …

Embedded systems are critical components of our everyday lives, be they in control systems
like airbag controllers in cars, or in consumer products like washing machines and phones …

The Matlab and SDL Codesign Technique (MASCOT) method integrates modeling of
dataflow and control dominated parts at the system level. Based on the established …

Abstract Synchronous languages [1],[4],[7],[9] address the specication and programming of
reactive processes, ie processes which continuously respond to stimuli at a rate determined …

Lustre is synchronous language, widely used for the development of reactive systems,
control systems and monitoring systems, such as nuclear reactors, civil aircraft, automobile …

The composite signal flow model of computation targets systems with significant control and
data processing parts. It builds on the data flow and synchronous data flow models and …

The multi-language environment Synchronie supports the design and formal verification of
synchronous reactive systems. Presently, Synchronie integrates three synchronous …

Esterel is an imperative concurrent design language for the specification of control-oriented
reactive systems. Based on the synchronous paradigm, its semantics relies on a clear …

Sensor nodesare small, inexpensive, and programmabledevices that combine an
autonomous powersupply with Computing, sensing, and wireless commu-nication …