Equipe de recherche ESPRESSO

Environnement de spécification de programmes réactifs synchrones

Présentation de l'équipe

L'objectif de l'équipe-projet est de proposer les modèles, méthodes et outils permettant la conception des composants logiciels répondant au plus haut niveau de fiabilité pour l'ingénierie des systèmes embarqués. Pour cela, l'équipe-projet prétend à démontrer que l'approche synchrone favorise la réutilisation de composants logiciels réactifs et permet de les déployer en temps et coûts minimaux, sur un spectre d'architectures allant des circuits aux systèmes distribués, et dans un cadre mathématique offrant les garanties de fiabilité maximales.

L'équipe-projet démontre l'efficacité de l'approche par la définition de la plate forme de développement d'applications POLYCHRONY. POLYCHRONY, construit autour du langage SIGNAL, se compose du compilateur SIGNAL, d'un éditeur graphique, et d'un outil de vérification.

Axes de recherche

Une méthodologie de conception synchrone consiste en la mise en oeuvre de transformations successives de spécifications, partant de la description partielle des composants d'un système et de ses interfaces (au moyen de propriétés ou d'abstractions) avec l'environnement (les composants externes), jusqu'à l'assemblage et le déploiement de ces composants. Elle intègre la vérification des propriétés de chaque composant du système, la validation de chacune des interfaces par rapport au comportement de l'environnement, puis l'assemblage et le déploiement des composants du système sur l'architecture cible. On retrouve les différents aspects de cette réflexion dans la thématique de l'équipe-projet :
  • spécification, conception et vérification modulaire de composants réactifs fiables indépendamment de l'architecture cible, grâce à l'hypothèse synchrone ;
  • description et intégration de composants externes au moyen de spécifications partielles ;
  • vérification des modules réactifs et validation de leurs interfaces avec le monde extérieur ;
  • assemblage de la spécification occasionnant la génération de code cible modulaire ;
  • déploiement de la spécification occasionnant la génération de protocoles de synchronisation ;
L'équipe-projet étudie également l'ouverture de la plate-forme POLYCHRONY vers des formalismes amont (java, SystemC,...) et des outils de vérification et de validation.

Relations industrielles et internationales

L'équipe-projet ESPRESSO a des relations industrielles avec
  • La sociéte TNI-Software (groupe Valiosys) qui commercilaise une version industrielle de POLYCHRONY (Sildex/RT-Builder),
  • CS-SI, CEA-List, MBDA, SITIA dans le cadre du projet RNTL ACOTRIS,
  • AONIX, SILICOMP, THALÈS, EDF, AIRBUS, VERIMAG dans le cadre du projet RNTL EXPRESSO,
  • THALES et CEA-List dans le cadre du programme de recherche CARROLL.
Il est impliqué dans le réseau d'excellence ARTIST.
Il participe à une coopération NSF-INRIA avec Virginia Tech et UC San Diego.
L'équipe-projet a participé à la création de la conférence ACM-IEEE, MEMOCODE, sur les méthodes formelles et modèles pour le codesign.

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social