IMA reconfiguration modeling and reliability analysis based on AADL

Integrated Modular Avionics (IMA) system has revealed many advantages compared with the previous generation avionics system (Federated Avionics Architectures) and has been developed by engineers. IMA systems employ reconfiguration to manage the recourses of the system dynamically. Some researches on modeling and safety case have been done recently. In this paper, we propose one reliability analysis method based on Architecture Analysis and Design Language (AADL) model for Integrated Modular Avionics (IMA) reconfiguration. Firstly we present a mechanism to describe the dynamic reconfiguration of multimodal system, and it is followed by translating the AADL to Petri net (PN). Finally in the Petri net, the reconfiguration path reliability has been analyzed. The method we proposed is able to be used to assist the design of the IMA reconfiguration in the early stage of development, and thus improving the reliability of the whole system.