< retour aux publications

Evaluation and composition of specification languages, an industrial point of view

Auteur(s) : A. Romdhani, R.P. Hautbois, A. Jeffroy, P. De-Chazelles, A. A. Jerraya

Doc. Source: Asia and South Pacific Design Automation Conference. IFIP Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95., IFIP International Conference on Hardware Description Languages. IFIP International Conference on Very Large S

Publisher : IEEE

Pages : 519-523

Doi : 10.1109/ASPDAC.1995.486364

This paper deals with experience with specification languages at AEROSPATIALE Aircraft, Systems and Avionics Division. We describe first the current avionics development environment. Then, we present our results and viewpoints on the use of the three specification languages: LOTOS, ESTEREL, and B. The evaluation studies we performed, showed that each of these languages does not cover in a complete way our needs in specification, validation, and development of avionics. Afterwards, we propose and illustrate an investigation approach that allows to structure and compose different formal specification languages in the same environment.