Title :
Validating voice communication requirements using lightweight formal methods
Author :
Hörl, Johann ; Aichernig, Bernhard K.
Author_Institution :
VOEST-ALPINE Industrieanlagenbau GmbH & Co., Linz, Austria
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;
Journal_Title :
Software, IEEE
