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


15-17 mars 1999, Munich, Allemagne

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 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) :

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.»