Home » Equipe

STR - Systèmes Temps Réel


Responsable d'équipe : Didier LIME  
Responsable adjoint : Sebastien FAUCOU  
Pôle(s) de recherche :
SLS
CCS

Regroupant des chercheurs et chercheuses de l'Université de Nantes, de l'École Centrale de Nantes et du CNRS, l'équipe STR se positionne sur l'ensemble du cycle de développement des systèmes temps réel, et principalement de leur aspect logiciel. Elle développe ainsi des travaux originaux alliant méthodes formelles, sûreté de fonctionnement, plateformes d'exécutions, et ordonnancement temps réel. Ces travaux sont en grande majorité mis-en-œuvre en pratique dans des logiciels disponibles librement.

En particulier, elle développe le RTOS Trampoline et le model-checker Roméo.

Thématiques de l'équipe

Copyright : LS2N 2017 - Mentions Légales - 
 -