| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第一章 绪论 | 第10-18页 |
| 1.1 选题背景及研究意义 | 第10-12页 |
| 1.1.1 选题背景 | 第10-11页 |
| 1.1.2 研究意义 | 第11-12页 |
| 1.2 国内外研究现状 | 第12-16页 |
| 1.2.1 国外研究现状 | 第12-15页 |
| 1.2.2 国内研究现状 | 第15-16页 |
| 1.3 研究内容 | 第16页 |
| 1.4 论文组织结构 | 第16-18页 |
| 第二章 基于概率模型的安全性分析理论 | 第18-30页 |
| 2.1 基于模型的安全性分析 | 第18-22页 |
| 2.1.1 MBSA概述 | 第18-20页 |
| 2.1.2 MBSA实现 | 第20-22页 |
| 2.2 系统高层模型 | 第22-23页 |
| 2.2.1 系统名义模型 | 第22页 |
| 2.2.2 失效扩展模型 | 第22-23页 |
| 2.3 底层模型建模及模型检验 | 第23-29页 |
| 2.3.1 概率模型检验定义 | 第23-24页 |
| 2.3.2 概率模型检验原理 | 第24-27页 |
| 2.3.3 概率检验模型建模规范 | 第27-28页 |
| 2.3.4 概率模型检验 | 第28-29页 |
| 2.4 小结 | 第29-30页 |
| 第三章 EFVS高层模型建模 | 第30-45页 |
| 3.1 EFVS物理架构及功能分析 | 第30-34页 |
| 3.1.1 EFVS物理架构描述 | 第30-31页 |
| 3.1.2 EFVS功能分析 | 第31-34页 |
| 3.2 EFVS安全性需求分析 | 第34-36页 |
| 3.3 EFVS名义模型建模 | 第36-40页 |
| 3.3.1 HUD名义模型建模 | 第36-39页 |
| 3.3.2 EVS名义模型建模 | 第39-40页 |
| 3.4 EFVS失效扩展模型建模 | 第40-44页 |
| 3.4.1 FMEA失效分析 | 第40-43页 |
| 3.4.2 失效信息注入 | 第43-44页 |
| 3.5 小结 | 第44-45页 |
| 第四章 EFVS概率模型建模 | 第45-70页 |
| 4.1 失效扩展模型到概率检验模型的转换规则 | 第45-53页 |
| 4.1.1 转换规则概述 | 第45-47页 |
| 4.1.2 系统展开规则 | 第47-49页 |
| 4.1.3 模块建立规则 | 第49页 |
| 4.1.4 变量声明规则 | 第49页 |
| 4.1.5 失效转移命令 | 第49-50页 |
| 4.1.6 构建逻辑等式 | 第50-51页 |
| 4.1.7 安全性属性表达 | 第51-53页 |
| 4.2 概率模型分层建模 | 第53-69页 |
| 4.2.1 概率模型分层建模方法概述 | 第53-54页 |
| 4.2.2 概率模型建模规范 | 第54-58页 |
| 4.2.3 功能模块级概率模型建模 | 第58-66页 |
| 4.2.4 LRU级概率模型建模 | 第66-68页 |
| 4.2.5 设备级概率模型建模 | 第68-69页 |
| 4.2.6 系统级概率模型建模 | 第69页 |
| 4.3 小结 | 第69-70页 |
| 第五章 EFVS概率模型检验与定量安全性分析 | 第70-88页 |
| 5.1 EFVS定量安全性属性描述 | 第70-71页 |
| 5.2 EFVS定量安全性分析 | 第71-78页 |
| 5.2.1 EFVS进近导引指令计算功能错误(未通告) | 第71-73页 |
| 5.2.2 EFVS空速误指示(未通告)且丧失失速或超速告警 | 第73-76页 |
| 5.2.3 EFVS符号画面上EVS图像叠加误显示 | 第76-78页 |
| 5.3 安全性分析结果对比验证 | 第78-86页 |
| 5.3.1 运算结果及误差对比分析 | 第78-85页 |
| 5.3.2 基于概率模型检验的形式化方法分析 | 第85-86页 |
| 5.4 结论 | 第86-87页 |
| 5.5 小结 | 第87-88页 |
| 第六章 总结与展望 | 第88-90页 |
| 6.1 总结 | 第88-89页 |
| 6.2 研究展望 | 第89-90页 |
| 参考文献 | 第90-95页 |
| 附录A 缩略词 | 第95-97页 |
| 致谢 | 第97-98页 |
| 作者简介 | 第98页 |
