A model based simulation verification method for IMA reconfiguration on system level

Integrated Modular Avionics (IMA) has been employed in the aerospace industry. IMA system provides reconfigurable architecture, which can allocate shared resource dynamically in order to satisfy various mission requirements and to recover from failure. Both each configuration and especially transition process between different configurations should be taken into consideration during dynamic reconfiguration. Some research of configuration of IMA system has been conducted so far. In this paper, the mechanism to model dynamic reconfiguration with regard to system operating mode using Architectural Analysis and Design Language (AADL) is proposed. And then AADL model is transformed to petri net, which is used to verify the logical properties of dynamic reconfiguration process. The proposed method could help modify the design of IMA reconfiguration at the early stage of development and make contributions to safe dynamic reconfiguration.