综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配, 但集成工作增加了系统的复杂性, 同时使系统的故障在综合过程中传播到其他系统, 这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能, 存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题, 提出了一种新的综合模块化航空电子系统安全分析方法——模型检测, 使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证, 在系统需求规格的基础上给出了分析过程, 利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合, 从而达到传统故障树分析的目的, 最终通过案例分析表明了该方法的实用性。