Giotto provides an abstract programmer's model for the implementation of embedded control
systems with hard real-time constraints. A typical control application consists of periodic …

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 …

From control models to real-time code using Giotto Page 1 We present a methodology for
con- trol software development based on Giotto [2], a domain-specific high-level …

The Embedded Machine is a virtual machine that mediates in real time the interaction
between software processes and physical processes. It separates the compilation of …

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

We present a new high-level programming language, called xGiotto, for programming
applications with hard real-time constraints. Like its predecessor, xGiotto is based on the …

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

Real-time programming is a software engineering discipline that has been around ever
since the dawn of digital computing. The dream of real-time programmers is to unlock the …

We present a compositional approach to the implementation of hard real-time software
running on a distributed platform. We explain how several code suppliers, coordinated by a …

We present a new software system architecture for the implementation of hard real-time
applications. The core of the system is a microkernel whose reactivity (interrupt handling as …