本发明是一种基于AADL的IMA动态重构建模方法，用于航电系统安全性建模。本方法包括：确立动态重构过程要素，分解动态重构过程为一个个子状态，确立每个状态配置情况和状态之间转换需要的触发和转换动作；利用ARINC653附件来表示IMA的软硬件组成，利用行为附件来描述动态重构过程，利用错误模型附件描述触发行为，利用模态表示动态重构过程的不同配置情况；确定IMA动态重构过程模型实例；利用AADL行为附件和模态结合，描述动态重构转换过程；利用软件实现并完善所建模型。本发明使复杂的动态重构过程模型化，便于分析动态重构过程的安全性，将成熟的AADL语言与IMA动态重构过程结合，创立了全新的过程建模方法。