During the last few years light-weight approaches to formal development methods have been proposed in order to facilitate the technological transfer of formal methods. 'Light-weight' means that a precise and unambiguous formal specification language is used in order to raise the quality of a system's description, without focusing on proofs (C.B. Jones, 1996). The article presents the results and experiences gained in an industrial project where VDM++, an object oriented extension of the Vienna Development Method, has been applied in such a light-weight manner. In the joint project of the Austrian company Frequentis and the Technical University Graz (J. Horl, 1999), a safety critical voice communication system (VCS) for air-traffic control has been specified and validated. It serves as the sole communication system between the pilots, the air-traffic control personnel at the tower, the ground personnel on the runways, other parties external to the airport and even other airports.
Requirements validation of a voice communication system used in air traffic control. An industrial application of light-weight formal methods
2000
1 Seite, 2 Quellen
Aufsatz (Konferenz)
Englisch
Reuse of a Formal Model for Requirements Validation
British Library Conference Proceedings | 1997
|Application of Formal Methods to Scenario-based Requirements Engineering
British Library Online Contents | 2001
|Requirements for Application of Light Emitting Diodes (LEDs) to Traffic Control Signals
British Library Conference Proceedings | 1995
|Formal methods and temporal safety requirements: A level crossing application
Tema Archiv | 2007
|