A multi-formalisms approach for codesign in the development ofavionics |
| |
| Authors: | Sahraoui AEK Romdhani M Jeffroy A Dechazelles P |
| |
| Institution: | Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse ; |
| |
| Abstract: | 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 |
| |
| Keywords: | |
|
|
