Functional Safety Analysis of CTCS-3 Train Control System Based on Control Relationship Model

LIU Jin-tao,TANG Tao,ZHAO Lin,LIU Lei
DOI: https://doi.org/10.3969/j.issn.1001-8360.2015.08.006
2015-01-01
Abstract:The formal definition of control actions in CTCS level‐3 system is proposed .In respect with the sequential re‐lations of control actions ,the temporal logic of control acctions is designed .Based on such temporal logic ,the formal definition for the control relationship model is given ,with which the control action relationships in the train control sys‐tem can be modeled .With the depth first search ,the control relationship model is analyzed to achieve the automatic i‐dentification of inadequate control actions proposed in STPA (System‐Theoretic Process Analysis ) .In the case of RBC handover scene of the CTCS level‐3 train control system ,the STPA method based on control relationship model is used to analyze the functional safety of the train control system .The results show that the proposed method is suitable for the functional safety analysis of the CTCS level‐3 system .
What problem does this paper attempt to address?