摘要
目的:列车运行方向控制属于联锁系统用于防止进路敌对冲突的安全功能,针对CBTC(基于通信的列车控制)+TBTC(基于轨道电路的列车控制)多模式列车控制系统,需研究其列车运行方向控制功能。方法:分析了CBTC+TBTC系统方案下列车运行方向控制的功能需求和安全需求。为避免系统功能规范缺陷或解读错误导致的运营风险,基于功能状态机和活动图的形式化方法建立了列车运行方向控制的形式化模型,并利用SySML(系统建模语言)方法进行了功能建模。结果与结论:CBTC+TBTC多模式列车控制系统已应用于上海轨道交通2号线信号系统大修改造工程,实测结果表明:不同列控模式列车可在同一个区间中追踪运行,信号系统的安全性、可靠性和完备性得到大幅提升。由此验证了所介绍模型与方法在多模式列车控制系统设计上的有效性,能够降低引入安全缺陷的风险。
Objective:Train direction control is a safety function of the interlocking system used to prevent conflicting routes,and the train direction control function needs to be studied for the CBTC(communication-based train control)+TBTC(Track Circuit-Based Train Control)multi-mode train control system.Method:The functional and safety requirements for train direction control under the CBTC+TBTC system plan are analyzed.To avoid operational risks caused by specification defects or misinterpretation of the system function,a formal model for train direction control is established based on the formalism of functional state machines and activity diagrams,and functional modeling is carried out using the SySML(system modeling language)method.Result&Conclusion:The CBTC+TBTC multi-mode train control system has been applied to the major modification project of the signal system of Shanghai Metro Line 2.The actually measured results show that trains in different control modes can be tracked in the same section,and the safety,reliability and completeness of the signal system are greatly improved.This validates the effectiveness of the model and method introduced in the design of multi-mode train control systems,capable of reducing the risk of introducing safety defects.
作者
洪海珠
HONG Haizhu(Shanghai Shentong Metro Group Co.,Ltd.,201103,Shanghai,China)
出处
《城市轨道交通研究》
北大核心
2023年第11期221-224,229,共5页
Urban Mass Transit
关键词
城市轨道交通
列车控制系统
运行方向控制
多模式
状态机
活动图
urban mass transit
train control system
operation direction control
multi-mode
state machine
activity diagram
