Sites Inria

English version

Equipe de recherche EPATR

Environnement de programmation d'applications temps réel

  • Responsable : Paul Le guernic
  • Centre(s) de recherche : CRI Rennes - Bretagne Atlantique
  • Domaine : Réseaux et systèmes
  • Thème : Programmation distribuée et temps réel

Présentation de l'équipe

L'objectif général du projet est de contribuer au développement de méthodes, de techniques et d'outils pour la conception et la mise en oeuvre d'applications enfouies, en particulier dans le domaine du temps réel. Les systèmes considérés vont des plus petits (asics, par exemple, en électronique ou dans les automatismes) aux plus grands (avionique, énergie, télécommunications, militaire). Ils sont critiques en terme de sûreté, leur comportement temporel est souvent complexe ; ils s'exécutent sur des architectures diverses (circuits intégrés, architectures distribuées, architectures tolérantes aux fautes, etc.). Les contributions du projet reposent sur le modèle " flots de données synchronisés " sur lequel est construit le langage Signal.

EP-ATR est un projet commun avec le CNRS, l'Université de Rennes 1 et l'Insa de Rennes.

Axes de recherche

  • Synthèse de contrôleurs.
  • Sémantique du temps réel et du parallélisme, mobilité.
  • Répartition d'algorithmes et hiérarchisation d'automates.
  • Conception conjointe matériel/logiciel.

Relations industrielles et internationales

  • Collaboration avec la société TNI, qui assure l'industrialisation de Signal à travers l'environnement Sildex.
  • Participation au projet LTR Syrf, en collaboration avec les centres INRIA de Sophia Antipolis et Grenoble, le GMD (Allemagne), et les sociétés EDF, Schneider-Électrique, Saab (Suède) et Logikkonsult (Suède).
  • Collaboration, en association avec le projet PAMPA, sur la modélisation de comportements d'objets
  • Collaboration, en association avec le projet LANDE, avec Matra, AQL et TNI sur la sécurité

Mots-clés : Temps réel Langage synchrone Parallélisme Programmation par contraintes Signal Environnement de programmation Interface graphique Système dynamique Calcul formel Preuve de program

Suivez Inria