| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-18页 |
| ·论文研究背景及意义 | 第10-11页 |
| ·研究背景 | 第10-11页 |
| ·研究意义 | 第11页 |
| ·国内外列控系统的研究发展 | 第11-15页 |
| ·国外列控系统的研究发展 | 第12-13页 |
| ·国内列控系统的研究发展 | 第13-15页 |
| ·CTCS-3级列控系统仿真测试平台简介 | 第15页 |
| ·CTCS-3级列控系统仿真测试平台轨旁子系统 | 第15-16页 |
| ·论文主要工作及文章结构 | 第16-18页 |
| 2 基于SDL的建模及验证技术简介 | 第18-25页 |
| ·SDL概述 | 第18页 |
| ·SDL系统结构和语法 | 第18-20页 |
| ·SDL时钟处理 | 第20-21页 |
| ·开发工具Telelogic TAU | 第21-22页 |
| ·基于SDL的建模及验证的总体思路及其优点 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 3 轨旁子系统的设计分析 | 第25-36页 |
| ·轨旁子系统总体设计 | 第25-26页 |
| ·系统功能需求分析 | 第25-26页 |
| ·系统模块划分 | 第26页 |
| ·轨旁子系统与其它子系统的接口 | 第26-29页 |
| ·轨旁子系统与仿真管理器 | 第27-28页 |
| ·轨旁子系统与车载子系统 | 第28页 |
| ·轨旁子系统与列控中心子系统 | 第28页 |
| ·轨旁子系统与联锁子系统 | 第28-29页 |
| ·轨旁子系统工作状态 | 第29-32页 |
| ·系统内部仿真流程图 | 第29-30页 |
| ·轨旁子系统与外部子系统顺序图 | 第30-32页 |
| ·轨旁数据格式定义 | 第32-34页 |
| ·本章小结 | 第34-36页 |
| 4 基于SDL的建模及验证 | 第36-57页 |
| ·基于SDL的轨旁子系统的描述 | 第36-48页 |
| ·SDL数据包定义 | 第37页 |
| ·SDL系统层描述 | 第37-39页 |
| ·SDL模块层描述 | 第39-41页 |
| ·SDL进程层描述 | 第41-48页 |
| ·基于SDL的轨旁子系统的验证 | 第48-56页 |
| ·SDL模型静态分析 | 第49页 |
| ·SDL代码仿真调试 | 第49-54页 |
| ·SDL模型动态验证 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 5 轨旁子系统的软件实现与应用 | 第57-75页 |
| ·轨旁子系统逻辑功能实现 | 第57-64页 |
| ·搜索轨道电路占用功能 | 第57-62页 |
| ·故障设置功能 | 第62-64页 |
| ·轨旁子系统的SDL模型到C代码的转换 | 第64-69页 |
| ·SDL模型到C代码的自动生成 | 第65-66页 |
| ·SDL与操作系统的集成 | 第66-69页 |
| ·环境函数修改设计 | 第69页 |
| ·用户界面设计 | 第69-72页 |
| ·轨旁子系统软件在CTCS-3级列控系统仿真测试平台的应用 | 第72-74页 |
| ·本章小结 | 第74-75页 |
| 6 结论与展望 | 第75-77页 |
| ·工作总结 | 第75页 |
| ·工作展望 | 第75-77页 |
| 参考文献 | 第77-79页 |
| 图索引 | 第79-81页 |
| 表索引 | 第81-82页 |
| 作者简历 | 第82-84页 |
| 学位论文数据集 | 第84页 |