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

Volume

11

Issue

5

fYear

1996

fDate

5/1/1996 12:00:00 AM

Firstpage

33

Lastpage

38

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;

fLanguage

English

Journal_Title

Aerospace and Electronic Systems Magazine, IEEE

Publisher

ieee

ISSN

0885-8985

Type

jour

DOI

10.1109/62.494186

Filename

494186