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

分布式综合模块化航空电子系统(DIMA)已成为未来新一代航空电子系统的发展方向。为解决DIMA系统网络通信技术方案的选择问题, 构建了系统体系结构模型, 以通信、导航与识别综合系统为切入点讨论了其与联合式系统和综合模块化航空电子系统的区别与联系；基于此, 总结了DIMA系统的网络通信需求, 并通过对比分析光纤通道、航空电子全双工交换式以太网和时间触发以太网, 确定了采用时间触发网络实现DIMA系统网络互连在实时可靠通信和系统增量升级等方面的优势。

首先, 介绍了分布式综合模块化航空电子系统(DIMA)的架构, 然后, 分析了时间触发以太网(TTE)的特性, 最后, 针对DIMA架构下的TTE的通信调度问题, 提出了基于TTE组循环周期、TT消息调度表周期和剩余时间的调度方法, 并对生成的通信调度表进行了分析和评价。

近年来, 分布式综合模块化航空电子系统的发展, 对航空电子网络提出了更高的要求。时间触发以太网以其特有的优势, 可保障数据通信的强实时性, 提高网络服务质量, 为航空电子网络指明了升级方向。在概括航空电子系统对网络通信要求的基础上, 描述常用航空电子网络的特点, 指出了时间触发以太网的优势。对时间触发以太网的分析, 表明其满足航空电子系统升级要求, 是新一代飞机网络技术发展的重要方向。

综合模块化航空电子系统（IMA）是航电系统的发展方向，其技术标准对新型军机、民机航电系统开发具有重要指导作用，阵风、F-22、F-35、A380、B787等飞机的航电系统均采用了其有关概念和技术。重点评述了ASAAC有关系统架构、系统软件、通信/网络、通用功能模块、封装等技术标准，以及ARINC等有关标准。

现有的悬挂物管理系统属于紧耦合的封闭式系统,不利于系统软硬件的升级和新**的集成。针对这一问题,将综合模块化航空电子系统(IMA)体系结构应用于悬挂物管理系统的设计和开发。采用该方法,建立了基于IMA的系统结构模型,设计了系统的悬挂物管理软件、挂点接口单元和通信网络。该设计方法为开放式悬挂物管理系统的研究提供了有益价值。