Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics

Author

Romdhani, M. ; Chambert, P. ; Jeffroy, A. ; de Chazelles, P. ; Jerraya, A.A.

Author_Institution

Avionics & Syst. Div., Aerospatiale, Toulouse, France

fYear

1995

fDate

18-22 Sep 1995

Firstpage

585

Lastpage

590

Abstract

This paper deals with the composition of system-level specifications, and more generally a multi-formalisms codesign methodology in the context of AEROSPATIALE Aircraft avionics systems. The methodology is based on a unified system model, named SOLAR, which is used to compose three specification languages: ActivityCharts/StateCharts, SDL, and SAO. The model serves the rest of codesign tasks. Multi-formalisms composition principles are illustrated on an avionics system that is part of AIRBUS A340 on-board systems family. Results and perspectives are also outlined

Keywords

aerospace computing; aircraft computers; formal specification; AEROSPATIALE Aircraft avionics systems; AIRBUS A340 on-board systems family; ActivityCharts; SAO specifications; SDL; SOLAR; StateCharts; avionics; codesign; system-level specifications; Aerospace electronics; Aircraft; Computer architecture; Hardware; Laboratories; Modeling; Programming; Software standards; Specification languages; Standards development;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European

Conference_Location

Brighton

Print_ISBN

0-8186-7156-4

Type

conf

DOI

10.1109/EURDAC.1995.527465

Filename

527465