Home » Equipe

STR - Systèmes Temps Réel


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

Regroupant des chercheurs et chercheuses de Nantes Université (École Centrale Nantes, Faculté des Sciences et Techniques, IUT de Nantes, et Polytech) et du CNRS, l'équipe STR se positionne sur l'ensemble du cycle de développement des systèmes temps réel communicants, traitant principalement l'aspect logiciel et les protocoles de communication. Elle développe ainsi des travaux originaux alliant méthodes formelles, sûreté de fonctionnement, plateformes d'exécutions, ordonnancement temps réel, et protocoles de l'Internet des Objet. 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.
Elle prend part également au déploiement de la plateforme nationale de tests FIT IoT Lab.

Thématiques de l'équipe

Copyright : LS2N 2017 - Mentions Légales - 
 -