CPN Modeling and Simulation for Onboard TBTC-CBTC System Degradation Scenario

doi:10.19678/j.issn.1000-3428.0061671

Computer Engineering ›› 2022, Vol. 48 ›› Issue (7): 189-198. doi: 10.19678/j.issn.1000-3428.0061671

• Computer Architecture and Software Technology • Previous Articles Next Articles

CPN Modeling and Simulation for Onboard TBTC-CBTC System Degradation Scenario

WANG Xiaoyong^1,2,3, DONG Decun¹, OU Dongxiu²

1. Key Laboratory of Road and Traffic Engineering, Ministry of Education, Tongji University, Shanghai 201804, China;
2. Shanghai Key Laboratory of Rail Infrastructure Durability and System Safety, Tongji University, Shanghai 201804, China;
3. CASCO Signal Co., Ltd., Shanghai 200072, China

Received:2021-05-17 Revised:2021-07-07 Online:2022-07-15 Published:2021-07-13

车载TBTC-CBTC系统降级场景下的CPN建模与仿真

汪小勇^1,2,3, 董德存¹, 欧冬秀²

1. 同济大学道路与交通工程教育部重点实验室, 上海 201804;
2. 同济大学上海市轨道交通结构耐久与系统安全重点实验室, 上海 201804;
3. 卡斯柯信号有限公司, 上海 200072

作者简介:汪小勇(1976—),男,正高级工程师、博士研究生,主研方向为交通运输工程;董德存、欧冬秀,教授、博士。
基金资助:
国家自然科学基金（52172329）；国家重点研发计划（2018YFB1201403）；上海市自然科学基金（22ZR1422200）。

Abstract

Abstract: The Track circuit-Based Train Control(TBTC)-Communication-Based Train Control(CBTC) dual-mode onboard system is the key to realizing rail transit multi-network integration.Its mode switching is characterized by strong randomness and concurrency and directly influences the service availability of onboard signal systems.The degradation of onboard signal system faults leads to the reduction in rail transit resource utilization.The degree of reduction is reflected in the increase in train tracking time interval, which depends on the length of the section and the length of the detection section occupied by the TBTC train.From the perspective of resource allocation, use, and release under different modes, the train tracking operation scenario of the TBTC-CBTC dual-mode redundant onboard signal system is modeled using Colored Petri Network(CPN) during train operation to simulate the randomness of CBTC onboard signal system failure and the influence of system degradation on subsequent trains and accurately describe and analyze the impact on train operation.The typical configuration parameters of urban rail transit projects are substituted into the CPN model for simulation to verify the extent to which mode switching influences the operation interval under the conditions of different lines.Based on the simulation results, when the section length is at most 1 500 m, the train delay can be controlled within 180 s and the delay time will increase with an increase in the section length.

Key words: multi-mode train control system, Track circuit-Based Train Control(TBTC)-Communication-Based Train Control(CBTC) system, Colored Petri Network(CPN), onboard signal degradation, service availability

摘要： 基于轨道电路的列车控制（TBTC）-基于通信的列车控制（CBTC）双模车载系统是实现轨道交通多网融合的关键，其模式间切换具有较强的随机性和并发性，并直接影响车载信号系统的运营可用性。然而，车载信号系统故障降级导致轨道交通资源利用率降低，表现为列车追踪的时间间隔增加，而间隔增加程度取决于区间长度和TBTC列车占用检测区段长度。从不同模式下资源分配、使用和释放角度，在列车运行过程中利用有色Petri网对TBTC-CBTC双模冗余车载信号系统的列车追踪运营场景进行建模，模拟CBTC车载信号系统故障发生的随机性和系统降级对后续列车的影响，精准描述并分析列车运营受影响的情况。将城市轨道交通项目的典型配置参数代入到有色Petri网模型中进行仿真，验证在不同线路下运营间隔受模式切换影响的程度。仿真结果表明，当区间长度小于1 500 m时，列车晚点时间可控制在180 s以内，晚点时间随着区间长度的增加而延长。

关键词: 多模列控系统, 基于轨道电路的列车控制-基于通信的列车控制系统, 有色Petri网, 车载信号降级, 运营可用性

CLC Number:

TB114.3

WANG Xiaoyong, DONG Decun, OU Dongxiu. CPN Modeling and Simulation for Onboard TBTC-CBTC System Degradation Scenario[J]. Computer Engineering, 2022, 48(7): 189-198.

汪小勇, 董德存, 欧冬秀. 车载TBTC-CBTC系统降级场景下的CPN建模与仿真[J]. 计算机工程, 2022, 48(7): 189-198.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/10.19678/j.issn.1000-3428.0061671

http://www.ecice06.com/EN/Y2022/V48/I7/189

Figures/Tables 19

References

