Integration of partial specifications of avionics

A. Romdhani (1) , A.E.K. Sahroui (1) , A. Jeffroy (1) , A.A. Jerraya (1) , I. Traore (1)

1 TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés

This paper deals with a practical approach for the integration of partial specifications. We use a structuring language to specify the overall system functions, and a set of specific languages for detailed specification. The specification approach is illustrated through the specification of an avionics system, named A340 CMWC. The specification is achieved through the three specification languages: Harel's StateCharts (1987), SDL and SAO. Partial specifications are composed in a unified format named SOLAR, which is used for later concurrent hardware/software design.

Mots clés: partial-specifications; avionics-; structuring-language; A340-CMWC; specification-languages; StateCharts-; SDL-; SAO-; SOLAR-; concurrent-hardware-software-design

Domaines: Micro et nanotechnologies/Microélectronique

A. Romdhani, A.E.K. Sahroui, A. Jeffroy, A.A. Jerraya, I. Traore. Integration of partial specifications of avionics. Journal Européen des Systèmes Automatisés (JESA), 1997, Vol.31 N° 7/Novembre 1997, pp.1221-51. ⟨hal-00008110⟩