论文部分内容阅读
基本功能库是核电厂分布式控制系统(DCS)平台软件的重要组成部分,是应用软件的基本单元.其软件质量直接决定了仪表与控制(I&C)系统的系统性能力.尤其是当功能块应用于执行安全功能的软件时,功能块的错误可能直接影响到系统的安全.但是,目前国际、国内的标准中没有专门针对基本功能库的、详尽的验证与确认(V&V)方法,导致在实际的功能库V&V过程中没有具体的指导规范.为解决这个问题,对安全级数字化DCS平台基本功能库的重要性进行了阐述,同时分析了功能库的开发生命周期及不同的实现方式;依据核电厂安全级软件相关标准的要求以及实际的工程经验,提出功能库的V&V方法,以及各阶段需要重点验证的内容.该研究为安全级平台功能库的V&V工作提供技术指导.