Équipe COMRED
COMmunications, Réseaux, systèmes Embarqués et Distribués
Responsables : Frédéric Giroire et Sid Touati
L'équipe COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués) regroupe les trois axes de Rercherche communs avec Inria en informatique : AOSTE, COATI et SCALE. COMRED étudie la conception avancée basée sur des modèles formels dans les domaines des systèmes embarqués, systèmes distribués et réseaux de communications. En particulier nous traitons toute la chaîne de conception : modélisation via des graphes, formalismes de spécification et de programmation, techniques d'implémentation, optimisation, analyse, simulation et vérification. Ces activités impliquent le développement de nombreux outils logiciels et algorithmiques et sont menées dans le cadre de nombreuses collaborations industrielles. L'équipe COMRED traite des axes de recherche suivants :
- COATI : Méthodes Algorithmiques, Simulation, Combinatoire et OpTimisation pour les TElécommunications ;
- KAIROS : Méthodes et outils pour la gestion de la concurrence et du temps ;
- SCALE : Safe Composition of Autonomous applications with Large-SCALE Execution environment ;
