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

目录前言第1章 绪论 11.1 航电系统的发展 11.1.1 分立式航电系统 11.1.2 联合式航电系统 21.1.3 综合模块化航电系统 31.1.4 新一代航电系统 41.2 IMA工作原理分析 61.2.1 IMA结构组成与功能分析 61.2.2 实施推理方法 81.2.3 基于“合同”的模块化系统集成方法 91.2.4 系统交互验证 9第2章 IMA安全性分析 112.1 引言 112.2 IMA安全性分析的难点 112.3 IMA安全性分析研究现状 122.3.1 系统安全性分析的相关适航规章 122.3.2 系统安全性分析方法研究现状 152.3.3 IMA的安全性分析方法研究现状 202.3.4 IMA前沿理论与技术现状 252.4 小结 34第3章 基于FTGPN的IMA系统架构模型 363.1 引言 363.2 IMA系统架构 373.2.1 IMA的适航标准 373.2.2 IMA架构与特点 393.2.3 IMA与联合式航空电子系统对比 423.3 典型机型IMA架构特征分析 483.3.1 波音777飞机IMA架构特征分析 483.3.2 波音787飞机IMA架构特征分析 503.3.3 空客A380飞机IMA架构特征分析 553.3.4 三种机型IMA架构特征对比分析 603.4 基于FTGPN的建模方法 613.4.1 FTGPN建模 613.4.2 IMA平台系统的FTA模型 633.4.3 IMA平台系统的FTGPN模型 643.5 小结 70第4章 面向组件的IMA失效影响分析方法 714.1 引言 714.2 IMA级联失效及原因分析 714.2.1 IMA级联失效的原因 724.2.2 IMA级联失效的类型 734.2.3 IMA级联失效故障传播机制 774.2.4 IMA级联失效影响分析 824.2.5 IMA级联失效影响发展 854.3 IMA级联失效模型 874.3.1 同层内级联失效模型 894.3.2 层间耦合级联失效模型 904.3.3 案例分析 914.4 IMA失效影响分析方法 924.4.1 事件树分析 924.4.2 原因-模式-影响-分析 944.4.3 关系矩阵失效分析 954.4.4 基于组件的级联失效分析 994.4.5 基于DOMINO-GSPN的级联失效分析 1044.5 小结 110第5章 基于功能仿真的IMA风险传播分析 1115.1 引言 1115.2 IMA级联失效跨空间传播的基本形式 1115.3 改进的元胞自动机 1125.4 基于细胞自动机的IMA级联失效传播模型 1145.4.1 IMA的细胞及其状态 1145.4.2 IMA的细胞空间 1155.4.3 IMA的细胞邻居 1155.4.4 IMA的状态转换规则 1165.5 IMA级联失效跨空间传播仿真案例 1185.5.1 IMA的仿真场景 1185.5.2 IMA的仿真模型及基本参数 1185.5.3 IMA的仿真流程 1195.5.4 IMA的仿真结果与分析 1215.6 小结 125第6章 基于GSPN的IMA安全性建模方法 1276.1 引言 1276.2 基于组合方法的安全性建模 1276.2.1 HiP-HOPS安全性建模方法 1286.2.2 基于AADL和GSPN安全性建模方法 1336.3 IMA的安全性建模案例 1396.3.1 IMA的静态建模案例 1396.3.2 IMA的动态建模案例 1436.4 小结 152第7章 基于模型的IMA安全性分析方法 1537.1 引言 1537.2 传统系统安全性分析方法 1547.2.1 飞机/系统级功能危险分析 1557.2.2 初步系统安全性分析 1567.2.3 系统安全性分析 1577.3 基于模型的系统安全性分析方法 1587.3.1 基于模型的系统安全性分析架构 1597.3.2 故障扩展机制研究 1657.3.3 模型验证方法 1747.4 基于模型的IMA安全性分析实例 1807.4.1 IMA平台系统架构建模 1817.4.2 故障注入及模型扩展 1837.4.3 安全性分析结果 1857.5 小结 187参考文献 188