Title :
A multi-formalisms approach for codesign in the development of avionics
Author :
Sahraoui, A.E.K. ; Romdhani, M. ; Jeffroy, A. ; Dechazelles, P.
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
fDate :
5/1/1996 12:00:00 AM
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 :
CAD; aerospace computing; avionics; specification languages; AEROSPATIALE; AIRBUS A340; Harel´s StateCharts; SAO; SDL; avionics; codesign; concurrent hardware/software design; graphical specification languages; multi-formalisms; multi-languages specification; partial avionics specifications; specification languages; Aerospace electronics; Computer architecture; Embedded software; Embedded system; Hardware; Humans; Prototypes; Software design; Software prototyping; Specification languages;
Journal_Title :
Aerospace and Electronic Systems Magazine, IEEE
