基于混合故障注入的列控车载设备测试方法研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 绪论 | 第11-16页 |
| ·选题的目的和意义 | 第11页 |
| ·CTCS列控系统简介 | 第11-12页 |
| ·列控系统测试现状研究 | 第12-13页 |
| ·故障注入技术的国内外研究现状 | 第13-14页 |
| ·论文的研究内容与结构安排 | 第14-16页 |
| 2 故障注入技术研究 | 第16-27页 |
| ·故障注入的目的和意义 | 第16页 |
| ·故障注入的相关术语 | 第16-18页 |
| ·故障注入结构和原理 | 第18-19页 |
| ·故障注入的结构 | 第18页 |
| ·故障注入的原理 | 第18-19页 |
| ·故障注入分类 | 第19-23页 |
| ·故障注入方法比较 | 第21-23页 |
| ·典型的故障注入平台研究 | 第23-26页 |
| ·MESSALINE故障注入平台 | 第23-24页 |
| ·CBTC故障注入平台 | 第24-26页 |
| ·本章小节 | 第26-27页 |
| 3 基于故障注入的安全测试方法研究 | 第27-43页 |
| ·安全测试研究 | 第27-28页 |
| ·安全测试概念和方法 | 第27-28页 |
| ·系统安全分析方法 | 第28-33页 |
| ·失效模式和影响分析 | 第29页 |
| ·故障树分析 | 第29-31页 |
| ·失效逻辑分析方法 | 第31-33页 |
| ·基于CPN的故障模型建模 | 第33-36页 |
| ·有色petri网(CPN)理论 | 第33页 |
| ·CPN的层次化建模方法 | 第33-35页 |
| ·CPN的性质 | 第35页 |
| ·CPN TOOLS | 第35-36页 |
| ·测试案例生成 | 第36-42页 |
| ·测试案例 | 第36页 |
| ·基于模型的测试案例生成 | 第36-37页 |
| ·基于CPN状态图的测试充分性准则 | 第37-38页 |
| ·完全路径覆盖测试方法 | 第38-40页 |
| ·基于CPN状态空间的测试案例生成方法 | 第40-42页 |
| ·本章小节 | 第42-43页 |
| 4 列控车载设备的安全测试方法 | 第43-58页 |
| ·车载设备介绍 | 第43-44页 |
| ·车载设备安全测试方法流程 | 第44-45页 |
| ·车载设备安全分析 | 第45-53页 |
| ·车载设备安全功能FMEA | 第45-49页 |
| ·车载设备安全功能FMEA | 第49-53页 |
| ·车载设备CPN故障模型 | 第53-55页 |
| ·车载设备分层建模 | 第54-55页 |
| ·基于CPN的车载设备安全测试案例生成 | 第55-57页 |
| ·本章小节 | 第57-58页 |
| 5 车载设备安全测试平台设计实现 | 第58-77页 |
| ·安全测试平台需求分析 | 第58-63页 |
| ·针对车载内部功能的故障 | 第58-59页 |
| ·针对接口的故障 | 第59-61页 |
| ·实际发生的故障 | 第61页 |
| ·故障注入功能需求分析 | 第61-63页 |
| ·安全测试平台结构 | 第63-65页 |
| ·车载设备故障注入层次划分 | 第63-64页 |
| ·安全测试平台总体结构 | 第64-65页 |
| ·安全测试平台设计 | 第65-70页 |
| ·故障注入器设计 | 第65-67页 |
| ·速度信号发生器响应模块设计 | 第67页 |
| ·故障模型库设计 | 第67-70页 |
| ·速度传感器故障注入实例分析 | 第70-76页 |
| ·测试方案设计 | 第71-72页 |
| ·测试过程说明 | 第72-75页 |
| ·测试结果分析与结论 | 第75-76页 |
| ·本章小节 | 第76-77页 |
| 6 结论与展望 | 第77-79页 |
| ·工作总结 | 第77-78页 |
| ·研究展望 | 第78-79页 |
| 参考文献 | 第79-81页 |
| 图索引 | 第81-83页 |
| 表索引 | 第83-85页 |
| 作者简历 | 第85-89页 |
| 学位论文数据集 | 第89页 |
