Model Based Interaction Hazards Analysis Of Integrated Modular Avionics System

Integrated Modular Avionics (IMA) systems bring a series of challenges related to hazard analysis in components interaction. When software applications are integrated onto the IMA platform, it is very difficult to predict what interaction hazards could occur. The System-Theoretic Process Analysis (STPA) based hazard analysis method is extended in this paper to account for behavior that emerges when software applications are integrated and make functional interaction. STPA has its foundation in a new accident causality model called STAMP (System-Theoretic Accident Model and Process). In STAMP, the dysfunctional interactions and requirements flaws during operation are primary types of inadequate control. This method will be capable of modeling the new causal factors that contribute to component interaction hazards. The paper illustrates the new method with a case that includes real-world avionics display functions, this application of the proposed method will be a verification of the method validity.