Groupe de recherche Système Temps Réel
Équipe
Responsable de l’équipe : Didier LIMEDomaine de recherche
Le groupe de recherche STR développe des méthodes, techniques et outils pour la conception, la vérification et la réalisation de systèmes informatiques temps réel et en particulier dans le domaine de l’embarqué critique.Regroupant des chercheurs de Centrale de Nantes, de l'Université de Nantes, et du CNRS, l'équipe 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 sur http://www.rts-software.org
Thématiques de recherche / Domaines d'application
- Supports d’exécution
- Ordonnancement
- Méthodes formelles
Contact
Pour en savoir plus ou candidater à une thèse, veuillez contacter :