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

摘要：

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

关键词：计算机联锁系统、共因失效分数、危险侧失效概率、安全计算机、Alpha参数模型、Beta参数模型

所属期刊栏目：40

分类号：U284.362(铁路通信、信号)

资助基金：国家自然科学基金;国家自然科学基金;国家自然科学基金;国家重点研发计划;中铁检验认证中心科研项目

在线出版日期：2019-07-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：137-143