区域计算机联锁系统安全性分析的动态故障树模型与方法研究

目前,国内外关于动态冗余系统安全性分析的主要方法是Markov模型。对于区域计算机联锁系统,使用Markov模型进行分析时,其状态空间规模较大,致使其建模及求解过程十分繁琐。为了解决这个问题,本文从系统失效的角度建立区域计算机联锁系统动态故障树模型,采用概率近似法求出系统的安全失效概率和危险失效概率,并将所得结果与Markov方法所求指标进行比较。研究结果表明,故障树概率近似法和Markov方法计算结果十分接近,但计算过程简单且对存储量要求小。说明对于低失效率和短维护时间的铁路信号安全苛求系统,采用故障树概率近似法计算有关安全性能指标切实可行,避免了利用Markov方法求解的繁琐过程,为复杂冗余动态系统的安全性分析与计算提供了新的解决方案。

基于动态故障树的计算机联锁系统安全性及性能分析研究

针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。