摘要
针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。
For two common redundant computer based interlocking systems' interlocking computer,considering all faults for unit module as well as the comparison module and switching module,dynamic fault tree analysis model of probability of falling danger (PFD) and probability of falling safety (PFS) were established for hot standby and 2 out of 2 plus 2 computer based interlocking systems.In addition,the calculation results of fault tree probability approximation method and Markov method were very similar,and the calculation process of probability approximation method was simple and the storage requirements are low.In consequence,the PFD and PFS were solved using the probabilistic approximation method.Finally,the safety for two redundant computer based interlocking systems was contrasted and analyzed by instance.The results show that the 2 out of 2 plus 2 computer-based interlocking is more secure than the hot standby in the condition of all faults.
作者
李军丽
张友鹏
LI Junli;ZHANG Youpeng(School of Automation & Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China)
出处
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019年第6期1543-1552,共10页
Journal of Railway Science and Engineering
基金
国家自然科学基金资助项目(51867013)
关键词
计算机联锁
安全性
动态故障树
概率近似法
危险失效概率
安全失效概率
computer based interlocking
safety
dynamic fault tree analysis
probabilistic approximate method
probability of falling danger
probability of falling safety