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

Auteur(s)	A. Romdhani1, A.E.K. Sahroui1, A. Jeffroy1, A.A. Jerraya ()1, I. Traore1
Laboratoire	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
Domaine	Sciences de l'ingénieur/Micro et nanotechnologies/Microélectronique
Titre	Integration of partial specifications of avionics
Résumé	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.
Langue du texte intégral	Français
Journal	Journal Européen des Systèmes Automatisés
Date de publication	1997
Volume	Vol.31 N° 7/Novembre 1997
Page, identifiant, ...	1221-51
Mots Clés	partial-specifications – avionics- – structuring-language – A340-CMWC – specification-languages – StateCharts- – SDL- – SAO- – SOLAR- – concurrent-hardware-software-design
Classification	PACS 85.42

hal-00008110, version 1

http://hal.archives-ouvertes.fr/hal-00008110

oai:hal.archives-ouvertes.fr:hal-00008110

Contributeur : Lucie Torella <>

Soumis le : Lundi 22 Août 2005, 14:19:55

Dernière modification le : Lundi 22 Août 2005, 14:19:55