Title :
Object-oriented requirements analysis for air traffic control systems
Author :
Wortmann, Jan ; Classen, Ingo ; Klawitter, Gerd
Author_Institution :
Tech. Univ. Berlin, Germany
Abstract :
This experience report documents the results of the project “Data Modelling for Advanced Flight Data Management” of the research group “Computergestutze Informotionssysteme” at Technische Universitat Berlin and the Eurocontrol Experimental Centre (EEC) Bretigny-sur-Orge France. A combination of classic object-oriented approaches, such as OMT, the Booch method and Jacobson´s use case driven approach have bean combined for the creation of an analysis model, describing sector handover procedures in the context of Air Traffic Control (ATC). Due to the complex dynamic properties of ATC systems, Message Sequence Charts (MSC) and statecharts, have been used within this project for requirements analysis, although they are usually considered as design related
Keywords :
air traffic control; formal specification; object-oriented programming; air traffic control systems; classic object-oriented approaches; complex dynamic properties; message sequence charts; object-oriented requirements analysis; sector handover procedures; use case driven approach; Aerospace control; Air safety; Air traffic control; Airborne radar; Aircraft; Context modeling; Jacobian matrices; Object oriented modeling; Project management; Robustness;
Conference_Titel :
Software Technology and Engineering Practice, 1997. Proceedings., Eighth IEEE International Workshop on [incorporating Computer Aided Software Engineering]
Conference_Location :
London
Print_ISBN :
0-8186-7840-2
DOI :
10.1109/STEP.1997.615493