Title :
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
fDate :
29 Aug-1 Sep 1995
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;
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
DOI :
10.1109/ASPDAC.1995.486364
