本发明提供一种针对IMA资源共享机制的状态关联动态分析方法，包括以下步骤：一：确定IMA系统对象，并利用AADL对IMA系统共享机制进行建模；二：通过模型转化,将AADL模型转化为CGSPN模型；三：将系统设计约束加入到CGSPN模型中；四：针对CGSPN模型进行模型仿真分析；通过以上步骤，达到了IMA系统状态关联分析的目的，所建的CGSPN模型仿真充分考虑到了系统状态关联的动态行为：1.能够分析资源故障后恢复是否会影响系统故障状态关联，即分析资源故障后恢复是否会导致系统其它部件进入故障状态；2.能够分析系统设计是否满足动态约束。