Functional safety analysis of CTCS-3 train control system based on control relationship model

被引：0
作者：
Liu, Jin-Tao [1 ]
Tang, Tao [2 ]
Zhao, Lin [2 ]
Liu, Lei [3 ]
机构：
[1] National Research Center of Railway Safety Assessment, Beijing Jiaotong University, Beijing
[2] State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing
[3] Signal and Communication Research Institute, China Academy of Railway Sciences, Beijing
来源：
Tiedao Xuebao/Journal of the China Railway Society | 2015年 / 37卷 / 08期
关键词：
CTCS-3 level system; Formal methods; Function safety analysis; STPA;
D O I：
10.3969/j.issn.1001-8360.2015.08.006
中图分类号：
学科分类号：
摘要：
The formal definition of control actions in CTCS level-3 system is proposed. In respect with the sequential relations 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 system can be modeled. With the depth first search, the control relationship model is analyzed to achieve the automatic identification 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. ©, 2015, Science Press. All right reserved.
引用
收藏
页码：36 / 43
页数：7
相关论文
共 10 条
  • [1] Tang T., Gao C.-H., Analysis of ETCS System and Study on CTCS, Electric Drive for Locomotives, 6, pp. 1-3, (2004)
  • [2] Leveson N.G., A New Accident Model for Engineering Safety Systems, Safety Science, 42, 4, pp. 237-270, (2004)
  • [3] Kwang Y.K., SMV Model-based Safety Analysis of Software Requirements, Reliability Engineering and System Safety, 94, 2, pp. 320-331, (2009)
  • [4] Peikenkamp T., Model-based Safety Analysis of a Flap Control System, INCOSE-14th Annual International Symposium Proceeding, (2004)
  • [5] Bozzano M., Safety, Dependability and Performance Analysis of Extended AADL Models, The Computer Journal, 54, pp. 754-775, (2010)
  • [6] Clarke E.M., Grumberg O., Peled A., Model Checking, (1999)
  • [7] Leveson N.G., A New Approach to Hazard Analysis for Complex Systems, Conference of the System Safety Society, (2003)
  • [8] Gerard J.H., Doron P., Mihalis Y., On Nested Depth First Search, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 32, pp. 23-32, (1997)
  • [9] Ministry of Railways, CTCS-3 System Requirements Specification, (2009)
  • [10] Kirsten B., Stefan B., Ulrich H., Et al., Hybrid UML Profile for UML 2.0, International Journal on Software Tools for Technology, 8, 2, pp. 167-176, (2006)
1