Multi-core devices are envisioned to support the development of next-generation safety-
critical systems, enabling the on-chip integration of functions of different criticality. This …

Many programming languages and programming frameworks focus on parallel and
distributed computing. Several frameworks are based on actors, which provide a more …

This paper describes a component-based concurrent model of computation for reactive
systems. The components in this model, featuring ports and hierarchy, are called reactors …

We discuss a novel approach for constructing deterministic reactive systems that revolves
around a temporal model that incorporates a multiplicity of timelines. This model is central to …

Actors have become widespread in programming languages and programming frameworks
focused on parallel and distributed computing. While actors provide a more disciplined …

We discuss a novel approach for constructing deterministic reactive systems that evolves
around a temporal model which incorporates a multiplicity of timelines. This model is central …

Numerous embedded real-time systems have, besides their timing requirements, strict
energy constraints that must be satisfied. Examples of this class of real-time systems are …

We introduce the strictly in-order core (SIC), a timing-predictable pipelined processor core.
SIC is provably timing compositional and free of timing anomalies. This enables precise and …

This book is an introduction into digital design with the focus on using the hardware
construction language Chisel. Chisel brings advances from software engineering, such as …

With the increasing number of applications that require reliable runtime guarantees, the
relevance of static worst-case analysis tools that can provide such guarantees increases …