IMA核心处理系统是先进民用飞机的重要组成部分，对其进行安全性分析是民用飞机设计过程中必不可少的重要环节。考虑到IMA核心处理系统具有容错性、冗余性和顺序相关性等动态特性，采用动态故障树分析法对其进行安全性分析。将动态故障树分析方法应用于IMA核心处理系统的安全性设计过程中，可以为不同安全等级的驻留功能提供相应的IMA核心处理系统结构，从而确保系统的设计符合飞机安全性要求。本文分析了IMA核心处理系统的功能、结构及原理，接着分别对该系统的主要三种部件GPM、AFDX网络、RDIU的特性进行分析，并比较分析了各类部件资源和驻留功能LRU的组合结构。针对IMA核心处理系统的动态特性，在传统故障树分析方法基础上引入动态逻辑门建立动态故障树，研究动态故障树的一般求解方法，其中包括动态故障树的模块化分解方法、用于求解静态子树的二元决策图法和求解动态子树的Markov状态转移法。结合IMA核心处理系统可能发生的失效状态，对不同结构进行完整性和可用性动态故障树建模，并选取典型结构进行动态故障树求解，对不同结构的完整性和可用性进行比较分析。接着对IMA核心处理系统功能进行Matlab仿真，建立系统的GPM模型、AFDX网络模型和RDIU模型，并实现典型结构模型的运行，通过模块故障设定验证该结构的容错特性。最后结合燃油系统驻留在IMA核心处理系统中的燃油测量计算功能，进行了仿真验证。