EP-ATR

Environnement de programmation pour applications en temps réel

Contexte et objectifs

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

• 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é

Responsable scientifique

Adresse

IRISA - Campus universitaire de Beaulieu - 35042 Rennes Cedex