Reliability assessment model of IMA partition software using stochastic Petri nets
W Zhijun, M Haolin, Y Meng - IEEE Access, 2021 - ieeexplore.ieee.org
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 …
to the reliability block diagram (RBD) method, fault tree analysis (FTA) method and GO …
Safety Analysis for Mixed-criticality System with Random Errors and Burst Errors Based on AADL.
X Wei, Y Dong, C Sun, X Li… - International Journal of …, 2024 - search.ebscohost.com
Many complex embedded systems are Mixed-Criticality Systems (MCSs). MCSs are often
required to operate with the specified criticality level, but they may be subject to hazards that …
required to operate with the specified criticality level, but they may be subject to hazards that …
[引用][C] Application of MBSE in aviation flight control system
陈宣文， 黄晖， 戴小氐 - Advances in Aeronautical Science and Engineering, 2024