本书以基于模型的综合模块化航空电子系统（integrated modular avionics,IMA）安全性分析理论与方法为主线，深入探讨了IMA体系架构与设计特征、基于FTGPN的IMA建模方法、IMA级联失效影响分析、风险传播机制、基于GSPN的IMA安全性建模方法以及基于模型的IMA安全性分析方法等内容，涵盖了IMA安全性分析理论方法与工程应用，给出了大型飞机典型IMA系统的安全性分析工程案例。
本书可供从事航空电子系统安全性分析、设计、制造、试验和管理的工程技术人员使用和参考，也可作为高等工科院校电子、自动化、航空、航天、民航等相关专业高年级本科生、硕士和博士研究生的学习参考书。
前言
第1章 绪论 1
1.1 航电系统的发展 1
1.1.1 分立式航电系统 1
1.1.2 联合式航电系统 2
1.1.3 综合模块化航电系统 3
1.1.4 新一代航电系统 4
1.2 IMA工作原理分析 6
1.2.1 IMA结构组成与功能分析 6
1.2.2 实施推理方法 8
1.2.3 基于“合同”的模块化系统集成方法 9
1.2.4 系统交互验证 9
第2章 IMA安全性分析 11
2.1 引言 11
2.2 IMA安全性分析的难点 11
2.3 IMA安全性分析研究现状 12
2.3.1 系统安全性分析的相关适航规章 12
……
