Model-Based Safety Analysis of Movement Authority Scenario in TcCBTC system

• Published in: Journal of physics. Conference series Vol. 2246; no. 1; pp. 12077 - 12083
• Main Authors: Lin, Junting, Min, Xiaoqin, Chai, Jinchuan
• Format: Journal Article
• Language: English
• Published: Bristol IOP Publishing 01.04.2022
• Subjects: Algorithms; Automata theory; Communications systems; Physics; Safety; Statistical models

Abstract Train-centric communication based train control (TcCBTC) system contains a variety of uncertain factors in the operation process, and the generation scenario of movement authority is a real-time process. In order to judge the impact of uncertain factors on system safety, it is necessary to...