Abstract
The safety critical systems are those whose failure may cause the loss of human life, serious injuries and financial disasters. The air traffic control system (ATC) is a safety critical system and rise in the air traffic volume make it more critical and complex which caused for the unwanted delay in the aircraft departure process. To ensure its safety it requires advance methodologies for its designing process. The VDM++ is an emerging technique based on mathematical notation having object oriented features and used to specify and verify the software system. This technique is used to formalize the departure process of ATC system. The departure process is controlled by the air traffic controllers. The air traffic controllers control the aircraft traffic. This departure process is made possible with the help of the ground and local controller. Initially, the aircraft is under the control of ground controller. Further the control is transfer to the local controller. These both controllers communicate to aircraft and also to each other for safe and secure movement of aircraft and finally the aircraft depart from the airport.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: IACSIT international journal of engineering and technology
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.