Détail d'une fiche   Version PDF

EPATR (SR0230QR)

Environnement de programmation d'applications temps réel

EPATR


Statut: Terminée

Responsable : Paul Le Guernic

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Réseaux et systèmes
Thème : Programmation distribuée et temps réel

Période : 01/01/1986 -> 31/12/2001
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de l'Université de Rennes
Localisation : Centre Inria de l'Université de Rennes
Code structure Inria :

Numéro RNSR : 198621430J
N° de structure Inria: SR0230QR

Présentation

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é