Research Article

Research on the Reliability Analysis of the Integrated Modular Avionics System Based on the AADL Error Model

Figure 3

Transition behavior of IMA software error states.