基于综合模块化航空电子系统（IMA）已经成为目前主流民机和战斗机的架构。基于IMA的航空电子系统带来了诸如优化计算资源使用率，减轻机载设备的重量和功耗。加速航空电子系统的研制进度，降低航空电子系统研制成本等好处。但是，由于其不同于联合式航空电子系统的基于物理的功能系统独立架构。其综合与验证的流程和对象以及内容都发生了很大改变。目前所使用的开发，验证，综合方法，应用到基于IMA的航空电子系统中存在很多问题。这就要求我们研究基于IMA的增量验证和综合方法。 本项目提出了用于分布式航电测试系统的测试管理策略方法（专利201410197895.2），采用“假设-保证”理论对IMA系统中的系统资源配置、时间约束以及交互活动进行了建模分析，并提出了分级综合方法，简化了航空电子系统物理综合过程，解决了分布式平台中的共享资源管理问题。提出了基于“假设-保证“理论的IMA 系统综合中分区间通信的联合验证方法（专利201510007666.4），通过在综合模块化航空电子综合中设计与原应用有相同外部行为的测试用例，对IMA中的应用通信进行测试，解决了传统验证方法无法在不改变实际运行配置的情况下完成测试的难题。提出了基于ARINC 653规范的分区和应用时间窗符合性检测方法（专利：201510171295.3），开发一种形式化的基于ARINC 653规范的分区和应用时间符合性检测工具，提高了检测的效率和准确度，同时也增量了航空电子综合分析结果的可读性与可视性。解决了IMA增量验证中的多配置检验的问题。