FirmSys平台软件第三方V&V过程和方法

独立性是核安全级仪控系统软件验证和确认(V&V)的重要要求之一。在公司内部独立部门执行软件V&V的基础上,广利核(CTEC)公司另外委托第三方认证机构ISTec公司对广利核公司自主研发的国内首个核电站安全级数字化仪控系统平台(FirmSys平台)软件执行独立V&V工作。本文总结第三方IV&V工作的过程和方法,并与广利核内部执行的软件V&V工作的过程和方法进行对比分析。分析表明,第三方IV&V工作和CTEC内部V&V都有各自满足法规、标准的完整的过程和方法,通过第三方IV&V工作可以佐证CTEC内部V&V工作的有效性,并增强了Firm Sys平台软件安全性的可信度。

反应堆保护系统应用软件IV&V方法简介

核电厂仪控系统的数字化过程中,一个必然要解决的关键问题是反应堆保护系统应用软件的独立验证与确认(IV&V),从而确保软件的可靠性和安全性。介绍了反应堆保护系统应用软件在整个软件开发生命周期中的各个阶段IV&V的主要内容,并重点介绍了单元模块的测试步骤和测试方法,包测试硬件平台、测试软件工具、测试用例的建立以及实施单元模块测试的过程。

核安全级DCS系统应用软件IV&V方法研究

随着社会的进度和发展,核电厂仪控系统由第一代模拟组合仪表继电器控制系统发展到了第二代的模拟量和数字量混合控制系统,而目前核电仪控系统已经进入到了第三代数字化仪控系统(DCS)。核电厂仪控系统作为核电厂的“神经中枢”,对核电厂的安全运行起到至关重要的作用。为确保核电厂安全级仪控系统(DCS)的可靠性满足设计要求,对其软件设计采用IV&V的方法进行可靠性验证。