The invention discloses an AADL based IMA dynamic reconfiguration modeling method used for
avionics system security modeling. The method comprises: determining dynamic reconfiguration process elements, decomposing a dynamic reconfiguration process into sub-states, and determining trigger and conversion actions required for conversion between each state configuration situation and a state; representing
software and hardware constitution of IMA by utilizing ARINC653 accessories, describing the dynamic reconfiguration process by utilizing behavior accessories, describing a trigger behavior by utilizing error model accessories, and representing different configuration situations of the dynamic reconfiguration process by utilizing
modes; determining IMA dynamic reconfiguration process model instances; describing a dynamic reconfiguration conversion process by utilizing combination of the AADL behavior accessories and the
modes; and realizing and perfecting an established model by utilizing
software. According to the method, the complicated dynamic reconfiguration process is modeled, so that the security of the dynamic reconfiguration process can be conveniently analyzed; and a brand-new
process modeling method is constructed by combining a mature AADL language with the IMA dynamic reconfiguration process.