基于STPA的CTCS_3级列控系统功能安全分析方法_刘金涛.pdf

， 第 卷 第 期 中 国 铁 道 科 学 ３５ ５ ｏｌ．３５ Ｎｏ．５ Ｖ 　 　 　 　　　 　　　　　 年 月 ， ２０１４ ９ ＣＨＩＮＡ ＲＡＩＬＷＡＹ ＳＣＩＥＮＣＥ Ｓｅ ｔｅｍｂｅｒ ２０１４ 　　　 　 　 　　　　　　　 　 　 　 　 ｐ 文章编号： （ ） １００１ ６３２ ２０１４ ０５ ０８６ ０ －４ －０ －１ 基于ＳＴＰＡ的ＣＴＣＳ 级列控系统功能安全分析方法 ３ － １ １ １ ２ 刘金 涛 ，唐 涛 ，赵 林 ，刘 磊 　 　 　 （ ， ； ． 北京交通大学 轨道交通控制与安全国家重点实验室 北京 １０００４４ １ 　 中国铁道科学研究 ， ） ２． 院通信信号研究所 北京 １ ０００８１ 　 ： （ ） ， 摘 要 利用形式化方法对系统理论的过程分析 ＳＴＰＡ 进行扩展 包括建立系统的 ＵＭＬ 扩展模型并将 　 　 　 其转换为 ； ， ； Ｐ 模型 给出故障模型的形式化定义及结构 建立系统的故障模型 将系统的 Ｐ 模型和 ＨＡＶｅｒ ＨＡＶｅｒ ， ； 故障模型整合 构造出包含故障的系统 ＰＨＡＶｅｒ模型 采用可达集计算对包含故障的系统 ＰＨＡＶｅｒ模型进行分 ， ， 。 析 从而自动辨识出导致不恰当控制的原因 实现对系统功能的安全分析 以Ｃ 级列控系统的无线闭塞中