我国的铁路正不断地高速发展,尽管高速铁路覆盖率越来越广,但是既有线线路仍然在我国铁路运营体系中占有很大的比例,CTCS-1级列控系统的研究对于优化既有线铁路运营质量和提高列车安全运行具有十分重要的意义。列控系统可以分为车载子系统和地面子系统,C1列控系统并未正式投入运营线路使用,其仍然具有许多需要解决和可挖掘的研究内容。CTCS-1级列控系统是适用于列车运行速度在200km/h以下的新建或改造线路的列控系统,由于其方案的预演属性使得很多方面都没有得到验证,所以在此基础上提出对C1车载子系统的建模仿真研究,通过研究结果对C1技术方案进行验证和尝试提出建设性意见。本文针对C1列控系统存在的问题,提出了基于模型的车载子系统建模仿真研究方案并进行深入研究。车载设备主要负责实时计算目标距离连续速度控制曲线,并且根据生成的曲线对列车进行超速防护。本文的主要研究内容如下:(1)深入研究了C1车载子系统的设备功能和接口关系之后,分析了各功能模块之间的信息交互,根据车载功能和信息交互关系抽象提取出车载子系统的四种关键模块,并提出C1车载子系统在基于模型的建模方法下的建模仿真流程。(2)设计了车载子系统具有的功能模块的总体框架,并对车载子系统的四种关键模块进行分析,设计了它们的内部和外部接口,重点研究了车载ATP模块。(3)使用Simulink/Stateflow建立车载子系统各功能模型,为了模型的完整运行增加了列车仿真模型和行车许可模型。(4)使用MATLAB提供的Simulink测试和验证工具识别模型中隐藏的错误、对模型进行覆盖率检测、对模型进行形式化验证和系统化测试。为了车载子系统各个单独的功能模型能组建成完整的系统模型,本文设计和构造了行车许可场景的整体模型,使得整个系统模型得到仿真运行。在把真实数据应用到系统模型中后输出了仿真结果,并对结果进行了分析。图48幅,表3个,参考文献54篇。