原文传递
基于模型的轨旁仿真子系统验证及代码自动生成
| 论文题名： | 基于模型的轨旁仿真子系统验证及代码自动生成 |
| 关键词： | 铁路运输;列车控制;计算机技术;仿真模型 |
| 摘要： | 目前我国已经进入了高铁时代，计算机、通信、自动控制等各种先进技术被越来越多的应用于列车运行控制系统，列车运行控制系统作为一个安全苛求系统，在保障行车安全的基础上，如何不断提高列车的运行速度和运输效率，一直以来都是铁路研究的重点，因此，必须对作为安全保障的CTCS-3级列车运行控制系统进行持续深入的研究。本文依托于CTCS-3级列控系统仿真测试平台，该平台主要用于对CTCS-3级列车运行控制系统进行系统研究、方案比对以及线路改造数据的实验模拟等，为设备及线路改造后的行车状况提供实验室环境下的仿真测试。 本文针对CTCS-3级列控系统仿真测试平台的关键设备轨旁子系统进行了深入的研究。采用规范说明和描述语言(SDL)对轨旁子系统进行建模分析以及相关的验证工作，并在计算机软件环境下实现轨旁功能仿真。首先依据CTCS-3级列控系统系统需求规范对轨旁子系统进行系统功能需求分析，从而确定轨旁子系统与仿真测试平台中其他各子系统的通信交互关系，以及轨旁子系统自身的仿真功能。在此基础上，使用规范说明和描述语言SDL对轨旁子系统从系统图、功能块图和进程图的层面上建立了轨旁子系统的图形化模型，利用Telelogic TAU工具对所建模型进行协同仿真和遍历验证，验证了该SDL系统模型的正确性。最后，将构建的轨旁子系统的SDL模型转换为C语言代码，并应用于CTCS-3级列控系统仿真测试平台的轨旁子系统中，测试结果表明，基于模型自动生成的代码实现了轨旁仿真子系统应具备的功能，达到了预期目标，能满足CTCS-3级列控系统仿真测试平台的要求。 |
| 作者： | 刘凌卉 |
| 专业： | 交通信息工程及控制 |
| 导师： | 李开成 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2013 |
| 正文语种： | 中文 |
检索历史
应用推荐
