基于接口模型的失效传播分析及其在列控系统中的应用
| 致谢 | 第5-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 引言 | 第11-21页 |
| 1.1 研究背景和意义 | 第11-12页 |
| 1.2 国内外研究现状 | 第12-18页 |
| 1.2.1 列控系统安全分析方法研究现状 | 第12-16页 |
| 1.2.2 基于模型的安全分析研究现状 | 第16-18页 |
| 1.3 论文主要内容及组织架构 | 第18-20页 |
| 1.4 本章小结 | 第20-21页 |
| 2 基于模型的安全分析方法介绍 | 第21-31页 |
| 2.1 概述 | 第21-23页 |
| 2.1.1 基本定义 | 第21页 |
| 2.1.2 故障、差错、失效的定义 | 第21-22页 |
| 2.1.3 故障、差错及失效的关系 | 第22-23页 |
| 2.2 系统安全分析过程 | 第23-25页 |
| 2.3 基于模型的安全分析方法 | 第25-29页 |
| 2.3.1 故障注入模型 | 第26-27页 |
| 2.3.2 失效传播模型 | 第27-28页 |
| 2.3.3 混合模型方法 | 第28-29页 |
| 2.4 本章小结 | 第29-31页 |
| 3 接口与失效传播建模 | 第31-41页 |
| 3.1 接口模型概述 | 第31-34页 |
| 3.1.1 接口的介绍 | 第31-32页 |
| 3.1.2 自动机模型 | 第32-34页 |
| 3.2 接口模型的语法和语义 | 第34-37页 |
| 3.3 基于接口自动机的失效传播模型 | 第37-39页 |
| 3.3.1 建模原则 | 第37-38页 |
| 3.3.2 接口模型的建立方法 | 第38页 |
| 3.3.3 失效传播模型的建立方法 | 第38-39页 |
| 3.4 本章个结 | 第39-41页 |
| 4 失效分析的算法辅助 | 第41-57页 |
| 4.1 割集和最小割集的定义 | 第41页 |
| 4.2 接口自动机的文件格式 | 第41-42页 |
| 4.3 最小割集生成方法 | 第42-55页 |
| 4.3.1 状态空间重建策略 | 第42-44页 |
| 4.3.2 启发式路径搜索算法 | 第44-50页 |
| 4.3.3 算法演示 | 第50-55页 |
| 4.4 本章小结 | 第55-57页 |
| 5 案例分析 | 第57-87页 |
| 5.1 案例背景介绍 | 第57-59页 |
| 5.2 RBC切换场景接口建模 | 第59-68页 |
| 5.2.1 RBC切换场景的分析 | 第60-62页 |
| 5.2.2 正常交接状态下的接口模型 | 第62-66页 |
| 5.2.3 通信失效的接口模型 | 第66-68页 |
| 5.3 算法分析与应用 | 第68-86页 |
| 5.3.1 车载设备故障 | 第68-74页 |
| 5.3.2 应答器故障 | 第74-79页 |
| 5.3.3 RBC故障 | 第79-86页 |
| 5.4 本章小结 | 第86-87页 |
| 6 总结与展望 | 第87-89页 |
| 6.1 工作总结 | 第87页 |
| 6.2 研究展望 | 第87-89页 |
| 参考文献 | 第89-95页 |
| 图索引 | 第95-97页 |
| 表索引 | 第97-101页 |
| 学位论文数据集 | 第101页 |
