No 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.