DESIGN OF FORMAL AIR TRAFFIC CONTROL SYSTEM THROUGH UML

In recent years, UML has become most popular among modeling languages and is commonly used to drive the design and implementation of system and software architectures. UML models help to achieve functional and non-functional requirements of system. Furthermore, UML tools have enabled the creation of source code from UML diagrams in order to initiate the programming phase of building software. However, due to lack of clearly defined semantics, it has been challenging to create source code from UML models. The main objective of the paper is to model Air Traffic Control system by the use of UML. An activity of Air Traffic Control i.e. departure process which only covers part of the Air Traffic Control functionality has been considered in this paper. The UML models created using formal naming semantics help them to convert into source code and also help to achieve functional and non-functional requirements. The complexity of Air Traffic Control System is also measured which makes the design simple and visibly understandable.

[1]  D. Ballinger,et al.  Changes in roles/responsibilities of Air Traffic Control under precision taxiing , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[2]  Johnnie W. Baker,et al.  Tractable Real-time Air Traffic Control Automation , 2002, IASTED PDCS.

[3]  Michael S. Nolan,et al.  Fundamentals of Air Traffic Control , 1990 .

[4]  Alexander Romanovsky,et al.  Architecting Dependable Systems II , 2004, Lecture Notes in Computer Science.

[5]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[6]  Glenn Brown.  Remote Intelligent Air Traffic Control Systems for Non-Controlled Airports , 2003 .

[7]  Jon Whittle,et al.  From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.

[8]  Lirong Dai,et al.  Modeling and analysis of non-functional requirements as aspects in a UML based architecture design , 2005, Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Network.

[9]  Magnus Axholt,et al.  Modelling Traffic Scenarios for Realistic Air Traffic Control Environment Testing , 2004 .

[10]  Interrogators.  EUROPEAN ORGANISATION FOR THE SAFETY OF AIR NAVIGATION , 2003 .

[11]  Glen A. Gilbert,et al.  Air traffic control , 1973, Nature.

[12]  John-Paul Clarke,et al.  A Conceptual Design of A Departure Planner Decision Aid , 2000 .

[13]  John-Paul Clarke,et al.  Queuing Model for Taxi-Out Time Estimation , 2002 .