This book will attempt to give a first synthesis of recent works con cerning reactive system
design. The term" reactive system" has been introduced in order to at'oid the ambiguities …

This article presents a complete scheme for the integration and the development of multi-
periodic critical embedded systems. A system is formally specified as a modular and …

Our objective is to facilitate the development of complex time-triggered systems by
automating the allocation and scheduling steps. We show that full automation is possible …

Implementing real-time critical systems is an increasingly complex process that calls for high-
level formal programming languages. Existing languages mainly focus on mono-periodic …

Nakano's later modality allows types to express that the output of a function does not
immediately depend on its input, and thus that computing its fixpoint is safe. This idea …

The UML Profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems
has recently been adopted by the OMG. Its Time Model extends the informal and simplistic …

An essential approach for guaranteeing the safety of a cyber-physical system is to monitor its
execution in real time. The execution trace of such a system typically consists of one or more …

Multiform logical time, introduced and made popular through its central role in Synchronous
Language theory, is already present in many formalisms pertaining to embedded system …

This PhD. Thesis defines a high-level language for programming real-time embedded
control systems. It is built upon Synchronous Languages (such as Lustre) and inherits their …

Data processing systems are a fundamental component of the modern computing stack.
These systems are routinely deployed online: they continuously receive the requests of data …