| 摘要 | 第1-7页 |
| abstract | 第7-11页 |
| 第1章 绪论 | 第11-20页 |
| ·选题背景及意义 | 第11-12页 |
| ·安全系统软件研究现状 | 第12-16页 |
| ·安全关键性软件开发概论 | 第12-14页 |
| ·传统软件开发流程与基于SCADE软件开发流程比较 | 第14-15页 |
| ·国内外研究现状 | 第15-16页 |
| ·安全系统分析方法现状 | 第16-17页 |
| ·本文内容及结构安排 | 第17-18页 |
| ·技术路线 | 第18-20页 |
| 第2章 SCADE及安全分析方法概述 | 第20-31页 |
| ·SCADE软件开发环境介绍 | 第20-27页 |
| ·需求建模方法 | 第20-24页 |
| ·模型验证技术 | 第24-26页 |
| ·代码生成 | 第26-27页 |
| ·模型安全分析方法DCCA | 第27-28页 |
| ·失效自动机 | 第27-28页 |
| ·关键集/最小关键集 | 第28页 |
| ·DCCA与SCADE | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 第3章 基于SCADE的测速定位系统设计与建模 | 第31-56页 |
| ·测速定位系统的功能需求与总体设计 | 第31-36页 |
| ·测速定位系统功能需求 | 第31-32页 |
| ·列车测速定位方法 | 第32-34页 |
| ·列车测速定位系统总体设计 | 第34-36页 |
| ·轮径校正子系统设计与建模 | 第36-39页 |
| ·列车位置初始化子系统设计与建模 | 第39-41页 |
| ·列车位置确定子系统设计与建模 | 第41-52页 |
| ·速度位置测量模块设计与建模 | 第42-45页 |
| ·应答器位置校正模块设计与建模 | 第45-46页 |
| ·列车空滑状态判断模块设计与建模 | 第46-47页 |
| ·列车运行状态设计与建模 | 第47-52页 |
| ·列车定位失效管理子系统设计与建模 | 第52-53页 |
| ·测速定位系统总体模型 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 第4章 基于SCADE的测速定位系统安全性分析 | 第56-71页 |
| ·SCADE的系统仿真与验证方法 | 第56-57页 |
| ·定位系统模型的仿真与验证 | 第57-64页 |
| ·轮径校正子系统模型仿真与验证 | 第57-60页 |
| ·列车位置初始化子系统模型仿真 | 第60-61页 |
| ·列车位置确定子系统模型仿真与验证 | 第61-62页 |
| ·列车定位失效管理子系统模型仿真与验证 | 第62-64页 |
| ·基于DCCA测试定位模型安全性分析 | 第64-69页 |
| ·DCCA在列车测速定位模型中的应用 | 第64-68页 |
| ·DCCA安全分析结果 | 第68-69页 |
| ·代码自动生成 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第5章 总结与展望 | 第71-73页 |
| ·总结 | 第71页 |
| ·前景展望 | 第71-73页 |
| 致谢 | 第73-74页 |
| 参考文献 | 第74-78页 |
| 附录 | 第78-80页 |
| 攻读硕士学位期间发表的论文 | 第80页 |