Benjamin Rouxel

Shift2SDV will define, coordinate, and develop a language-independent middleware framework that provides microservices for automotive sector. This framework will abstract underlying hardware components, support stepwise migration, integrate both open-source and proprietary elements, and enable functionality for both in-vehicle safety-critical systems and off-vehicle mobility services.

The HAL4SDV project's mission is to advance European solutions in software-defined next-generation vehicles. By focusing on unifying software interfaces and development methodologies, HAL4SDV will enable software configuration that abstracts from vehicle hardware, paving the way for a "software-defined vehicle (SDV)" approach for both safety-critical and non-safety-critical applications in future vehicles.

Mach2 est le projet de déploiement d’une flotte de six minibus autonomes dédiés au transport de passagers, qui devrait entrer en service en 2026 dans le centre ville de Châteauroux, une commune d’environ 43 000 habitants située dans l'Indre, en région Centre-Val de Loire. Il est porté par un consortium composé de six acteurs français de la mobilité (Alstom, EasyMile, Equans, Keolis, Renault Group et StatInf), et soutenu par le Ministère de la Transition Ecologique et de la Cohésion des Territoires ainsi que par Bpifrance dans le cadre du plan France 2030.

The IMOCO4.E mission is to provide distributed edge-to-cloud motion control intelligence for a wide range of Human-in-the-Loop Cyber-Physical Systems involving actively controlled moving elements.

Mission- and safety-critical Cyber-Physical Systems (of Systems) are becoming increasingly complex due to rising performance demands and growing interconnectivity, which also raises the risk of hardware failures and cyber-attacks. The ADMORPH project explores dynamic remapping of application components to processing cores as a way to combine fault and intrusion tolerance with performance needs. It focuses on four key areas: formal specification, adaptive control strategies, analysis techniques (e.g., timing verification), and runtime reconfiguration systems. These approaches will be validated through industrial use cases in radar surveillance, autonomous aircraft operations, and transport management.

The TeamPlay project aims to develop formally-grounded techniques to treat non-functional properties—such as execution time, energy usage, and security—as core aspects of parallel software development. It will deliver a toolbox that enables developers to reason about these properties directly at the source code level, supporting energy-efficient and secure software for systems like IoT and CPS. The project addresses the industrial challenge of balancing energy consumption with performance and security in parallel systems. Its methods will be tested across use cases in computer vision, satellites, drones, medical systems, and cybersecurity.

Commercial-Off-The-Shelf heterogeneous platforms provide immense computational power, but are difficult to program and to correctly use when real-time requirements come into play: A sound configuration of the operating system scheduler is needed, and a suitable mapping of tasks to computing units must be determined. Flawed designs may lead a sub-optimal system configurations and thus to wasted resources, or even to deadline misses and failures.

I propose YASMIN, a middleware to schedule end-user applications with real-time requirements in user space and on behalf of the operating system. YASMIN provides an easy-to-use programming interface and portability. It treats heterogeneity on COTS heterogeneous embedded platforms as a first-class citizen: It supports multiple functionally equivalent task implementations with distinct extra-functional behaviour. This enables the system designer to quickly explore different scheduling policies and task-to-core mappings, and thus, to improve overall system performance.

We propose a domain-specific functional coordination language TeamPlay and the associated tool chain that consider the non-functional (time, energy, and security) properties as first-class citizens in the application design and development process. This tool chain compiles coordination code to a final executable linked with separately compiled component implementations. We combine a range of analysis and scheduling techniques for the user to choose from like in a tool box.The generated code either implements a static (offline) schedule or a dynamic(online) schedule. With static/offline scheduling all placements and activation times are pre-computed; with dynamic/online scheduling certain decisions are postponed until runtime.

We all had quite a time to find non-proprietary architecture-independent exploitable parallel benchmarks for Worst-Case Execution Time (WCET) estimation and real-time scheduling. How-ever, there is no consensus on a parallel benchmark suite, when compared to the single-core era and the Mälardalen benchmark suite. This document bridges part of this gap, by presenting a collection of benchmarks with the following good properties: (i) easily analyzable by static WCET estimation tools (written in structured C language, in particular neither goto nor dynamic memory allocation, containing flow information such as loop bounds); (ii) independent from any particular run-time system (MPI, OpenMP) or real-time operating system.

Each benchmark is composed of the C source code of its tasks, and an XML description describing the structure of the application (tasks and amount of data exchanged between them when applicable).Each benchmark can be integrated in a full end-to-end empirical method validation protocol on multi-core architecture. This proposed collection of benchmarks is derived from the well known StreamIT benchmark suite.

Methane is the first version of CECILE that I built during my PhD. It focuses on static scheduling of task-graphs on homogeneous platforms embedding a private local memory per core (SPM). The novelties lie in the co-scheduling of both the data management and execution parts of tasks.