Section: Contracts and Grants with Industry

Thales TRT

Participants : Patrick Meumeu Yomsi, Yves Sorel.

Last year, we started a collaboration with the Thales Research and Technology group on the design of new multi-core architectures dedicated to critical embedded systems. In order to achieved this, we performed a first study on predictable RTOS that are needed for such systems.

This year, we continued this work along three main axes. First, after an extensive state of the art work on the existing RTOS, we have set up the foundations of the design of an RTOS which would allow us to incorporate its exact cost into the schedulability conditions. Second, we have shown the impact of the RTOS cost on both the schedule and the schedulability analysis of a system. Finally, we have focused our attention on the implementation of the scheduler which is a central component of the RTOS. We came to a first structure for the algorithm implementing such a scheduler in the case of a simple processor.