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

摘要：

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

关键词：核安全级软件、验证与确认、贝叶斯网络、可靠性评估

所属期刊栏目：33

分类号：TK08(一般性问题)

资助基金：国家重大科技专项资助项目2014ZX06004002-004

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

页数：共4页

页码：12-14,23