作者:白涛; 陈卫华; 谷鹏飞核安全级软件验证与确认贝叶斯网络可靠性评估
摘要:合理有效地定量评估核安全级软件的可靠性是核电数字化仪控系统装备研制中面临的关键技术问题之一。由于核安全级软件的高可靠性要求,仅通过有限的测试难以给出可信的可靠性评估结果。从软件V&V的角度,结合IEEE Std.1012—2004标准要求及实施核安全级软件V&V的工程经验,对核安全级软件贝叶斯网络推理修正模型及其可靠性定量评估方法进行了初步探讨。应用实例说明所提方法可为在软件开发生命周期过程中尽早识别问题、评估软件可靠性及分析V&V活动的有效性提供参考。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社