Research Article

Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA

Figure 7

Timed automaton network model of IMA reconfiguration.