Pôle COMRED

Le pôle COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués) regroupe les trois équipes-projets communes entre le laboratoire I3S (Informatique, Signaux et Systèmes de Sophia-Antipolis) et le centre de recherche INRIA Sophia Antipolis-Méditerranée en informatique : AOSTE, MASCOTTE et OASIS. Le pôle é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écication et programmation, techniques d'implémentation, optimisation, analyse simulation et vérication. Ces activités impliquent le développement de nombreux outils logiciels et algorithmiques et sont menées dans le cadre de nombreuses collaborations industrielles.