Faire sortir Esterel de sa coquille – RETROFIT

Le langage Esterel a fait ses preuves pour les applications critiques. Il a été utilisé dans de nombreux systèmes industriels, notamment chez Airbus et Dassault Aviation. Ce succès d'Esterel dans des domaines nécessitant de fortes garanties de sûreté est attribuable à son modèle de programmation réactive synchrone. Esterel traite le calcul comme une séquence de réactions à des stimuli externes dont le résultat est déterministe.

La différence entre Esterel et les langages de programmation conventionnels a conduit au développement d'une infrastructure de dédiée. En conséquence, l'utilisation d'Esterel a été limitée à des domaines qui nécessitent des garanties de fiabilité élevées et où le coût élevé d'un développement logiciel entièrement séparé peut être toléré. De ce fait, Esterel est resté un langage de niche et de peu de programmeurs bénéficient des avantages de la fiabilité de son modèle.

Nous proposons d'explorer et d'améliorer deux stratégies d'implémentation différentes pour Esterel, qui permettent de l'intégrer dans des langages généralistes. Nous explorerons et améliorerons ces deux techniques en écrivant des systèmes basés sur Esterel dans trois domaines : les interfaces utilisateur graphiques (GUI), l'Internet des objets (IoT) et les prescriptions médicales. Dans le domaine des prescriptions médicales, nous ferons appel au docteur en médecine et chercheur médical S. Belknap, avec qui nous avons déjà collaboré pour créer un langage de programmation de prescriptions.

Les deux chercheurs principaux, ainsi que G. Berry, travaillent ensemble sur Esterel depuis plusieurs années. Ils ont fait partie d'une Équipe Associée de l'Inria. Les résultats préliminaires sur l'utilisation d'Esterel pour la conception d'un langage de prescriptions médicales, qui ont été obtenus dans ce cadre sont très prometteurs et nous incitent à poursuivre avec ce projet ANR/NSF.