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 : Didier LIME  
Deputy Head : Sebastien FAUCOU  
Area(s) of expertise :

Bringing together researchers from University of Nantes, École Centrale de Nantes and CNRS, the STR team focuses on the entire development cycle of real-time systems, mainly on the software side. It thus develops original work combining formal methods, safety, execution platforms and real-time scheduling. 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.

Team topics

Copyright : LS2N 2017 - Legal notices -