基于防危技术的列控车载设备软件安全研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-9页 |
| 序 | 第9-12页 |
| 1 引言 | 第12-19页 |
| ·列车运行控制系统 | 第12-15页 |
| ·国内外列控系统发展现状 | 第12-13页 |
| ·CTCS-3级列控系统及其车载设备 | 第13-15页 |
| ·研究背景和意义 | 第15-17页 |
| ·本文主要工作 | 第17页 |
| ·本文章节安排 | 第17-19页 |
| 2 防危技术的理论及应用 | 第19-31页 |
| ·软件的防危性与可靠性 | 第19-21页 |
| ·防危性与可靠性的特点与区别 | 第19-20页 |
| ·软件防危性目前研究的状况 | 第20-21页 |
| ·防危核理论及模型结构 | 第21-24页 |
| ·防危壳技术在实时操作系统中的应用 | 第24-26页 |
| ·反射技术在防危技术中的应用 | 第26-28页 |
| ·反射的基本概念 | 第26-27页 |
| ·实时系统多层反射机制 | 第27-28页 |
| ·防危策略的通用性 | 第28-29页 |
| ·防危核的安全性保证 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 3 防危技术在列控车载设备中的设计应用 | 第31-62页 |
| ·防危核在 VxWorks上的实现 | 第31-40页 |
| ·VxWorks简介 | 第31页 |
| ·VxWorks的I/O控制管理 | 第31-36页 |
| ·车载设备的防危核的结构设计 | 第36-39页 |
| ·防危核的各模块设计 | 第39-40页 |
| ·防危核防危策略的生成 | 第40-53页 |
| ·列车车门防危策略的生成 | 第41-43页 |
| ·列车模式转换防危策略的生成 | 第43-48页 |
| ·列车超速防护防危策略生成 | 第48-52页 |
| ·几种防危策略的比较 | 第52-53页 |
| ·基于 SMV的防危策略形式化验证 | 第53-61页 |
| ·SMV符号模型验证方法 | 第53-54页 |
| ·基于 SMV的车门控制验证及分析 | 第54-55页 |
| ·基于 SMV的列车模式转换验证及分析 | 第55-57页 |
| ·基于 SMV的列车制动模型验证 | 第57-61页 |
| ·本章小结 | 第61-62页 |
| 4 防危核测试 | 第62-69页 |
| ·测试系统的建立 | 第62-65页 |
| ·操作显示机的功能及配置 | 第63-64页 |
| ·VxWorks目标机的功能及配置 | 第64页 |
| ·操作界面的显示 | 第64-65页 |
| ·测试案例及测试结果 | 第65-67页 |
| ·防危核测试分析 | 第67页 |
| ·本章小结 | 第67-69页 |
| 5 结论 | 第69-70页 |
| 参考文献 | 第70-72页 |
| 图索引 | 第72-73页 |
| 表索引 | 第73-74页 |
| 作者简历 | 第74-76页 |
| 学位论文数据集 | 第76页 |
