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

Author

Romdhani, M. ; Hautbois, R.P. ; Jeffroy, A. ; de Chazelles, P. ; Jerraya, A.A.

Author_Institution

CNRS, Grenoble, France

fYear

1995

fDate

29 Aug-1 Sep 1995

Firstpage

519

Lastpage

523

Abstract

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

Keywords

avionics; formal specification; specification languages; AEROSPATIALE Aircraft; B; ESTEREL; LOTOS; avionics development; formal specification languages; specification languages; validation; Aerospace control; Aerospace electronics; Aircraft; Automatic programming; Computer displays; Costs; Formal specifications; Performance evaluation; Specification languages; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

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 Scal

Conference_Location

Chiba

Print_ISBN

4-930813-67-0

Type

conf

DOI

10.1109/ASPDAC.1995.486364

Filename

486364