Modeling and Simulation of Expanded Train Control System Based On Simulink/Stateflow

摘要

Chinese Train Control System (CTCS) is a critical system to ensure the safety and the efficiency of high-speed railway. As the increase of railway line density and people's new demand for travel, train control system is constantly adding new functions. However, the increase of function also brings new challenges to the safety of train control system. Traditional testing by experience has failed to guarantee the safety requirements of the expanded system. Under this background, in this paper, we first propose a new method that use Simulink/Stateflow to build graphical models and simulate for CTCS to verify the security. Then, we take the Automatic Train Operation(ATO) which is a new function added in the CTCS2 train control system(CTCS Level 2+ATO) as an example, build models and analyze these graphical models via simulations under five circumstances. Finally, it is found that under certain circumstances, the train can be accelerated through the station and can not stop normally, it is a serious safety hazard.