前言
第1章  绪论
  1.1  航电系统的发展
    1.1.1  分立式航电系统
    1.1.2  联合式航电系统
    1.1.3  综合模块化航电系统
    1.1.4  新一代航电系统
  1.2  IMA工作原理分析
    1.2.1  IMA结构组成与功能分析
    1.2.2  实施推理方法
    1.2.3  基于“合同”的模块化系统集成方法
    1.2.4  系统交互验证
第2章  IMA安全性分析
  2.1  引言
  2.2  IMA安全性分析的难点
  2.3  IMA安全性分析研究现状
    2.3.1  系统安全性分析的相关适航规章
    2.3.2  系统安全性分析方法研究现状
    2.3.3  IMA的安全性分析方法研究现状
    2.3.4  IMA前沿理论与技术现状
  2.4  小结
第3章  基于FTGPN的IMA系统架构模型
  3.1  引言
  3.2  IMA系统架构
    3.2.1  IMA的适航标准
    3.2.2  IMA架构与特点
    3.2.3  IMA与联合式航空电子系统对比
  3.3  典型机型IMA架构特征分析
    3.3.1  波音777飞机IMA架构特征分析
    3.3.2  波音787飞机IMA架构特征分析
    3.3.3  空客A380飞机IMA架构特征分析
    3.3.4  三种机型IMA架构特征对比分析
  3.4  基于FTGPN的建模方法
    3.4.1  FTGPN建模
    3.4.2  IMA平台系统的FTA模型
    3.4.3  IMA平台系统的FTGPN模型
  3.5  小结
第4章  面向组件的IMA失效影响分析方法
  4.1  引言
  4.2  IMA级联失效及原因分析
    4.2.1  IMA级联失效的原因
    4.2.2  IMA级联失效的类型
    4.2.3  IMA级联失效故障传播机制
    4.2.4  IMA级联失效影响分析
    4.2.5  IMA级联失效影响发展
  4.3  IMA级联失效模型
    4.3.1  同层内级联失效模型
    4.3.2  层间耦合级联失效模型
    4.3.3  案例分析
  4.4  IMA失效影响分析方法
    4.4.1  事件树分析
    4.4.2  原因-模式-影响-分析
    4.4.3  关系矩阵失效分析
    4.4.4  基于组件的级联失效分析
    4.4.5  基于DOMINO-GSPN的级联失效分析
  4.5  小结
第5章  基于功能仿真的IMA风险传播分析
  5.1  引言
  5.2  IMA级联失效跨空间传播的基本形式
  5.3  改进的元胞自动机
  5.4  基于细胞自动机的IMA级联失效传播模型
    5.4.1  IMA的细胞及其状态
    5.4.2  IMA的细胞空间
    5.4.3  IMA的细胞邻居
    5.4.4  IMA的状态转换规则
  5.5  IMA级联失效跨空间传播仿真案例
    5.5.1  IMA的仿真场景
    5.5.2  IMA的仿真模型及基本参数
    5.5.3  IMA的仿真流程
    5.5.4  IMA的仿真结果与分析
  5.6  小结
第6章  基于GSPN的IMA安全性建模方法
  6.1  引言
  6.2  基于组合方法的安全性建模
    6.2.1  HiP-HOPS安全性建模方法
    6.2.2  基于AADL和GSPN安全性建模方法
  6.3  IMA的安全性建模案例
    6.3.1  IMA的静态建模案例
    6.3.2  IMA的动态建模案例
  6.4  小结
第7章  基于模型的IMA安全性分析方法
  7.1  引言
  7.2  传统系统安全性分析方法
    7.2.1  飞机/系统级功能危险分析
    7.2.2  初步系统安全性分析
    7.2.3  系统安全性分析
  7.3  基于模型的系统安全性分析方法
    7.3.1  基于模型的系统安全性分析架构
    7.3.2  故障扩展机制研究
    7.3.3  模型验证方法
  7.4  基于模型的IMA安全性分析实例
    7.4.1  IMA平台系统架构建模
    7.4.2  故障注入及模型扩展
    7.4.3  安全性分析结果
  7.5  小结
参考文献