城市轨道交通CBTC数据管理单元安全关键软件设计与开发
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-18页 |
| ·选题的目的和意义 | 第11-12页 |
| ·研究背景 | 第12-13页 |
| ·安全关键软件开发方法研究现状 | 第13-16页 |
| ·论文的研究内容与结构安排 | 第16-18页 |
| 2 CBTC系统中DSU子系统原理设计 | 第18-28页 |
| ·设计思想 | 第18-19页 |
| ·数据管理单元(DSU)子系统需求分析 | 第19-21页 |
| ·数据管理单元(DSU)应用软件需求分析 | 第21-23页 |
| ·DSU应用软件概要(结构)设计 | 第23-27页 |
| ·软件蓝图方法论 | 第23-24页 |
| ·结构化的功能模块划分 | 第24-25页 |
| ·DSU应用软件子模块的面向对象设计 | 第25-27页 |
| ·本章小结 | 第27-28页 |
| 3 DSU应用软件安全核技术 | 第28-52页 |
| ·DSU安全核在Vxworks上的实现 | 第28-37页 |
| ·Vxworks的I/O控制管理 | 第28-32页 |
| ·DSU安全核的结构设计 | 第32-34页 |
| ·DSU安全核中各模块的设计 | 第34-37页 |
| ·DSU安全核安全策略的设计 | 第37-51页 |
| ·DSU操作动态数据库文件安全策略的设计 | 第38-42页 |
| ·DSU临时限速设置安全策略的设计 | 第42-44页 |
| ·DSU临时限速存储安全策略的设计 | 第44-46页 |
| ·DSU临时限速取消安全策略的设计 | 第46-48页 |
| ·DSU静态线路数据存储安全策略的设计 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 4 DSU应用软件安全测试 | 第52-65页 |
| ·软件故障注入技术 | 第52-53页 |
| ·测试环境的建立 | 第53-56页 |
| ·PC机操作界面的功能 | 第54-56页 |
| ·Vxworks目标机的功能与配置 | 第56页 |
| ·测试案例和测试结果 | 第56-64页 |
| ·DSU操作动态数据库文件安全策略的测试 | 第56-60页 |
| ·DSU临时限速设置安全策略的测试 | 第60-61页 |
| ·DSU临时限速存储安全策略的测试 | 第61-62页 |
| ·DSU临时限速取消安全策略的测试 | 第62-63页 |
| ·DSU静态线路数据存储安全策略的测试 | 第63-64页 |
| ·测试结果分析 | 第64页 |
| ·本章小结 | 第64-65页 |
| 5 结论 | 第65-66页 |
| 参考文献 | 第66-68页 |
| 图索引 | 第68-70页 |
| 表索引 | 第70-71页 |
| 作者简历 | 第71-73页 |
| 学位论文数据集 | 第73页 |
