Aircraft System Safety Analysis Method Research Based On Model Checking

Traditional system safety analysis, influenced by the personal skills and experiences of analyzers,has the limitation of neglecting system failure states and misunderstanding failure effects. It isnecessary to introduce a new safety analysis method in aircraft system analysis area. Model checking,for using traversing algorithm, can search all system status in mathematical method without omitting.Through the verification tool, automatic analysis process can be implemented and the requirement ofhuman experiences can be reduced.The theories of model checking and computer realization as well as verification tools arediscussed in the paper. At the same time, the analysis method and assessment process of aircraftsystem safety are summarized. The fault tree analysis is taken as an example. During its process, thelimitation of high requirements is analyzed. In order to solve that problem, the model checking isintroduced into the aircraft system safety analysis area and the analysis process based on systemrequirements specification is given.Using the database technology, the safety verification platform is developed, including the codelibraries of component and fault state. With the platform, the system model can be constructed quicklyand easily. The safety of wheel brake system in ARP4761is analyzed as an example.