Home » Equipe

STR - Real Time Systems

The STR team develops methods, techniques and tools for the design, verification and implementation of real-time IT systems, particularly in the field of critical embedded systems.

Team leader : Sebastien FAUCOU   :
Deputy Head : Didier LIME   :
Area(s) of expertise :

Bringing together researchers from Nantes Université (École Centrale, Faculté des sciences et techniques, IUT, and Polytech) and CNRS, the STR team focuses on the entire development cycle of communicating  real-time systems, mainly on the software side and on communication protocols. It thus develops original work combining formal methods, safety, execution platforms, real-time scheduling, and IoT protocols. Most of these works are implemented in practice in freely available software.

In particular, it develops the RTOS Trampoline and the model-checker Roméo.

The team also participates to the deployment of the national test-platform FIT IoT Lab.

Team topics

Copyright : LS2N 2017 - Legal notices -