基于不同参数模型的安全计算机共因失效分数计算及比较分析

采用常用的Beta参数模型计算联锁设备安全计算机的共因失效分数时,存在计算结果有偏差和不精确等问题。引入应用于核能领域的Alpha参数模型,证明并推导该模型获得的α因子与共因失效分数之间的等价关系。采用美国核管理委员会发布的安全计算机共因失效统计数据作为先验数据,计算获得2乘2取2及3取2这2种冗余结构的两阶和三阶α因子,根据等价关系得到共因失效分数。以这2种冗余结构为例,分别采用2种参数模型,计算系统平均危险侧失效概率P_(PFH)和由共因失效导致的危险侧失效概率。结果表明:共因失效导致的危险侧失效概率是P_(PFH)主要组成部分,α参数模型能够量化计算3重及以上冗余结构的共因失效分数,并获得更符合实际输出的P_(PFH)计算结果;同时,当共因失效数据不断完善时,α参数模型可以通过修正后验参数获得更准确的共因失效分数,为验证计算机安全完整性等级提供有利帮助。

SIL验证技术中的PFD_(avg)计算及关键参数设定

介绍了安全仪表系统的组成,对安全仪表系统完成设计后,SIL验证中的操作模式,要求时危险失效平均概率(PFD_(AVG))计算所需任务时间、有效寿命,检验测试、检验测试间隔周期、检验测试覆盖率,PFD_(AVG)计算公式等关键参数进行了阐述说明。希望以此促进SIL验证的准确性和有效性,从而提高生产装置的安全性能。