A modeling method for integrated modular avionics dynamic reconfiguration process based on AADL

With the great development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration but also acts as a valid means for resource failure management. It is very vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such as configuration changes. Petri net is a widely used tool to conduct simulation analysis in many aspects. Therefore, we proposed a modeling method of IMA dynamic reconfiguration based on AADL mode, behavioral annex and error model annex in the system level. The model is our first step to analyze and solve the safety problem of IMA system. It can benefit deep analyzing about dynamic reconfiguration of IMA system as the foundation.