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.

• Supports d’exécution
• Ordonnancement
• Méthodes formelles
• Protocoles et réseaux de l’Internet des Objets