La conception de programmes corrects par construction suscite depuis de nombreuses années un intérêt majeur pour les acteurs académiques et industriels de l'ingénierie des systèmes embarqués. L'équipe Espresso, composée de chercheurs de l'INRIA et du CNRS est un de ces acteurs.  

Cette équipe développe un outil d'aide à la conception de logiciel embarqué : Polychrony dont le but est de faciliter l'ingénierie de logiciels embarqués en automatisant certaines étapes importantes de leur conception comme la vérification, la validation ou la génération de code. L'outil Polychrony est fondé sur un modèle de calcul formel dit polychrone. Il consiste à abstraire et représenter le temps au moyen de relations de synchronisation et d'ordonnancement. Ce modèle facilite aussi bien la spécification de systèmes complexes que la génération de code automatique.

L'équipe Espresso a depuis de nombreuses années valorisé cette approche et ces résultats en collaboration notamment avec la société Brestoise Geensys, qui diffuse une version commerciale de cet outil, et les nombreux partenaires académiques et industriels des projets Français et Européens auxquels elle a participé.

Aujourd'hui, l'équipe Espresso est coordinateur du projet de plate-forme RNTL OpenEmbeDD (http://www.openembedd.org). Ce projet a pour objectif de concevoir et diffuser une plate-forme générique "open-source" d'outils d'ingénierie de modèles et d'aide à la conception de systèmes embarqués. L'équipe Espresso participe également au projet Topcased, piloté par Airbus dans le cadre du pôle de compétitivité AESE (Aéronautique, Espace et Systèmes Embarqués). Ici l'équipe Espresso contribue avec Polychrony à l'élaboration d'un atelier "open-source" pour la conception de logiciel avionique.

Dans un cadre d'application proche, l'équipe Espresso participe au projet Spacify, piloté par le CNES et l'ONERA, dont l'objectif est de réaliser un environnement de programmation spécifique pour la conception des logiciels de bord d'équipements spaciaux. Cet objectif se concrétise par la réalisation d'un langage de programmation graphique, Synoptic, défini en étroite collaboration avec les grands acteurs industriels du domaine, EADS Astrium et Thalès Alenia.

Contact : Jean-Pierre Talpin

Tél : 02 99 84 74 36

E-mail : Jean-Pierre.Talpin@inria.fr