Software reliability analysis in air traffic control system

Abstract

Air Traffic Control (ATC) system is one of the most characteristic distributed systems. It requires high reliabilities of both network and software application due to its close relationship with passengers' life. In this paper, the Markov process is adopted to analyze the software reliability of ATC system. Firstly, the state transition diagram is obtained according to the maintenance strategy. Then, by tuning some key parameters such as failure ratio and maintenance ratio, the software reliability of the ATC system is simulated quantitatively. Furthermore, a reliability comparison of system redundancy and component redundancy is presented. The analysis about these simulation results will give us a guidance to improve the software reliability of ATC.