Axes de recherche

Le pôle COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués) regroupe les trois équipe de recherche : COATI, KAIROS 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.

Les activités scientifiques de l’équipe COMRED se focalisent autour de 3 axes thématiques qui correspondent aux 3 équipes :

1. EPC COATI : Théorie des graphes et réseaux.
2. EPC Kairos : Conception pilotée par les modèles formels des systèmes embarqués et cyber-physiques.
3. Equipe Scale : Programmation parallèle à large échelle.

Les activités du pôle s’insèrent principalement au sein de l’académie 1 « Réseaux, Information, société numérique » (RISE) de l'Initiative d'Excellence d'Université Côte d'Azur (IDEX), mais elles contribuent également aux autres académies : académie 2 « Systèmes complexes », académie 3 « Espace, environnement, risques et résilience », académie 4 « Complexité et diversité du vivant » et académie 5 « Hommes, idées et milieux ».