This paper provides an overview of some principles and mechanisms to securely operate
mixed-criticality real-time systems on embedded platforms. Those principles are illustrated …

Precisely timed execution of resource constrained bare-metal applications is difficult,
because the embedded software developer usually has to implement and check the …

We focus on a partial data replication model in which each object is made fault-tolerant by a
process group. We propose a replication control protocol that provides transaction …

This paper presents a first work to bring a consistent Model of Computation (MoC) for real-
time applications on embedded many-core systems. Embedded manycores have lots of …

Nanometer VLSI systems demand robust clock distribution network design for increased
process and operating condition variabilities. In this paper, we propose minimum clock …

Résumé Les systèmes temps-réel embarqués critiques intègrent un nombre croissant de
fonctionnalités comme le montrent les domaines de l'automobile ou de l'aéronautique. Ces …

Assuming that tasks have been allocated on CPUs, the difficulty in distributed safety-critical
real-time systems is to ensure an optimal scheduling of network accesses. Over a bus …

This paper presents a model of computation based on real-time constraints and
asynchronous message passing, and proves a sufficient and necessary condition for this …

Whether one or multiple hardware execution units are activated (ie CPU cores), invalid
resource sharing, notably due to simultaneous accesses, proves to be problematic as it can …

Safety-critical real-time systems have to respect strict timing constraints. Thus, timing
constraints must be considered throughout the software development cycle. As exact …