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.

[1]  Peter,et al.  Data Fusion for the Apache Longbow: Implementation and Experiences , 2005 .

[2]  Jinchao Chen,et al.  Scheduling Independent Partitions in Integrated Modular Avionics Systems , 2016, PloS one.

[3]  Frédéric Boniol,et al.  Safe allocation of avionics shared resources , 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

[4]  Dajiang Suo,et al.  AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics , 2011, 2011 18th Asia-Pacific Software Engineering Conference.

[5]  Ehab Al-Shaer,et al.  FlowChecker: configuration analysis and verification of federated openflow infrastructures , 2010, SafeConfig '10.

[6]  Peter Buchholz,et al.  Hierarchies in Colored GSPNs , 1993, Application and Theory of Petri Nets.

[7]  Robert Hilbrich,et al.  Dynamic reconfiguration in NoC-based MPSoCs in the avionics domain , 2010, IWMSE '10.

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  M. Ben-Daya.  Failure Mode and Effect Analysis , 2009 .

[10]  Jun Zhu,et al.  A formal model of satellite communication system network control protocol based on generalized stochastic Petri nets , 2015, 2015 IEEE International Conference on Computer and Communications (ICCC).

[11]  Guo Bo.  An Extended CGSPN-Based Simulation Method for the Evaluation and Resources Optimization of Maintenance Support Systems , 2005 .

[12]  C.B. Watkins,et al.  Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[13]  Liudong Xing,et al.  Common-Cause Failure Analysis for Dynamic Hierarchical Systems , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[14]  Giuseppe Montano.  Dynamic Reconfiguration of Safety-Critical Systems: Automation and Human Involvement , 2011 .

[15]  Paul Parkinson,et al.  Safety-Critical Software Development for Integrated Modular Avionics , 2015 .

[16]  Lei Hang,et al.  The stochastic Petri net based reliability analysis for software partition integrated modular avionics , 2015, IEEE Aerospace and Electronic Systems Magazine.

[17]  Sataporn Amornsawadwatana,et al.  A review of techniques for risk management in projects , 2007 .

[18]  Gary J. Powers,et al.  Computer-aided Synthesis of Fault-trees , 1977, IEEE Transactions on Reliability.

[19]  Aamir Mairaj.  Preferred choice for resource efficiency: Integrated Modular Avionics versus federated avionics , 2015, 2015 IEEE Aerospace Conference.