基于模型的轨旁仿真子系统验证及代码自动生成

来源 :北京交通大学 | 被引量 : 1次 | 上传用户:ghostraider
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前我国已经进入了高铁时代,计算机、通信、自动控制等各种先进技术被越来越多的应用于列车运行控制系统,列车运行控制系统作为一个安全苛求系统,在保障行车安全的基础上,如何不断提高列车的运行速度和运输效率,一直以来都是铁路研究的重点,因此,必须对作为安全保障的CTCS-3级列车运行控制系统进行持续深入的研究。本文依托于CTCS-3级列控系统仿真测试平台,该平台主要用于对CTCS-3级列车运行控制系统进行系统研究、方案比对以及线路改造数据的实验模拟等,为设备及线路改造后的行车状况提供实验室环境下的仿真测试。本文针对CTCS-3级列控系统仿真测试平台的关键设备轨旁子系统进行了深入的研究。采用规范说明和描述语言(SDL)对轨旁子系统进行建模分析以及相关的验证工作,并在计算机软件环境下实现轨旁功能仿真。主要内容如下:首先依据CTCS-3级列控系统系统需求规范对轨旁子系统进行系统功能需求分析,从而确定轨旁子系统与仿真测试平台中其他各子系统的通信交互关系,以及轨旁子系统自身的仿真功能。在此基础上,使用规范说明和描述语言SDL对轨旁子系统从系统图、功能块图和进程图的层面上建立了轨旁子系统的图形化模型,利用Telelogic TAU工具对所建模型进行协同仿真和遍历验证,验证了该SDL系统模型的正确性。最后,将构建的轨旁子系统的SDL模型转换为C语言代码,并应用于CTCS-3级列控系统仿真测试平台的轨旁子系统中,测试结果表明,基于模型自动生成的代码实现了轨旁仿真子系统应具备的功能,达到了预期目标,能满足CTCS-3级列控系统仿真测试平台的要求。
其他文献
随着现代通信网络及数据传输的飞速发展,现有的通信波段将很快用完,研究发展新的波段就成为一个紧迫任务。锁模拉曼光纤激光器作为基于光纤中受激拉曼散射(stimulated Raman sca
运动目标光学成像测量是空间目标交会对接、光学遥感与测绘、天基目标监视等应用过程中的共性问题。开展光学成像测量系统的研究工作,对成像链路、子系统进行分析与建模,实现
区间闭塞技术经历了几十年的发展之后,已经能有效地防止列车追尾以及正面冲突事故,保证列车在区间内的安全运行,因此对区间闭塞技术的学习也成为铁路信号专业学生和铁路员工
烟草行业作为国民经济体中的一大支柱性产业,对我国经济发展有着很大的贡献。烟草物流作为烟草行业的核心要素,在行业发展中起着至关重要的作用。近年来,随着控烟政策的出台以及烟草市场竞争日益加剧,物流成本控制便成了烟草行业关注的要点。此外,国内烟草物流现代化水平逐年提升,现行的传统成本核算方式已不能满足当下烟草行业物流管控的需求。因此,如何让物流真正成为烟草行业的“第三利润源”,物流成本分析和控制将是关键
学位
随着我国经济的发展,高速铁路也顺应形势得到了很大发展。在车辆速度不断提高的同时,安全问题也是一个需要关心的问题。轮轨黏着问题随着车速的提高显得越加突出。为了保证列
创业型大学是一种全新办学模式,强调创造知识、转让技术、服务社会等职能.基于英国创业型大学建设的政治背景、经济背景、社会背景、教育背景等时代背景,剖析英国创业型大学
视觉传感器具有感知速度快、鲁棒性高、实现简单等优点,能够为移动机器人提供丰富的图像信息,对研究基于视觉系统的移动机器人定位具有重要意义。然而由于视觉传感器获取的图