| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 目录 | 第8-12页 |
| 1 引言 | 第12-20页 |
| ·城市轨道交通ATP系统的研究现状 | 第12-16页 |
| ·城市轨道交通ATP系统功能及组成 | 第12-13页 |
| ·城市轨道交通ATP系统的控制模式 | 第13-14页 |
| ·引进的ATP系统在我国城市轨道交通中的应用 | 第14-15页 |
| ·国产ATP系统在我国城市轨道交通中的应用 | 第15-16页 |
| ·面向对象的建模方法 | 第16-17页 |
| ·统一建模语言UML | 第16-17页 |
| ·使用UML对车载ATP进行分析的必要性 | 第17页 |
| ·文章的主要内容 | 第17-20页 |
| 2 ATP车载软件的分析与设计 | 第20-36页 |
| ·基于TMS570的二乘二取二安全计算平台 | 第20-23页 |
| ·基于Cortex-R4内核的TMS570处理器 | 第20-21页 |
| ·FlexRay高速实时总线协议 | 第21页 |
| ·二乘二取二平台结构 | 第21-23页 |
| ·ATC系统结构以及各子系统间接口关系 | 第23-26页 |
| ·ATC系统的结构 | 第23-24页 |
| ·车载ATP子系统与其它车载子系统的接口关系 | 第24-26页 |
| ·需求分析方法 | 第26-27页 |
| ·软件的生命周期模型 | 第26-27页 |
| ·需求分析方法 | 第27页 |
| ·车载ATP子系统的安全性需求 | 第27-28页 |
| ·车载子系统的功能性需求 | 第28-35页 |
| ·车载子系统的交互 | 第28-30页 |
| ·列车的运行控制 | 第30-32页 |
| ·列车的内部信息处理 | 第32-33页 |
| ·列车的安全防护 | 第33-34页 |
| ·车载平台的管理 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 3 软件的模型结构设计与实现 | 第36-62页 |
| ·软件设计方法 | 第36-37页 |
| ·软件蓝图法 | 第36页 |
| ·面向对象的可视化建模工具Rational Rose | 第36-37页 |
| ·软件系统模型设计 | 第37-41页 |
| ·车载ATP系统用例图的建立 | 第37-38页 |
| ·车载ATP系统类图的建立 | 第38-39页 |
| ·车载ATP系统顺序图的建立 | 第39-40页 |
| ·系统活动图的建立 | 第40-41页 |
| ·核心功能子模块建模 | 第41-45页 |
| ·外部信息处理功能模块建模 | 第42-43页 |
| ·超速防护功能模块建模 | 第43-44页 |
| ·模式切换功能模块建模 | 第44-45页 |
| ·ATP车载软件的安全性设计 | 第45-46页 |
| ·数据流防护 | 第45页 |
| ·安全设计准则 | 第45-46页 |
| ·软件层次结构 | 第46-48页 |
| ·操作系统选型及移植 | 第48-54页 |
| ·操作系统选型的选型 | 第48-50页 |
| ·μCOS-Ⅱ在TMS570上的移植 | 第50-54页 |
| ·超速防护的实现 | 第54-56页 |
| ·目标距离模式曲线计算 | 第54-55页 |
| ·目标距离模式曲线生成 | 第55-56页 |
| ·软件的具体实现 | 第56-60页 |
| ·系统初始化模块 | 第56-57页 |
| ·数据接收任务 | 第57-58页 |
| ·逻辑运算任务 | 第58-59页 |
| ·数据发送任务 | 第59-60页 |
| ·本章小节 | 第60-62页 |
| 4 试验平台的构建 | 第62-78页 |
| ·验证平台的结构 | 第62页 |
| ·列车功能模拟平台的构建与实现 | 第62-72页 |
| ·动力及传动构件 | 第63-64页 |
| ·处理器 | 第64-66页 |
| ·稳压电路 | 第66页 |
| ·电机驱动 | 第66-68页 |
| ·数据的显示 | 第68页 |
| ·红外接收电路 | 第68-69页 |
| ·无线串口 | 第69-70页 |
| ·接口子系统的模拟模块 | 第70-72页 |
| ·人工控制模块 | 第72页 |
| ·地面设备功能模拟平台的构建与实现 | 第72-74页 |
| ·地面设备功能模拟平台需求 | 第72-73页 |
| ·地面设备功能模拟平台的构建 | 第73-74页 |
| ·联锁功能模拟系统的构建与实现 | 第74-76页 |
| ·联锁功能模拟平台需求 | 第74页 |
| ·联锁功能模拟平台的实现 | 第74-76页 |
| ·本章小结 | 第76-78页 |
| 5 软件的验证 | 第78-86页 |
| ·测试方法 | 第78-79页 |
| ·黑盒测试 | 第78-79页 |
| ·故障注入法 | 第79页 |
| ·单个功能模块的测试 | 第79-83页 |
| ·因果图及判别表的生成 | 第80页 |
| ·测试用例的生成 | 第80-82页 |
| ·模式转换功能模块的测试结果 | 第82-83页 |
| ·总体测试结果 | 第83-84页 |
| ·常态功能测试及其结果 | 第83-84页 |
| ·安全性测试及其结果 | 第84页 |
| ·本章小结 | 第84-86页 |
| 6 总结与展望 | 第86-88页 |
| 参考文献 | 第88-90页 |
| 附录A | 第90-98页 |
| 附录B | 第98-112页 |
| 附录C | 第112-114页 |
| 附录D | 第114-116页 |
| 图索引 | 第116-118页 |
| 表索引 | 第118-120页 |
| 作者简历 | 第120-124页 |
| 学位论文数据集 | 第124页 |