282 articles – 2121 Notices  [english version]
Fiche concise Articles dans des revues avec comité de lecture
Integration of partial specifications of avionics
Romdhani A. et al
Journal Européen des Systèmes Automatisés Vol.31 N° 7/Novembre 1997 (1997) 1221-51 - http://hal.archives-ouvertes.fr/hal-00008110
A. Romdhani1, A.E.K. Sahroui1, A. Jeffroy1, A.A. Jerraya ()1, I. Traore1
1 :  TIMA - Techniques of Informatics and Microelectronics for integrated systems Architecture
http://tima.imag.fr/
CNRS : UMR5159 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG)
46 Av Félix Viallet 38031 GRENOBLE CEDEX 1
France
Sciences de l'ingénieur/Micro et nanotechnologies/Microélectronique
Integration of partial specifications of avionics
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.
Français

Journal Européen des Systèmes Automatisés
1997
Vol.31 N° 7/Novembre 1997
1221-51

partial-specifications – avionics- – structuring-language – A340-CMWC – specification-languages – StateCharts- – SDL- – SAO- – SOLAR- – concurrent-hardware-software-design
PACS 85.42