Validating voice communication requirements using lightweight formal methods

Author

Hörl, Johann ; Aichernig, Bernhard K.

Author_Institution

VOEST-ALPINE Industrieanlagenbau GmbH & Co., Linz, Austria

Volume

17

Issue

3

fYear

2000

Firstpage

21

Lastpage

27

Abstract

To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experience using VDM++ to specify a safety-critical air traffic control voice communication system. Their approach raised both the quality of the informal system specification and the efficiency of the system test suites they used

Keywords

Vienna development method; air traffic control; formal specification; formal verification; safety-critical software; telecommunication computing; voice communication; VDM++; formal development methods; informal system specification quality; lightweight formal methods; requirements engineering; safety-critical air traffic control voice communication system specification; system test suite efficiency; technological transfer; voice communication requirements validation; Air traffic control; Airports; Communication switching; Communication system traffic control; ISDN; Object oriented modeling; Personnel; Switches; Telephony; Unified modeling language;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.896246

Filename

896246