Sites Inria

English version

Equipe de recherche TRIO

Temps réel et interopérabilité

  • Responsable : Nicolas Navet
  • Centre(s) de recherche : CRI Nancy - Grand Est
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Systèmes embarqués et temps réel
  • Collaborateur(s) : CNRS, INRIA

Présentation de l'équipe

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 industrielles et internationales

  • 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).

Mots-clés : Systèmes embarqués Temps réel Systèmes distribués temps réel Ordonnancement Systèmes déterministes et stochastiques Systèmes à événements discrets

Suivez Inria