Formal analysis of departure procedure of air traffic control system

In recent years, the volume of air traffic has increased dramatically which caused for unwanted delay in flights at the airports during the departure and arrival process of aircrafts. In this paper we have proposed step by step modeling process for the departure of the aircraft with the coordination of the air traffic controllers. These controllers are responsible for safe and secure movement of the aircrafts. In this procedure initially the control of the aircraft is to the gate controller. Further after the operations of the gate controller the control is transfer to the ramp controller and the aircraft proceed for the departure in a series of the steps. The methodology used for this modeling process is VDM++ which is an object oriented model based formal approach. This method ensures the safety and correctness by identifying errors at early stages of systems designing. It also provides extremely valuable solution of problem and also improves the confidence of the quality of the software.