[1] 中华人民共和国交通运输部.2020年8月中心城市客运量[EB/OL].[2021-04-15].http://xxgk.mot.gov.cn/2020/jigou/zhghs/202009/t20200921_3468093.html. Ministry of Transport of the People's Republic of China.Centre city traffic on august of 2020[EB/OL].[2021-04-15].http://xxgk.mot.gov.cn/2020/jigou/zhghs/202009/t20200921_3468093.html.(in Chinese)
[2] 何天健, 柏赟, 蔡浩, 等.城市轨道交通系统的运营服务可靠性研究[J].交通运输系统工程与信息, 2015, 15(6):1-5, 45. HO T K, BAI Y, CAI H, et al.Service reliability of urban rail systems[J].Journal of Transportation Systems Engineering and Information Technology, 2015, 15(6):1-5, 45.(in Chinese)
[3] 王玘, 林圣, 杨健维, 等.基于网络分析法的高铁牵引供电系统维修方式决策[J].铁道学报, 2016, 38(1):18-27. WANG Q, LIN S, YANG J W, et al.Maintenance mode decision for traction power supply system of high-speed railway based on analytic network process[J].Journal of the China Railway Society, 2016, 38(1):18-27.(in Chinese)
[4] 沈碧波, 佘维, 叶阳东, 等.一种基于TC-CPN的城轨列车车门故障溯因诊断方法[J].铁道学报, 2016, 38(4):51-58. SHEN B B, SHE W, YE Y D, et al.An abductive diagnosis method for urban rail train door faults based on cyber Petri net of time constraint[J].Journal of the China Railway Society, 2016, 38(4):51-58.(in Chinese)
[5] BOUDI Z, AIT WAKRIME A, COLLART-DUTILLEUL S, et al.Introducing B-sequenced Petri nets as a CPN sub-class for safe train control[C]//Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering.Heraklion, Crete, Greece:SCITEPRESS-Science and Technology Publications, 2019:350-358.
[6] HAN J J, HE T.Modeling and verification of CTCS-3 on-board equipment based on colored Petri net[C]//Proceedings of the 4th International Conference on Communication, Image and Signal Processing.Phuket, Thailand:IOP Publishing, 2019:1-10.
[7] 江磊, 王小敏, 刘一骝, 等.基于动态贝叶斯网络的CTCS3-300T列控车载系统运行可靠性及可用性评估[J].铁道学报, 2020, 42(3):85-92. JIANG L, WANG X M, LIU Y L, et al.DBN-based operational reliability and availability evaluation of CTCS3-300T onboard system[J].Journal of the China Railway Society, 2020, 42(3):85-92.(in Chinese)
[8] 汪小勇.轨道交通多制式冗余列车运行控制系统的可靠性研究[J].城市轨道交通研究, 2020, 23(S2):92-95. WANG X Y.Reliability analys is of multi-mode redundant control system for urban rail transit train operation[J].Urban Mass Transit, 2020, 23(S2):92-95.(in Chinese)
[9] 汪小勇, 董德存, 欧冬秀.轨道交通多模车载信号系统设计[J].城市轨道交通研究, 2020, 23(10):62-66. WANG X Y, DONG D C, OU D X.Research on the design of multimode onboard signal system[J].Urban Mass Transit, 2020, 23(10):62-66.(in Chinese)
[10] 刘烁, 陈俊杰.基于UML的CPN模型在软件测试中的应用[J].计算机工程, 2008, 34(3):119-121. LIU S, CHEN J J.Application of software testing based on CPN model derived from UML modes[J].Computer Engineering, 2008, 34(3):119-121.(in Chinese)
[11] 刘经宇, 朱煜, 尹文生.基于CPN的嵌入式RTOS任务调度建模[J].计算机工程, 2010, 36(21):1-3. LIU J Y, ZHU Y, YIN W S.Embedded RTOS task schedule modeling based on CPN[J].Computer Engineering, 2010, 36(21):1-3.(in Chinese)
[12] 陈旭, 徐中伟, 喻钢.基于有色Petri网的安全构件模型[J].计算机工程, 2008, 34(22):165-167. CHEN X, XU Z W, YU G.Safety-component model based on colored Petri net[J].Computer Engineering, 2008, 34(22):165-167.(in Chinese)
[13] 周月明, 杜玉越, 刘伟.基于Petri网的容错系统分层建模[J].计算机工程, 2010, 36(2):39-41. ZHOU Y M, DU Y Y, LIU W.Layer modeling of fault-tolerant system based on Petri nets[J].Computer Engineering, 2010, 36(2):39-41.(in Chinese)
[14] VERMA A, PATTANAIK K K.Multi-agent communication-based train control system for Indian railways:the behavioural analysis[J].Journal of Modern Transportation, 2015, 23(4):272-286.
[15] WU D H, SCHNIEDER E.Scenario-based system design with colored Petri nets:an application to train control systems[J].Software & Systems Modeling, 2018, 17(1):295-317.
[16] WU D H, SCHNIEDER E.Scenario-based modeling of the on-board of a satellite-based train control system with colored Petri nets[J].IEEE Transactions on Intelligent Transportation Systems, 2016, 17(11):3045-3061.
[17] 杜军威, 徐中伟, 宋波.联锁逻辑形式化模型检验的研究[J].计算机工程, 2007, 33(15):33-35. DU J W, XU Z W, SONG B.Research on formal model checking of interlocking logic[J].Computer Engineering, 2007, 33(15):33-35.(in Chinese)
[18] 陈勇.基于Petri网的列车控制系统建模分析与研究[D].成都:西南交通大学, 2006. CHEN Y.Modeling and analysis for train controlling system with Petri nets[D].Chengdu:Southwest Jiaotong University, 2006.(in Chinese)
[19] 王亚涛.基于Petri网的城市轨道交通信号系统脆弱性研究[D].北京:北京交通大学, 2016. WANG Y T.Research on vulnerability of urban rail transit signaling system based on Petri net[D].Beijing:Beijing Jiaotong University, 2016.(in Chinese)
[20] WANG R, ZHENG W, LIANG C, et al.An integrated hazard identification method based on the hierarchical Colored Petri Net[J].Safety Science, 2016, 88:166-179.
[21] CHEN L J, SHAN Z Y, TANG T, et al.Performance analysis and verification of safety communication protocol in train control system[J].Computer Standards & Interfaces, 2011, 33(5):505-518.
[22] DROŹDZIEL P, TARKOWSKI S, RYBICKA I, et al.Drivers'reaction time research in the conditions in the real traffic[J].Open Engineering, 2020, 10(1):35-47.

Please choose a citation manager

Content to export