Hazard Analysis of Traffic Collision Avoidance System Based on STAMP Model

System safety analysis, as a powerful technology to verify and ensure the safety of system, has been applied throughout the entire process of system design and operation. The Traffic Collision Avoidance System (TCAS) significantly ensures flight safety. Understanding the factors which can influence the decision of TCAS, is critical to improve the safety design of next generation airborne avionic system. In this paper, the control process of TCAS is constructed via Systems Theoretic Accident Model and Process (STAMP) theory, and the unsafe causal factors are analyzed based on a normative analysis process. A standard scenario of crossing flight level is simulated to specify the potential hazards of current TCAS. Then, a safety verification model is constructed to verify the validity of the hazard-analysis system through Simulink.