基于模型的IMA安全性分析理论与方法

  
本书以基于模型的综合模块化航空电子系统（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

……