< retour aux publications

Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics

Auteur(s) : A. Romdhani, P. Chambert, A. Jeffroy, P. De-Chazelles, A. A. Jerraya

Doc. Source: European Design Automation Conference with EURO-VHDL (EURO-DAC'95)

Publisher : IEEE

Pages : 585-590

Doi : 10.1109/EURDAC.1995.527465

This paper deals with the composition of system-level specifications, and more generally a multi-formalisms codesign methodology in the context of AEROSPATIALE Aircraft avionics systems. The methodology is based on a unified system model, named SOLAR, which is used to compose three specification languages: ActivityCharts/StateCharts, SDL, and SAO. The model serves the rest of codesign tasks. Multi-formalisms composition principles are illustrated on an avionics system that is part of AIRBUS A340 on-board systems family. Results and perspectives are also outlined.