三维需求矩阵在核电安全级DCS软件V&V中的研究与应用

需求追踪管理是核电厂安全级DCS系统开发与软件V&V的重要任务。本文基于DCS系统分布式架构的特点,以系统需求与DCS系统架构为基础,将需求分配到不同的子系统中,建立"需求—子系统"二维平面矩阵,对该平面矩阵沿系统开发生命周期展开追踪,形成"需求—子系统—生命周期阶段"三维需求矩阵。三维需求矩阵能够对整个系统开发生命周期内的需求实现及变更响应进行清晰表达、管理与追踪,有效识别出开发活动对于需求的偏离,提示项目风险,提高软件产品质量,适用于核电仪控系统中基于计算机的分布式控制系统的需求追踪。

核电厂DCS软件验证与确认标准体系分析

通过对软件V&V活动的介绍以及核电厂软件生命周期的划分,明确了核电厂数字化仪控系统软件V&V的目的,即通过验证活动判断系统是否满足设计需求,通过确认活动判断系统设计是否正确。结合核电厂安全级数字化仪控系统软件V&V活动的监督管理实践,总结了美国、欧洲和我国数字化仪控系统软件V&V活动所采用的法规和标准体系。针对我国软件V&V法规和标准体系不健全的问题,通过对比我国与欧洲、美国法规标准体系的差别,明确了我国软件V&V法规和标准体系存在标准体系升版相对滞后、标准路线不统一及欠缺标准转化的系统性等三方面的不足。从长远目标看,我国应完善V&V法规标准体系,使之有层次地逐步细化从法规要求到执行标准要求;从短期要求看,可从软件开发的阶段划分、各项开发计划的形成和实施、V&V活动的独立性和文件记录等方面落实V&V活动要求。

安全级水位测量系统FPGA软件验证与确认单元测试

根据核安全标准规范要求,综述了基于FPGA技术的安全级水位测量系统软件验证与确认(V&V)活动中的单元测试流程及其测试方法,为基于FPGA技术的核安全级仪控系统软件的V&V提供借鉴和参考。