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.
A multi-formalisms approach for codesign in the development of avionics
IEEE Aerospace and Electronic Systems Magazine ; 11 , 5 ; 33-38
1996-05-01
545455 byte
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Multiformalisms Approach for Codesign of Avionics
Online Contents | 1996
|Development Approach for LCA Avionics
Online Contents | 2002
|Codesign in automotive electronics
Kraftfahrwesen | 1998
|