A Novel Model-Based Dynamic Analysis Method for State Correlation With IMA Fault Recovery

Integrated modular avionics (IMA) systems present many advantages. However, the resource sharing mechanism also brings a series of system problems, including the frequency of fault propagation and the difficulties of system design verification. The traditional analysis approaches for system designers have limits to analyze dynamic faults which are caused by unreasonable designs. These dynamic faults come up with component fault states, component state correlation, and system dynamic behaviors. In this paper, a new model-based dynamic analysis method for state correlation with IMA fault recovery is proposed, which helps to check system states and verify system designs by means of analyzing the dynamic behaviors of systems in a new view of systems' correlated states. A colored generalized stochastic Petri net (CGSPN) provides advantages to system modeling and simulation, but there are some difficulties for modeling component state correlations and system dynamic behaviors in detail on the IMA system. We make an improvement on CGSPN for modeling IMA by adding an element and changing fairing rules. In addition, multiconstraint specified to solve the configuration satisfying problem for IMA is built into the model. Afterward, according to results of model simulation, system dynamic faults are analyzed and system designs are checked, which will help to guide the system designers to adjust system architecture at the early stage of system development. Finally, a case study is given for demonstrating how to apply this new method.