An Approach to Safety Analysis of Train Control Systems with Coloured Petri Nets

In this paper, we propose a model-based approach to qualitative safety analysis. With this approach, paths that lead to hazardous events or accidents can be automatically identified. Moreover, further quantitative analysis is possible on the basis of the established system model. The approach is implemented by the formal modelling language of Coloured Petri Nets and illustrated by analysing the safety of the CTCS-3. The analysis result shows the feasibility of the approach.