Conception synchrone d'applications avioniques par raffinement de modèles

Abdoulaye Gamatié (1) , Thierry Gauthier (1) , Paul Le Guernic (1)

1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems

Dans ce papier, nous abordons la conception d'applications avioniques suivant une démarche basée sur le raffinement de modèles. L'étude est réalisée dans le cadre synchrone dont une particularité forte est son fondement mathématique propice aux raisonnements formels (transformations, validation...). Dans l'approche proposée, on considère d'abord une description fonctionnelle d'une application à l'aide du langage Signal (modèle polychrone). Cette description est indépendante de toute architecture de mise en oeuvre. Ensuite, des transformations préservant entièrement la sémantique des programmes manipulés sont appliquées à cette description pour en déduire une représentation reflétant une architecture dite modulaire intégrée, plus connue sous l'acronyme IMA (Integrated Modular Avionics).

Mots clés: Avionique modulaire intégrée; ARINC; conception synchrone; Signal; approche formelle; raffinement de modèles

Domaines: Systèmes embarqués

Abdoulaye Gamatié, Thierry Gauthier, Paul Le Guernic. Conception synchrone d'applications avioniques par raffinement de modèles. 13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS, Apr 2005, Paris, France. pp.00 -- 00. ⟨hal-00879445⟩