Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call