基于贝叶斯网的核安全级软件可靠性评估初探

• 作者: 白涛 谷鹏飞 陈卫华
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 核安全级软件 验证与确认 贝叶斯网络 可靠性评估
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 基金项目
• 页码范围: 12-14,23
• 页数: 4页
• 分类号: TK08
• 字数: 4060字
• 语种: 中文

摘要

合理有效地定量评估核安全级软件的可靠性是核电数字化仪控系统装备研制中面临的关键技术问题之一.由于核安全级软件的高可靠性要求,仅通过有限的测试难以给出可信的可靠性评估结果.从软件V&V的角度,结合IEEE Std.1012-2004标准要求及实施核安全级软件V&V的工程经验,对核安全级软件贝叶斯网络推理修正模型及其可靠性定量评估方法进行了初步探讨.应用实例说明所提方法可为在软件开发生命周期过程中尽早识别问题、评估软件可靠性及分析V&V活动的有效性提供参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谷鹏飞	中广核工程有限公司核电安全监控技术与装备国家重点实验室	9	58	4.0	7.0
2	陈卫华	中广核工程有限公司核电安全监控技术与装备国家重点实验室	7	21	3.0	4.0
3	白涛	中广核工程有限公司核电安全监控技术与装备国家重点实验室	3	9	2.0	3.0