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

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

核电厂软件关键性分析方法

关键性分析是核电厂软件验证与确认过程最初始的环节,也是其他V&V工作的基础。该文针对核电厂安全相关级系统的软件,结合IEEE Std 1012标准,建立了一种适用于软件开发各个阶段的关键性分析的具体执行方法,最大限度地对核电厂安全相关级软件关键性分析工作进行了标准化,从而有效提高了软件验证与确认工作的效力。

第六讲 软件的功能安全要求

讲述执行安全功能的软件如何实现功能安全的要求。

基于牵引控制系统软件安全认证的应用研究

牵引控制系统软件的安全性和可靠性是列车稳定运行的重要因素之一,对其进行安全完整性设计和评估是有必要的。以列车牵引控制系统软件产品的安全认证为例,结合EN 50128:2011标准,对牵引控制系统软件安全完整性评估的技术以及实现方法进行深入研究和实践应用,重点描述依据生命周期流程开展软件设计和软件测试的认证工作,并根据第三方评估机构对整个工作进行总结评估,可为城市轨道交通软件产品的安全认证提供参考依据和借鉴。

核电安全性分析

针对核电厂软件完整性等级为3和4的安全级系统进行安全性分析。在安全性分析的过程中,主要对系统软件部分进行功能故障模式及影响分析,识别危险及发生的可能性,建立风险评估矩阵,确定风险等级,从而提出有效的风险控制措施,来消除或减少对系统乃至核电厂的安全影响。