| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 综述 | 第10-20页 |
| ·论文的选题目的和意义 | 第10-11页 |
| ·国内外列控系统简介 | 第11-17页 |
| ·国外列控系统发展情况简介 | 第11-13页 |
| ·欧洲ETCS系统概述 | 第13-14页 |
| ·中国CTCS系统概述 | 第14-17页 |
| ·国内外列控系统形式化建模方法研究状况 | 第17页 |
| ·国内外列控仿真测试系统研究状况 | 第17-18页 |
| ·论文的主要工作 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 2 CTCS-3级列控系统车载设备介绍及其建模方法分析 | 第20-36页 |
| ·CTCS-3级列控车载设备介绍 | 第20-31页 |
| ·CTCS-3级列控系统概述 | 第20-22页 |
| ·CTCS-3级列控车载设备结构和功能分析 | 第22-25页 |
| ·CTCS-3级列控车载设备主要运营场景分析 | 第25-31页 |
| ·UML面向对象建模方法 | 第31-34页 |
| ·面向对象方法 | 第31-32页 |
| ·统一建模语言UML | 第32-34页 |
| ·采用UML对CTCS-3级列控车载设备建模的优势 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 3 基于UML的CTCS-3级列控车载设备建模 | 第36-47页 |
| ·系统需求分析 | 第37-39页 |
| ·静态结构分析 | 第39-42页 |
| ·动态行为分析 | 第42-46页 |
| ·本章小结 | 第46-47页 |
| 4 CTCS-3级列控车载设备仿真和测试平台的设计与实现 | 第47-70页 |
| ·车载设备仿真和测试平台的设计 | 第47-63页 |
| ·外部环境构建 | 第48-50页 |
| ·外部通信设计 | 第50-53页 |
| ·体系结构设计 | 第53-56页 |
| ·功能模块设计 | 第56-63页 |
| ·车载设备仿真和测试平台的实现 | 第63-69页 |
| ·本章小结 | 第69-70页 |
| 5 CTCS-3级列控车载设备系统测试方法简要设计 | 第70-77页 |
| ·测试案例的设计 | 第71-72页 |
| ·测试序列的设计 | 第72-76页 |
| ·本章小结 | 第76-77页 |
| 6 总结与展望 | 第77-80页 |
| 参考文献 | 第80-82页 |
| 作者简历 | 第82-86页 |
| 学位论文数据集 | 第86页 |
