Functional safety analysis method of CTCS-3 level system based on STPA

被引：4
作者：
Liu, Jintao [1 ]
Tang, Tao [1 ]
Zhao, Lin [1 ]
Liu, Lei [2 ]
机构：
[1] State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing
[2] Signal and Communication Research Institute, China Academy of Railway Sciences, Beijing
来源：
Zhongguo Tiedao Kexue/China Railway Science | 2014年 / 35卷 / 05期
关键词：
PHAVer model of system; Safety analysis; System function; System-theoretic process analysis; Train control system;
D O I：
10.3969/j.issn.1001-4632.2014.05.13
中图分类号：
学科分类号：
摘要：
System-Theoretic Process Analysis (STPA) was extended with formal method. In the extension, the extended UML model of the system was established and transformed into PHAVer model. The formal definition and the structure of fault model were also proposed, with which the fault model of the system was set up. Then, the PHAVer model and the fault model were integrated into one PHAVer model which included all the faults. Based on this integrated model, factors causing inadequate control were identified with the reachable set analysis, which performed the safety analysis of the system. Taking radio block center handover of CTCS-3 level system for example, STPA merging with formal method was taken for analyzing the given hazard. The result shows that the proposed method is suitable for the functional safety analysis of CTCS-3 level system.
引用
收藏
页码：86 / 95
页数：9
相关论文
共 13 条
  • [1] Liu J., Tang T., Xu T., Et al., Formal Verification of CTCS-3 System Requirements Specification Based UML Model , China Railway Science, 32, 3, pp. 93-99, (2011)
  • [2] Kwang Y.K., SMV Model-Based Safety Analysis of Software Requirements , Reliability Engineering and System Safety, 94, 2, pp. 320-331, (2009)
  • [3] Peikenkamp T., Model-Based Safety Analysis of a Flap Control System, INCOSE -14th Annual International Symposium, pp. 237-245, (2004)
  • [4] Bozzano M., Safety, Dependability and Performance Analysis of Extended AADL Models , The Computer Journal, 54, 5, pp. 754-775, (2010)
  • [5] Leveson N.G., A New Approach to Hazard Analysis for Complex Systems, Conference of the System Safety, pp. 66-86, (2003)
  • [6] Leveson N.G., A New Accident Model for Engineering Safety Systems , Safety Science, 42, 3, pp. 237-270, (2004)
  • [7] Unified Modeling Language: Super Structure
  • [8] Goran F., PHAVer: Algorithmic Verification of Hybrid Systems PastHyTech, Hybrid Systems: Computation and Control, pp. 258-273, (2005)
  • [9] Tang T., Liu J., Xu T., Et al., Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp. 7-12, (2012)
  • [10] Szilvia G., Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time , Electronic Notes in Theoretical Computer Science, 109, 14, pp. 137-147, (2004)
12