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

• 作者: 唐涛 张琦 曹源 王巨汉 高莺
• 来源期刊: 中国铁道科学
• 学科: 交通运输
• 关键词: 计算机联锁系统 共因失效分数 危险侧失效概率 安全计算机 Alpha参数模型 Beta参数模型
• 年，卷（期）: 2019,（3）
• 页码范围: 137-143
• 页数: 7页
• 分类号: U284.362
• 字数: 5131字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4632.2019.03.19

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通运行控制系统国家工程研究中心	152	2578	27.0	40.0
2	张琦	中国铁道科学研究院集团有限公司国家铁路智能运输系统工程技术研究中心	31	123	6.0	9.0
6	高莺	中国铁道科学研究院研究生部	5	8	2.0	2.0
10	王巨汉	北京交通大学电子信息工程学院	4	22	2.0	4.0