组态下装到目标设备中,由IV&V人员对软件组态的功能进行确认,以保证软件功能满足核电厂控制的需求。Р ①软件实现流程:英维斯公司采用仿真测试的方式对工程部完成的组态软件进行形式和规则的确认。IV&V团队根据软件设计描述编写测试用例,然后按测试用例对软件组态进行仿真测试。Р ②软件测试流程:软件测试是将已确认的组态下装到运行该软件的目标设备中进行功能测试,当前所有核电厂DCS系统供应商均采用工厂测试的方法进行软件功能的最终确认,英维斯由IV&V团队工程师根据系统需求编写出测试用例,然后依据测试用例在工厂对软件组态的功能进行逐一测试,以确保提供的软件组态最终满足核电厂安全运行的要求。Р Р 4 结论Р 核电厂DCS安全级系统是整个电厂安全运行的重要屏障,一旦该屏障被突破,若发生事故则后果将不堪设想,因此安全级系统的可靠性对于核电厂来说至关重要。为了确保安全级系统的可靠性能满足电厂安全运行的要求,除了采用高标准的设计要求外,还应对系统的可靠性进行验证。用于核电厂反应堆控制的安全级系统硬件平台通过认证对可靠性进行验证,软件通过IV&V对可靠性进行验证。对于软件IV&V,由于不同供应商的硬件平台、软件设计方法均不相同,从而导致软件IV&V流程和方法也不尽相同。即便如此,供应商应遵循IEEE 1012的要求,并结合自身特点建立一套完善的IV&V流程,以便于有效地对安全级系统软件进行可靠性验证。Р 参考文献: Р [1]刘真,江??进,孙永滨.核电安全级仪控系统软件V&V活动及其方法研究[J].北京:核科学与工程,2011,31(2):45-50. Р [2]刘朋波,周韦,张淑慧.核安全级数字化仪控系统软件相关标准研究Р[J].上海:自动化仪表,2015,36(11):61-64. Р [3]魏鹏,黄平儿,吴俊.保护系统1E级软件独立验证实施管理[J].设备管理与维修,2015(S2).
全文预览
