Reliability Assessment Model of IMA Partition Software Using Stochastic Petri Nets

In order to reduce the failure rate of Integrated Modular Avionics (IMA) partition software, due to the reliability block diagram (RBD) method, fault tree analysis (FTA) method and GO method cannot describe the state transition process of partition software, according to the ARINC 653 standard and t...

Full description

Bibliographic Details
Main Authors: Wu Zhijun, Ma Haolin, Yue Meng
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/9345714/