A multi-formalisms approach for codesign in the development of avionics

This paper presents a new approach in the development of avionics at AEROSPATIALE. The approach is based on a selective use of specification languages. Its aim is to compose partial avionics specifications in a unified format which is used for later concurrent hardware/software design steps. A demonstrator of the approach is currently in progress. It deals with the re-design of an avionics on-board system that belongs to the family of AIRBUS A340. The multi-languages specification is achieved through three graphical specification languages: Harel's StateCharts, SDL and SAO. The status of work and future perspectives are outlined.