Pôle COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués)
accueil COMRED GLC MDSC SIS
plan d'accès annuaire intranet rechercher documentation services généraux liens utiles

Pôle COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués)

Publications du pôle déposées sur HAL

Thèmes scientifiques :

Le pôle COMRED (COMmunications, Réseaux, systèmes Embarqués et Distribués) regroupe les trois équipes-projets communes avec l'INRIA en informatique : AOSTE, COATI 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.

Arborescence COMRED


ACTUALITES COMRED
J-Cl. Bermond reçoit le Prix de la Fondation d'entreprise EADS (informatique) de l'Académie des Science   (le film)   (interview France3)
Responsables : 
LES ÉQUIPES :
Équipe AOSTE: Modèles et méthodes pour l'Analyse et l'Optimisation de Systèmes embarqués avec contraintes TEmps réel

Mots-clés : Systèmes embarqués temps réel, Sémantique du parallélisme, Formalismes réactifs synchrones, Modélisation, Conception, Optimisation, Ordonnancement distribués temps-réel, Vérification
Site: http://www-sop.inria.fr/teams/aoste/

Équipe COATI : Méthodes Algorithmiques, Simulation, Combinatoire et OpTimisation pour les TElécommunications

Mots-clés: Algorithmique, Mathématiques discrètes et optimisation combinatoire, Algorithmique des communications, Conception et dimensionnement de réseaux (optiques WDM,SDH, ATM, embarqués, radio et satellites), Simulation de systèmes complexes
Site: http://www-sop.inria.fr/teams/coati/

Équipe OASIS: Objects Actifs, Sémantique, Internet et Sécurité

Mots-clés: Modèles et langages à objets, Programmation répartie, Programmation à base de composants, Intergiciels, Applications multi-threadées, distribuées, sécurisées, pair-à-pair, Analyse et vérification, Sureté, Sécurité, Model-checking
Site: http://www-sop.inria.fr/teams/oasis/



Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis
I3S - UMR7271 - UNS CNRS
2000, route des Lucioles - Les Algorithmes - bât. Euclide B - BP 121 - 06903 Sophia Antipolis Cedex - France
Tél. +33 4 92 94 27 01 - Fax : +33 4 92 94 28 98 - www.i3s.unice.fr