Author:
An Xiaotong,Zou Jinbai,Shen Zhukai,Yao Shunyu
Abstract
Abstract
For the entire phase of the design, manufacture and operation of the Communication Base Train Control (Communication Base Train Control, CBTC) signal system, safety is the primary issue that needs to be considered. This article introduces ScOLA’s modeling language, combined with the situation of the wireless loss fault of the vehicle-mounted signal equipment, and carries out a formal description and step-by-step simulation of the system. It further illustrates that the application of the ScOLA modeling language can perform the safety analysis of the CBTC signal system faster and more accurately.
Subject
General Physics and Astronomy
Reference7 articles.
1. Modeling the CBTC Railway System of Siemens with ScOLa. [M];Issad;Int. J. ITS Res.,2018
2. The al tarica formalism for describing concurrent systems;Arnold;Funda menta Informaticae,1999
3. Model-based sys?tem engineering for fault tree generation and analysis;Yakymets,2013
4. Trusted Construction of Train Control System Based on Communication: A Summary of Formal Methods [J];Mingsong;Journal of Software,2017
5. Analysis of common failures of CBTC system on-board signal[J];Feng;Modern Urban Rail Transit,2011