• 查询稿件
  • 获取最新论文
  • 知晓行业信息
官方微信 欢迎关注

城轨CBTC系统联锁表数据安全逻辑验证方法研究

张淼, 黄友能, 任啸宇

张淼, 黄友能, 任啸宇. 城轨CBTC系统联锁表数据安全逻辑验证方法研究[J]. 铁路计算机应用, 2015, 24(5): 53-57.
引用本文: 张淼, 黄友能, 任啸宇. 城轨CBTC系统联锁表数据安全逻辑验证方法研究[J]. 铁路计算机应用, 2015, 24(5): 53-57.
ZHANG Miao, HUANG Youneng, REN Xiaoyu. Data safety logic verification method of interlock table for Urban Transit CBTC System[J]. Railway Computer Application, 2015, 24(5): 53-57.
Citation: ZHANG Miao, HUANG Youneng, REN Xiaoyu. Data safety logic verification method of interlock table for Urban Transit CBTC System[J]. Railway Computer Application, 2015, 24(5): 53-57.

城轨CBTC系统联锁表数据安全逻辑验证方法研究

基金项目: 北京市科委项目(KWH13001531); 轨道交通北京实验室项目(W13H100061)
详细信息
    作者简介:

    张淼,在读硕士研究生;黄友能,副教授。

  • 中图分类号: U132.7:TP39

Data safety logic verification method of interlock table for Urban Transit CBTC System

  • 摘要: 联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。
    Abstract: The interlock safety logic was reflected by interlock table. This paper proposed a verification method based on CSP (Communicating Sequential Processes) to solve the data safety logic verification problem of interlock table, modeled data of the interlock table at first, abstracted five processes of dispatchers, switch, signal machine, segment and interlocking controller from the data of interlocking table, and further modeled the processes respectively. The correctness of the model was verified from the functional and safety aspects. At last, an example of data safety logic verification with the interlock table in Yi Zhuang Station of Beijing Metro illustrated the feasibility of the method.
  • [1] 宿浩峰.城市轨道交通联锁系统建模的研究[D].杭州:浙江大学,2012.
    [2] C.A.R.Hoare.Communicating Sequential Processes[Z]. Pren-tice Hall, Inc., Upper Saddle River, NJ, USA, 1985.
    [3] 孙 麒,张云华.基于CSP的形式化方法研究[J].浙江理工大学学报,2009,26(4):557-560.
    [4] 程 梁.基于UML的联锁软件建模与仿真研究[D].北京:北京交通大学,2007.
    [5] 屈延文.形式语义学基础与形式说明[M].北京:科学出版社,2009:418-466.
    [6] Michael Leuschel, Michael Butler. ProB: A Model Checker for B[D]. Department of Electronics and Computer Science, Univer-sity of Southampton, 2014.
    [7] 赵岭忠,张 超,等.基于ASP的CSP并发系统验证研究[J].计算机科学,2012,39(12):125-132.
  • 期刊类型引用(3)

    1. 武群,李根,张竑川,余文博,彭博,陆续. 联调联试指挥部管理系统研究. 铁路技术创新. 2023(06): 43-49 . 百度学术
    2. 端嘉盈,王万齐,沈海燕. 高铁联调联试数据智能分析及管理总体设计研究. 铁道标准设计. 2020(11): 157-161 . 百度学术
    3. 杨礼,武明生,赵方霞,熊伟. 高速铁路灾害监测系统误报警分析及改进措施探讨. 中国铁路. 2019(07): 81-85 . 百度学术

    其他类型引用(1)

计量
  • 文章访问数:  84
  • HTML全文浏览量:  0
  • PDF下载量:  88
  • 被引次数: 4
出版历程
  • 收稿日期:  2014-10-18
  • 刊出日期:  2015-05-24

目录

    /

    返回文章
    返回