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 …

Future computing systems need to balance flexibility, specialization, and performance in
order to meet market demands and the computing power required by new applications …

Embedded systems often include a traditional processor capable of executing sequential
code, but both control and data-dominated tasks are often more naturally expressed using …

During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

In this paper we present the syntax, semantics, and compilation of a new system-level
programming language called SystemJ. SystemJ is a multiclock language supporting the …

Considered a standard industry resource, the Embedded Systems Handbook provided
researchers and technicians with the authoritative information needed to launch a wealth of …

Abstract The synchronous model of computation divides the program execution into a
sequence of logical steps. On the one hand, this view simplifies many analyses and …

The synchronous language Esterel provides deterministic concurrency by adopting a
semantics in which threads march in step with a global clock and communicate in a very …

SyncCharts are a state-based visual synchronous model. Though using a simple graphical
syntax, SyncCharts may exhibit complex instantaneous behavior, mixing concurrent …

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 …