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