SAFETY ASSURANCE FOR AIR TRAFFIC CONTROL SYSTEMS
Ch. Nagabhushana Rao · IJITR International Journal of Innovative Technology and Research - IJITR International Journal of Innovative Technology and Research · 2014
With rapid developments in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To make sure that safety-critical systems are really safe, there is a need to verify them formally. In this paper we discuss about how to assure safety in Aircrafts and Air Traffic Control Systems (ATC). The technology in ATC needs to be modified to suit today's standards. The system safety approach to reduce risk is to anticipate accidents and their causes in before, the fact hazard analysis and to eliminate. This case study demonstrates how software engineering techniques can make a complex system dramatically simpler and flexible.