An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

Since its introduction in 2000 in the time-triggered programming language Giotto, the
Logical Execution Time (LET) paradigm has evolved from a highly controversial idea to a …

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 …

The paper presents a generative development methodology and component models of
COMDES-II, a component-based software framework for distributed embedded control …

The stream programming paradigm aims to expose coarse-grained parallelism
inapplications that must process continuous sequences of events. The appeal ofstream …

We present an analytical method to evaluate embedded network packet processor
architectures, and to explore their design space. Our approach is in contrast to those based …

Correct and efficient implementation of general real-time applications remains by far an
open problem. A key issue is meeting timing constraints whose satisfaction depends on …

We designed and implemented a new programming language called Hierarchical Timing
Language (HTL) for hard realtime systems. Critical timing constraints are specified within the …

The prevailing abstractions for software are better suited to the traditional problem of
computation, namely transformation of data, than to the problems of embedded software …

Abstract In the Logical Execution Time (LET) principle, concurrent software components
interact deterministically, reading their inputs atomically at the start of a task and producing …