Compte rendu du Workshop on Formal Design of Safety Critical Embedded Systems (FEmSys 1999)

Cette conférence correspond aux thèmes de Tolère par l'utilisation de méthodes à bases formelles et par le domaine d'application des systèmes embarqués. Son originalité est de combiner des présentations d'industriels utilisateurs (Snecma, Schneider, Siemens, BMW, IBM, ...), d'industriels proposant des outils (Simulog, Verilog, iLogix, TNI, Siemens, Prover Technology, ...), et de laboratoires académiques (INRIA (plusieurs UR), GMD, Weizmann Institute, Verimag, ...). On y trouve donc un vue d'ensemble du domaine dans lequel s'inscrivent l'actiuon Tolère, et l'environnement ORCCAD.

Les thèmes principaux étaient :

• les modeleurs et simulateurs hybrides
• la programmation réactive orientée-objet
• la programmation synchrone et ses applications
• la génération de code distribué
• la vérification à base de modèle (model-checking)
• la certification et validation du code généré

Les actes de la conférences consistent en une collection de résumés (brefs : 1 page), accessibles entièrement sur le web à cette URL.

Ces résumés donnent acces à moult autres sites des intervenants, tant industriels qu'académiques : ce site peut donc servir de point de départ pour accéder à beaucoup d'informations intéressantes. Notamment, je citerai (choix subjectif et non exhaustif) :

• R. Nikoukha (INRIA Rocq.) donne un lien vers le site de l'outil de modélisation de systèmes hybrides Scicos (Scilab), et lié à Syndex.
• Reinhard Budde parle d'orienté-objet synchrone et donne un lien vers des activités robotiques à la GMD (orientées IA), ainsi que vers les projets européens Syrf et Crisys sur la programmation de systèmes critiques (impliquant Verimag et Schneider, aussi).
• Nicolas Halbwachs a un lien vers un tutorial sur la programmation synchrone avec large bibliographie commentée, version 1998.
• Il y a des liens vers le projet européen Sacres (en lien avec lequel j'ai travaillé jusqu'à décembre), qui faisait intervenir l'INRIA (Rennes : Ep-Atr), le Weizmann Institute, OFFIS, iLogix, TNI, Siemens, British Aerospace et la SNECMA.
• Philippe Baufreton de la SNECMA parle de Sacres et de l'utilisation d'Electre.
• Il y a des liens vers dSpace qui génère du code depuis Matlab/Simulink/Stateflow.
• Egalement vers Syndex, avec qui BIP coopère dans l'action Tolère, et qui avait un stand de démonstration là-bas.
• Simulog parle de SyncCharts/Esterel (un peu) (mais sur leur site, je ne trouve rien là dessus).

Enfin, David Harel ne donne pas de site à visiter, mais je livre en conclusion et matière à réflexion une citation textuelle de son discours très assuré sur la conception de langages de programmation :

«The proof of the pudding is in the eating.»