Function safety analysis of CTCS-1 train control system based on multilayer STAMP model
-
摘要: 根据CTCS-1级列控系统总体设计方案，以安全控制为核心，结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进行描述并将其转换为多层STAMP模型和故障分析模型，分析危险事件产生原因，实现对系统功能的安全分析。以CTCS-1级列车进站场景为例，建立多层STAMP模型并针对可能发生的危险事件进行系统功能安全分析。分析结果表明，多层STAMP模型和安全分析方法适用于CTCS-1级列控系统的功能安全分析。
-
关键词:
- STAMP /
- CTCS-1级列控系统 /
- 功能安全分析
Abstract: Multi-layer STAMP and its corresponding method of safety analysis combined with system theoretic accident model and processes(STAMP) were proposed based on the design scheme of CTCS-1 train control system. The interaction process between internal components of train control system was presented by using UML language, and it was transformed into multi-layer STAMP model and fault analyze model in order to analyze the causes of risk events, finally implement the security analysis of the system function. Taking the scenes of train pulling in station as an example, multi-layer STAMP model was established and used to analyze the system function security of potential risks. The result showed that the proposed model and method were suitable for function safety analysis of CTCS-1 train control system.-
Key words:
- STAMP /
- CTCS-1 train control system /
- function safety analysis
-
[1] 王晓娅. 基于贝叶斯网络的CTCS-3 级列车控制系统安全分析[D]. 北京：北京交通大学，2014. [2] LEVESON N G. A new accident model for engineering safer systems[J]. Safety Science, 2004, 42(4): 237-270. [3] LEVESON N G. Engineering a safer world: Systems thinking applied to safety[M]. MITit Press, 2011. [4] 刘 杰 ，阳小华. 基于STAMP 模型的核动力蒸汽发生器水位控制系统安全性分析[J]. 中国安全生产技术，2014，10（5）：78-83. [5] 李 娟，旺厚祥，林海涛. 基于STAMP 的舰载作战系统软件安全研究[J]. 舰船科学技术，2010（9）：63-66. [6] 牛 丰，王 昱，周 诚. 基于STAMP 模型的地铁施工安全事故至因分析[J]. 土木工程与管理学报，2016（1）： 73-78. [7] Salmon P M, CornelissenM, Trotter M J. Systems-based accident analysis methods: a comparison of Accimap, HFACS, and STAMP[J]. Safety Science, 2012, 50(4): 1158-1170. [8] LEVESON N G. A new approach to hazard analysis for complex systems[EB/OL]. [2013-04-23]http://sunnyday.mit.edu.papers/issc03-stpa. doc. [9] 刘金涛 ， 唐 涛， 赵 林， 等. 基于控制关系模型的CTCS-3 级列控系统功能安全分析方法[J]. 铁道学报，2015（8）：36-43. [10] 宫建基. CTCS-1 级列控系统车载设备研发探讨[J]. 铁路技术创新，2012（2）：17-21.
点击查看大图
下载:
