Application du langage synchrone ESTEREL aux systèmes avioniques

L'augmentation de volume et de complexite des systemes embarques a bord des avions d'armes, conjuguee avec l'objectif de reduire d'un facteur deux les couts et les delais de realisation de ces systemes, ont conduit DASSAULT AVIATION a etendre le domaine d'application des methodes formelles au-dela des systemes critiques de commandes de vol. Les traits caracteristiques de la conception de nos systemes nous ont conduit a privilegier l'approche synchrone, et plus particulierement le langage ESTEREL. Nous presentons ici les mativations de ce choix, ainsi que les travaux menes pour appliquer ESTEREL dans notre contexte industriel.