论文部分内容阅读
为保证和证明核电厂安全级数字化保护系统的安全性、可靠性,对其软件执行验证和确认（V＆V）。自诊断V＆V是常规V＆V的补充。为指导自诊断V＆V活动,基于软件生命周期模型提出一种方法。该方法依据标准、法规导则,将危险分析报告中与自诊断相关且妨碍安全功能执行的潜能危险作为软件开发中的解决项;综合考虑系统各相关要素对软件进行检查、分析和评估,通过设计V＆V实例给出了分析与评估要点。仿真测试结果验证了该方法应用于自诊断V＆V的正确性及可行性,表明该方法是值得推广的、实用的、有效的方法。