安全级DCS平台基本功能库软件V&V方法研究

作者：冯素梅; 王少华; 陈日罡; 张志良

来源：自动化仪表, 2020, 41(12): 42-51.

DOI：10.16086/j.cnki.issn1000-0380.2020050007

• 验证和确认
• 面向应用的语言
• 通用语言
• 算法分析
• 代码生成器
• 软件完整性等级
• 基本功能库

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

• 单位
  中国核电工程有限公司