IMA dynamic reconfiguration modeling and resource criticality analysis based on Petri net

Integrated Modular Avionics (IMA) system is becoming more complex because of the integration of system functions. However, the highly coupled modules result in a dramatic increase in the complexity of the system, which will cause safety issues due to the complex interactions. The dynamic reconfiguration of IMA system can make the aircraft execute the functions without landing, and recover from the fault quickly. However, the dynamic reconfiguration process is more prone to bringing about safety problems because of the dynamic resource configuration changes. Due to the complexity of the system, it is hard to find out which step of the dynamic reconfiguration process appears error with the resource call. In this paper, analysis on resource criticality is applied. First, the dynamic reconfiguration process is divided into a certain number of tasks. According to the resource that is needed to perform each task, then the key resources is determined for the completion of the task. The system is modeled with AADL and translated into Petri net. The resource's criticality calculation of the IMA dynamic reconfiguration process is established. It can be a great use in analyzing the safety and reliability of dynamic reconfiguration, to identify the exact location of the problem during the resource call.