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

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 lan...

Full description

Saved in:
Bibliographic Details
Main Authors: Romdhani, M., Chambert, P., Jeffroy, A., de Chazelles, P., Jerraya, A.A.
Format: Conference Proceeding
Language:English
Subjects:
Aerospace electronics
Aircraft
Computer architecture
Hardware
Laboratories
Modeling
Programming
Software standards
Specification languages
Standards development
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/EURDAC.1995.527465