车车通信系统中车地控制机理分析及验证
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

U284.36

基金项目:

中国铁道科学研究院通信信号研究所重点计划(1852TH0503;1851TH6602)


Analysis and Verification of Control Mechanism between Train and Wayside Equipment in VBTC System
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方式提高了系统效率的同时,也成为系统的关键安全因素。为了实现车车通信系统中的车地设备安全控制,提出唯一秘钥实现控制流程,为了验证其安全性,使用基于标签转移系统的形式化方法进行验证。基于车车通信系统的控制机理和车地控制场景,建立唯一秘钥的车地控制流程的形式化模型,并LTSA软件对模型进行安全检测,最后通过实例验证了车地控制流程的可行性和有效性。

    Abstract:

    The vehicle based train control (VBTC) system is a kind of train centric control system, the interlocking system in the wayside is removed, and the train communicates directly with the ground object controller to control the point machine. This kind of direct communication mode improves the system efficiency, and it also becomes the key safety factor in the system. In order to realize the safe vehicle-to-wayside control in the VBTC system, the only key implementation is proposed to fulfill control process, the formal verification method by the label transfer system (LTS) is used to verify its safety. Based on the control mechanism in the VBTC system and vehicle-to-wayside control scene, the formal model of vehicle-to-wayside control process based on the only key implementation to is established by the formal language, the LTSA software is used to carry out safety inspection of the model, and finally the feasibility and validity of the vehicle control process by example is verified.

    参考文献
    相似文献
    引证文献
引用本文

冯浩楠. 车车通信系统中车地控制机理分析及验证[J]. 科学技术与工程, 2020, 20(13): 5345-5349.
Feng Haonan. Analysis and Verification of Control Mechanism between Train and Wayside Equipment in VBTC System[J]. Science Technology and Engineering,2020,20(13):5345-5349.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2019-08-02
  • 最后修改日期:2019-12-12
  • 录用日期:2019-10-09
  • 在线发布日期: 2020-06-09
  • 出版日期:
×
律回春渐,新元肇启|《科学技术与工程》编辑部恭祝新岁!
亟待确认版面费归属稿件,敬请作者关注