Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains

The integrated modular avionics (IMA) has been widely deployed on the new designed aircraft to replace the traditional federated avionics. Hosted in different partitions which are isolated by the virtual boundaries, different functions are able to share the common resources in the IMA system. The IMA system can dynamically reconfigure the common resources to perform the hosted functions when some modules fail, which makes the system more robust. Meanwhile, the reliability of the reconfigurable integrated modular avionics becomes more complicated. In this paper, we firstly model the IMA as a joint ( )-failure tolerant system with the consideration of its reconfigurable capability. Secondly, the continuous-time Markov chains are introduced to analyze the reliability of the IMA system. Thirdly, we take the comprehensive display function hosted in the IMA system as an example to show the practical use of the proposed reliability analysis model. Through the parameter sensitivity analysis, different failure rate and priority order of different modules are chosen to analyze their impact on system reliability, which can provide guidance to improve the reliability of the IMA system during a dynamic reconstruction process and optimize resource allocation.

[1]  Qingfan Gu,et al.  Research on Integrated Avionics System Safety , 2014 .

[2]  Guoqing Wang,et al.  Research on Distributed Integrated Modular Avionics system architecture design and implementation , 2013, 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC).

[3]  John A. McDermid,et al.  High Level Failure Analysis for Integrated Modular Avionics , 2001, SCS.

[4]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[5]  José Rufino,et al.  Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems , .

[6]  Ershuai Li,et al.  Deterministic bound for avionics switched networks according to networking features using network calculus , 2017 .

[7]  Zhen Zhang,et al.  Hierarchical resource allocation for integrated modular avionics systems , 2011 .

[8]  Dajiang Suo,et al.  Filling the gap between IMA development and safety assessment through safety-driven model-based system engineering , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).

[9]  A. Wilson,et al.  Incremental certification and Integrated Modular Avionics , 2009, IEEE Aerospace and Electronic Systems Magazine.

[10]  Huagang Xiong,et al.  Design of Energy-efficient Hierarchical Scheduling for Integrated Modular Avionics Systems , 2012 .

[11]  Jianxiong Wan,et al.  Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets , 2013 .

[12]  Rajeev Barua,et al.  Segment protection for embedded systems using run-time checks , 2005, CASES '05.