Synchronous systems offer a clean semantics and an easy verification path at the expense
of often inefficient implementations. Capturing design specifications as synchronous models …

For the design of embedded systems, many languages are in use, which are based on
different models of computation such as event-, data-, and clock-driven paradigms as well as …

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 …

The design of high-performance stream-processing systems is a fast growing domain, driven
by markets such like high-end TV, gaming, 3D animation and medical imaging. It is also a …

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 …

The Ptolemy project studies modeling, simulation, and design of concurrent, real-time,
embedded systems. The focus is on assembly of concurrent components. The key …

An important step in model-based embedded system design consists in mapping functional
specifications and their tasks/operations onto execution architectures and their resources …

Among related synchronous programming principles, the model of computation of the
Polychrony workbench stands out by its capability to give high-level description of systems …

Increasing complexity in real-time distributed systems calls for techniques to automate and
support their design. In particular concurrent and communicating systems are hard to design …

We present a computer-aided programming approach to concurrency. The approach allows
programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis …