TRIO : Temps réel et interopérabilité (équipe-projet)

En savoir plus sur l’équipe-projet : Site de l’équipe-projet Rapport d'activité La médiathèque Rapports de recherche Thèses Thème : Com Systèmes communicants Centre de recherche Nancy - Grand Est

Présentation de l’équipe-projet

Equipe-projet du LORIA commune avec le CNRS, les universités Henri Poincaré, Nancy 2 et l'INPL et l'ENS Lyon.

L'objectif de l'équipe TRIO est de fournir un ensemble de méthodes, outils et techniques pour assister le concepteur dans les tâches de construction, de validation et de dimensionnement d'applications temps réel distribuées. Les travaux reposent sur la formalisation des propriétés d'interopérabilité et sur leur vérification. Ils s'appliquent aussi bien à un système de communication qu'à une application distribuée.

Axes de recherche

• la spécification de mécanismes exécutifs tels qu'ils permettent aux applications supportées de respecter les contraintes de temps du cahier des charges, et / ou de mettre en oeuvre des algorithmes de tolérance aux fautes temporelles,
• les procédés de construction de modèles d'application, afin, d'une part, de les exploiter pour la preuve de propriétés et, d'autre part, de construire et éventuellement engendrer le squelette de cette application,
• les méthodes de vérification de propriétés temporelles d'une architecture opérationnelle par exploitation de modèles de cette architecture.

Relations internationales et industrielles

• Conventions avec Alstom, Easyplug, Gambro, PSA.
• Participation à des consortiums de laboratoires pour des recherches coopératives (GDR ``Architecture, Parallélisme, Réseaux'', Action ALAPEDES, Project TIISSAD, Project DEPICS).
• Projet Européen ITEA-EAST EEA, ITEA-EAST PROTEUS, 5th FP projet REMPLI
• Projet Architecture électronique Embarquée (AEE)
• Co-animation scientifique de l'Equipe de Recherche Technologique CARAMELS (CAractérisation des Réseaux embarqués dans l'Automobile et Mécanismes En Ligne pour leur Sureté)
• Universités étrangères : Universités d'Aveiro (Portugal), de Rosario (Argentine), de Tunis II (Tunisie), de Cagliari (Italie), de Leiden (Pays-Bas), du Maryland et de Floride du Sud (USA), de Wuhan et de Zhejiang (Chine), Université d'Etat Lomonossov de Moscou (Russie).

Responsable scientifique

Françoise SIMONOT-LION
+33 3 54 95 84 62
Francoise.Simonot@loria.fr
Secrétariat : +33 3 83 59 55 77