核电厂数字化仪控系统软件可靠性定量评估研究 被引量：2

1

作者 黄奇 张庆 +2 位作者 刘明星 王远兵 钟科 《核科学与工程》 CAS CSCD 北大核心 2020年第3期475-479,共5页

本文依据IEEE std 1633标准,对Schneidewind软件可靠性模型进行研究,将该模型应用于核电厂数字化仪控系统软件可靠性定量评估,并评价该模型对于核电厂数字化仪控系统软件可靠性定量评估的适用性。本文结合某堆型核电厂数字化仪控系统典... 本文依据IEEE std 1633标准,对Schneidewind软件可靠性模型进行研究,将该模型应用于核电厂数字化仪控系统软件可靠性定量评估,并评价该模型对于核电厂数字化仪控系统软件可靠性定量评估的适用性。本文结合某堆型核电厂数字化仪控系统典型功能模块软件故障数据,代入Schneidewind模型,对软件可靠性进行定量评估。本文介绍的工作对进一步开展数字化仪控系统软件可靠性研究具有积极意义。 展开更多

关键词 核电厂数字化仪控系统 软件可靠性定量评估 软件可靠性模型

在线阅读 下载PDF 职称材料

适用于核电厂数字化仪控系统的RAMS管理体系方案设计 被引量：2

2

作者 江国进 李富 莫昌瑜 《核科学与工程》 CAS CSCD 北大核心 2018年第2期326-335,共10页

核电厂数字化仪控系统是核电厂的神经中枢,其RAMS特性直接关系到核电厂的整体安全性。作为大型复杂工程系统,核电厂数字化仪控系统的RAMS管理工作对其RAMS特性的提升非常重要。我国核电领域对于核电厂数字化仪控系统如何开展RAMS管理工... 核电厂数字化仪控系统是核电厂的神经中枢,其RAMS特性直接关系到核电厂的整体安全性。作为大型复杂工程系统,核电厂数字化仪控系统的RAMS管理工作对其RAMS特性的提升非常重要。我国核电领域对于核电厂数字化仪控系统如何开展RAMS管理工作的研究目前处于起步阶段,尚无可指导具体工作的标准或指南。基于IEC 60300-1等RAMS管理标准给出的理论,借鉴航空航天、铁路在RAMS管理方面取得的成果,并结合广利核公司在核电厂数字化仪控系统自主化过程中的RAMS实践经验,提出了一套适用于核电厂数字化仪控系统全生命周期活动的RAMS管理体系方案,包括RAMS管理机构方案、RAMS管控方案和RAMS管理运行评估方案,实践结果表明,使得RAMS活动的标准化程度显著提高,工作成果质量得到保障,最有价值的缺陷识别率大幅提升,后期返工情况减少,降低了生命周期成本,具有良好的推广价值。 展开更多

关键词 核电厂数字化仪控系统 RAMS管理 安全性

在线阅读 下载PDF 职称材料

我国核电厂数字化仪控系统相关运行事件分析 被引量：7

3

作者 齐媛 张浩 +3 位作者 孙树海 杨丽丽 郑丽馨 张玮 《核电子学与探测技术》 CAS 北大核心 2016年第10期1075-1080,共6页

从事件原因和事件后果两个方面分析了我国核电厂发生的25起数字化仪控系统相关运行事件,找出了安全级和非安全级数字化仪控系统存在的问题,总结了我国核电厂数字化仪控系统的运行情况,并提出了需要关注和进一步改进的方面,为后续新建核... 从事件原因和事件后果两个方面分析了我国核电厂发生的25起数字化仪控系统相关运行事件,找出了安全级和非安全级数字化仪控系统存在的问题,总结了我国核电厂数字化仪控系统的运行情况,并提出了需要关注和进一步改进的方面,为后续新建核电厂提供借鉴。 展开更多

关键词 核电厂 数字化仪控系统 运行事件

在线阅读 下载PDF 职称材料

形式化验证方法用于核电厂数字化仪控系统HPD验证的探索与实践 被引量：1

4

作者 吴飞 张亚栋 +1 位作者 程建明 王晓燕 《核科学与工程》 CSCD 北大核心 2012年第S2期201-205,共5页

为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验... 为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验证系统设计,更方便地对验证流程进行管理。目前基于断言的形式化验证方法已经在大规模ASIC设计,以及数字通信领域HPD设计的功能验证中取得了成功,本文将这一方法引入核安全级系统HPD验证实践中,主要介绍HPD形式化验证的特点、原理和方法,以及其在FirmSys系统安全级HPD验证工作中的初步应用。 展开更多

关键词 数字化仪控系统 形式化验证 可编程逻辑器件 可靠性 FirmSys

在线阅读 下载PDF 职称材料

核电厂数字化仪控系统状态监测及可靠性预测方法研究 被引量：5

5

作者 何亚南 谷鹏飞 +1 位作者 席望 白涛 《原子能科学技术》 EI CAS CSCD 北大核心 2017年第12期2338-2343,共6页

随着我国核电的发展,数字化仪控系统和设备的引入,给核电厂安全性和可靠性带来的风险得到广泛的关注。目前国内外的核电厂数字化仪控系统状态监测仅针对单个设备,具有一定的局限性,忽略了设备间的可靠性关联及设备可靠性趋势对整个系统... 随着我国核电的发展,数字化仪控系统和设备的引入,给核电厂安全性和可靠性带来的风险得到广泛的关注。目前国内外的核电厂数字化仪控系统状态监测仅针对单个设备,具有一定的局限性,忽略了设备间的可靠性关联及设备可靠性趋势对整个系统可靠性的影响。本文提出一种核电厂数字化仪控系统状态监测及可靠性预测方法,以高压安注系统为例,通过监测多个相关设备的状态信息,分析其内在可靠性关联,得到设备当前可靠性趋势对整个系统可靠性状态的影响,建立系统可靠性模型。该模型通过状态信息的更新,实时监测整个系统的可靠性状态,为核电厂系统和设备提供更为全面的预测和可靠性状态监测,为核电厂的系统管理、设备管理及运行维护提供指导。 展开更多

关键词 核电厂 数字化仪控系统 状态监测 可靠性预测 运行和维护

在线阅读 下载PDF 职称材料

核电厂数字化仪控系统算法软件自动化生成方法 被引量：2

6

作者 黄俊 李晓龙 +1 位作者 赵洋 吴延群 《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期31-35,共5页

在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑... 在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑图,实现一般对应C代码.在算法软件的开发过程中,可能在不经意间引入一些人为错误,导致一些不可承受的严重后果.文中针对核电厂DCS系统算法软件的安全性要求,基于SCADE软件的KCG模式生成代码,提出算法软件从需求到代码自动化生成的方法,并利用该方法开发出符合核电行业高安全性要求的算法软件,从而使得核电厂DCS系统设计人员既能节省整个算法软件的开发周期,又能保证开发出的软件具备在系统中运行的高安全性要求.在满足核安全的前提下,该方法可以大幅缩短工程设计的开发时间,提高用户使用体验,具有可观的经济效益. 展开更多

关键词 核电厂 数字化仪控系统 自动化生成方法 高安全性要求

在线阅读 下载PDF 职称材料

核电厂数字化仪控系统设计验证技术研究及应用 被引量：2

7

作者 梁慧慧 刘伟 叶王平 《核科学与工程》 CAS CSCD 北大核心 2023年第6期1409-1413,共5页

数字化仪控系统在新建核电厂和现有核电厂的改造中得到了应用,为了确保最终的数字化仪控系统满足要求的可靠性和可用性,需要在系统全生命周期(可划分为系统需求设计阶段、设备开发阶段、安装与调试阶段和运行与维护阶段)中开展全面的测... 数字化仪控系统在新建核电厂和现有核电厂的改造中得到了应用,为了确保最终的数字化仪控系统满足要求的可靠性和可用性,需要在系统全生命周期(可划分为系统需求设计阶段、设备开发阶段、安装与调试阶段和运行与维护阶段)中开展全面的测试和验证活动。为降低核电厂数字化仪控系统由于系统设计缺陷导致后续系统设备开发等阶段变更的风险和成本,设计验证工作应由独立于设计人员的验证人员尽早采用适宜的方法开展。本论文主要针对核电厂数字化仪控系统需求设计阶段验证技术开展研究,通过对国内外核电厂设计验证相关法规标准要求的研究,以及核电厂数字化仪控系统运行过程中发生的设计缺陷导致的故障原因分析,明确了核电厂数字化仪控系统设计验证应关注的要点,给出了设计验证的实施方法。最后本文对工程实践中的静态验证和动态验证实施流程进行了说明。 展开更多

关键词 核电厂 数字化仪控系统 设计阶段 验证方法

在线阅读 下载PDF 职称材料

核电厂数字化仪控系统动态流程图方法分析研究

8

作者 孙金龙 陈卓 +1 位作者 赵博 杨健 《核科学与工程》 CAS CSCD 北大核心 2018年第1期99-106,共8页

传统静态故障树方法对数字化仪控系统(DCS)的可靠性评价存在较大局限性,尤其是对包含动态特性和反馈信号的控制系统。作为新型概率安全分析方法的动态流程图法(DFM)具有动态特性,可表征系统变量和时间的关系、模拟逻辑信号控制,能够综... 传统静态故障树方法对数字化仪控系统(DCS)的可靠性评价存在较大局限性,尤其是对包含动态特性和反馈信号的控制系统。作为新型概率安全分析方法的动态流程图法(DFM)具有动态特性,可表征系统变量和时间的关系、模拟逻辑信号控制,能够综合分析评价软件失效、硬件失效以及外部环境对系统可靠性的影响。本文选取CNP1000稳压器压力控制系统作为分析对象,假设发生稳压器高压信号缓解失效事件;分别应用DFM机制和故障树机制对其进行PSA建模分析,计算得到各自顶事件的发生概率、质蕴含与最小割集。最后通过两种模型结果的对比,总结分析出DFM方法较传统故障树方法的优势之处。 展开更多

关键词 动态流程图法 故障树分析 数字化仪控系统 稳压器压力控制系统

在线阅读 下载PDF 职称材料

适用于核电DCS产品的软件数字化运维系统设计

9

作者 邓泽凡 王桂兰 +2 位作者 石桂连 董晓峰 彭立 《核科学与工程》 北大核心 2025年第1期36-43,共8页

核电DCS是核电厂的“神经中枢”,其运行的稳定性和可靠性是核电厂安全运营的保障。适用于核电DCS产品软件数字化运维系统是为解决核电DCS产品软件运维依赖人工、耗时长、效率低等问题而开展的产品研发工作。该系统基于核电DCS产品与核... 核电DCS是核电厂的“神经中枢”,其运行的稳定性和可靠性是核电厂安全运营的保障。适用于核电DCS产品软件数字化运维系统是为解决核电DCS产品软件运维依赖人工、耗时长、效率低等问题而开展的产品研发工作。该系统基于核电DCS产品与核电厂实际问题反馈,结合软件数字化运维理念,设计软件健康参数反映核电DCS产品软件运行状态,设计软件配置和指标监视模块采集核电DCS产品软件健康参数,降低运维时间和成本,带来可观经济效益,同时降低机组非计划停机风险。 展开更多

关键词 核电数字化仪控系统 软件健康 软件运维 数字化运维

在线阅读 下载PDF 职称材料

IEC 63096核电厂仪控系统网络安全管控标准与国内等级保护相关标准的协调分析

10

作者 郭云 李江海 《核科学与工程》 CAS CSCD 北大核心 2024年第1期161-167,共7页

伴随着全球工业数字化、网络化和智能化的发展,传统基于物理隔离的保护方式已无法确保核电厂仪控系统的网络安全。核电厂仪控系统遭受网络攻击不仅可能导致生产过程中断,还可能引起核安全事件,因此核电厂仪控系统网络安全已引起世界各... 伴随着全球工业数字化、网络化和智能化的发展,传统基于物理隔离的保护方式已无法确保核电厂仪控系统的网络安全。核电厂仪控系统遭受网络攻击不仅可能导致生产过程中断,还可能引起核安全事件,因此核电厂仪控系统网络安全已引起世界各国及相关国际组织的高度关注。国际电工委员会于2020年发布了关于核电厂仪控系统网络安全防范管控的国际标准IEC 63096,为核电厂仪控系统各相关方提供了基于网络安全防范等级和生命周期阶段的具体指引,用于指导核电厂实施网络安全管控措施,以预防、检测和处置网络攻击。同时,等级保护制度作为我国网络安全的基础制度,是国内各核电厂必须开展的规定工作。为此,本文分别对IEC 63096以及等级保护系列标准进行了介绍,重点对二者在安全等级及管控措施方面的协调性进行了分析,从而帮助核电厂在进行网络安全管控措施的部署时有效降低时间成本和投资成本。 展开更多

关键词 IEC 63096 核电厂 仪控系统网络安全 等级保护 协调分析

在线阅读 下载PDF 职称材料

核电站数字化仪控系统安全保密分析方法研究 被引量：2

11

作者 尹宝娟 丁义行 +3 位作者 孙王强 李幼媛 赵云飞 程建明 《核科学与工程》 CAS CSCD 北大核心 2016年第3期430-434,共5页

核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用... 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。 展开更多

关键词 安全保密分析 验证与确认:数字化仪控系统 规则检查分析 信息流

在线阅读 下载PDF 职称材料

半物理仿真平台的核电站数字化仪控系统故障模式与影响分析 被引量：2

12

作者 韦良长 刘鹏飞 +1 位作者 邓鹏 林萌 《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期68-74,共7页

核电站数字化仪控系统对于现代核电站的运行起着至关重要的作用.它能够实时监测核电站的各种运行参数,保证正常工况和紧急情况下核电站的安全性、可靠性和可用性.核电站数字化仪控系统对核电厂的可靠性影响进行评估和验证具有十分重要... 核电站数字化仪控系统对于现代核电站的运行起着至关重要的作用.它能够实时监测核电站的各种运行参数,保证正常工况和紧急情况下核电站的安全性、可靠性和可用性.核电站数字化仪控系统对核电厂的可靠性影响进行评估和验证具有十分重要的意义.故障模式与影响分析(FMEA)是核电站数字化仪控系统静态可靠性分析中的常用方法,其主要目的是分析单一故障下对系统所造成的影响.与传统FMEA分析方法不同,论文设计并实现了核电站主要控制系统半物理仿真平台,并开展了考虑热工水力与仪控系统耦合作用的典型故障模式与影响分析.研究结果表明,该仿真平台能够实现核电站各种稳态和瞬态工况的模拟,并能基于该平台开展数字化仪控系统的FMEA研究. 展开更多

关键词 核电站 数字化仪控系统 半物理仿真 故障模式与影响分析

在线阅读 下载PDF 职称材料

核电站仿真机用于数字化仪控系统调试的研究 被引量：1

13

作者 龚湛 林萌 +1 位作者 刘鹏飞 杨燕华 《核科学与工程》 CSCD 北大核心 2012年第1期79-84,共6页

介绍了开发的核电站仿真机结构及功能，接着以稳压器压力控制系统为例，利用该仿真机进行了现场DCS调试的应用研究。先测试确保其DCS逻辑功能，然后通过与核电厂实际测试结果对比分析后，改进仿真机模型，最后对现场DCS进行了参数优化... 介绍了开发的核电站仿真机结构及功能，接着以稳压器压力控制系统为例，利用该仿真机进行了现场DCS调试的应用研究。先测试确保其DCS逻辑功能，然后通过与核电厂实际测试结果对比分析后，改进仿真机模型，最后对现场DCS进行了参数优化。研究表明，仿真机应用于核电站现场DCS测试及参数优化调试具有节省现场调试时间、降低调试风险的优越性。 展开更多

关键词 核电站仿真机 数字化仪控系统 DCS调试

在线阅读 下载PDF 职称材料

核电站安全级数字化仪控系统设计准则的分析与应用 被引量：3

14

作者 姚光霖 孙武 《核电子学与探测技术》 CAS 北大核心 2015年第2期115-118,共4页

基于我国核电站安全级数字化仪控系统设计中采用的法规、标准所要求的设计准则,分析各设计准则之间的相互关系及可实施性;设计准则通常概括性强且未给出具体的实施细则或方法,通过对比分析各设计准则的具体要求以及它们在实践中的应用,... 基于我国核电站安全级数字化仪控系统设计中采用的法规、标准所要求的设计准则,分析各设计准则之间的相互关系及可实施性;设计准则通常概括性强且未给出具体的实施细则或方法,通过对比分析各设计准则的具体要求以及它们在实践中的应用,归纳出更加细化的满足设计准则的实现方法。并通过对主要设计准则在基于Triconex平台的安全级数字化仪控系统中的详细研究和应用分析,验证本文归纳出的实现方法的合理性。 展开更多

关键词 安全级 数字化仪控系统 设计准则 Triconex

在线阅读 下载PDF 职称材料

CPR1000核电厂数字化仪表控制设计验证技术探讨 被引量：4

15

作者 谢红云 徐晓臻 张焕欣 《核科学与工程》 CSCD 北大核心 2010年第S1期132-135,共4页

基于CPR1000核电厂数字化仪控系统(DCS)设计验证平台,阐述了仪表控制功能设计与主控室人机界面设计正确性与一致性的验证,并通过几个典型动态验证案例,对设计验证技术进行深入探讨。

关键词 核电厂 设计验证 数字化/仪控系统

在线阅读 下载PDF 职称材料

核安全级数字化仪控系统自诊断功能研究与设计 被引量：7

16

作者 江国进 李富 +1 位作者 莫昌瑜 马光强 《核科学与工程》 CAS CSCD 北大核心 2019年第1期146-154,共9页

自诊断功能是核安全级数字化仪控系统的关键功能,对核安全级数字化仪控系统本身的RAMS特性,以及核电厂整体安全性和可用性有直接影响。本文基于RAMS分析评估技术,形成了以潜在故障模式为主的自诊断功能设计基准,在此基础上提出了一整套... 自诊断功能是核安全级数字化仪控系统的关键功能,对核安全级数字化仪控系统本身的RAMS特性,以及核电厂整体安全性和可用性有直接影响。本文基于RAMS分析评估技术,形成了以潜在故障模式为主的自诊断功能设计基准,在此基础上提出了一整套包括故障诊断、故障处理、诊断信息上报和报警指示功能的核安全级数字化仪控系统自诊断功能设计方案,并在和睦系统上进行了设计实现。实测结果表明,和睦系统可以实时在线监视自身运行状态,能够及时处理、上报和精确指示所有设计基准范围内的异常,大幅增强了故障定位能力,提高了和睦系统的可维修性,充分满足核电厂整体安全性和可用性要求。 展开更多

关键词 核安全级数字化仪控系统 自诊断功能 安全性

在线阅读 下载PDF 职称材料

数字化仪控系统的动态失效模式与后果分析方法 被引量：1

17

作者 李延凯 林萌 杨燕华 《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期62-67,共6页

失效模式与后果分析(FMEA)可以理清系统各个部件可能的失效模式,并分析其失效后果,在概率安全分析(PSA)工作中发挥着重要作用.传统的FMEA以静态分析为主,无法完全适用于具有复杂动态交互作用的数字化仪控系统(DCS).动态FMEA方法通过对DC... 失效模式与后果分析(FMEA)可以理清系统各个部件可能的失效模式,并分析其失效后果,在概率安全分析(PSA)工作中发挥着重要作用.传统的FMEA以静态分析为主,无法完全适用于具有复杂动态交互作用的数字化仪控系统(DCS).动态FMEA方法通过对DCS系统功能(硬件、软件和固件功能,以及DCS与被控工艺系统间的交互)进行模拟,分析者可以动态地插入、分析DCS不同故障的影响,有效降低对分析者的经验依赖以及对电厂的运行数据依赖,提高FMEA的便捷性和效率,并使得后续动态故障树的建立等PSA分析工作变得更为可行也更为可靠. 展开更多

关键词 数字化仪控系统 核电厂仿真 概率安全分析 动态可靠性分析

在线阅读 下载PDF 职称材料

核电安全级数字化仪控系统T2试验方案研究

18

作者 孙武 梁嘉琳 郭小星 《核电子学与探测技术》 CAS 北大核心 2015年第7期676-678,共3页

研究了基于Tricon平台的RPS系统T2试验方案,分析了Tricon平台"点对点"的自诊断能力对T2试验方案的作用,进而搭建基于VBA的第三方仿真平台验证该试验方案的正确性。通过与基于其他平台的RPS系统T2试验方案的对比分析,归纳出基... 研究了基于Tricon平台的RPS系统T2试验方案,分析了Tricon平台"点对点"的自诊断能力对T2试验方案的作用,进而搭建基于VBA的第三方仿真平台验证该试验方案的正确性。通过与基于其他平台的RPS系统T2试验方案的对比分析,归纳出基于Tricon平台的RPS系统T2实验方案的优缺点并提出了相应的改进措施。论文中试验方案所采用的设计理念同样适用于基于其他DCS平台或FPGA平台的RPS系统T2试验。 展开更多

关键词 安全级数字化仪控系统 RPS T2试验 TRICON

在线阅读 下载PDF 职称材料

IEC 63096核电厂仪控系统网络安全管控标准分析 被引量：7

19

作者 郭云 李江海 《核科学与工程》 CAS CSCD 北大核心 2021年第4期771-777,共7页

伊朗"震网病毒"事件以来,全球核电厂仪表和控制系统(简称"仪控系统")面临日趋严重的网络攻击威胁,而仪控系统的安全直接影响核电厂的安全稳定运行。国际电工委员会(IEC)已在核电厂仪控系统网络安全防范方面发布了... 伊朗"震网病毒"事件以来,全球核电厂仪表和控制系统(简称"仪控系统")面临日趋严重的网络攻击威胁,而仪控系统的安全直接影响核电厂的安全稳定运行。国际电工委员会(IEC)已在核电厂仪控系统网络安全防范方面发布了若干标准,包括网络安全防范总体要求的标准(IEC62645)及协调核安全(Safety)和网络安全(Cybersecurity)的标准(IEC 62859)。然而,核电厂还迫切需要专门针对核电厂仪控系统的、涵盖仪控系统全生命周期的具体指引,用于指导核电厂实施网络安全管控措施,以预防、检测和处置网络攻击。IEC相关工作组于2016年启动核电厂仪控系统网络安全管控标准(IEC63096)的编制工作,该标准已于2020年10月正式发布。本文介绍了IEC 63096标准的架构和主要内容,重点分析该标准与其他相关标准的联系和差异,特别总结了该标准中建议的网络安全管控的实施流程,以帮助核电厂设计开发方、制造安装调试方和运营维护方等单位了解和应用该标准。 展开更多

关键词 核电厂 仪控系统 网络安全 网络安全管控 IEC 63096

在线阅读 下载PDF 职称材料

浅析核安全级数字化仪控系统软件V&V的方法 被引量：3

20

作者 叶王平 唐建中 +2 位作者 陈卫华 谷鹏飞 王升超 《原子能科学技术》 EI CAS CSCD 北大核心 2015年第B05期377-381,共5页

核安全级数字化仪控系统的软件验证与确认(V&V)的主要任务是查找任何可能存在的缺陷,评估软件潜在的风险与危害,并提供解决方案以确保和提高产品质量,其中软件V&V工具和方法的选择直接影响到V&V活动的成效。本文从核电站安... 核安全级数字化仪控系统的软件验证与确认(V&V)的主要任务是查找任何可能存在的缺陷,评估软件潜在的风险与危害,并提供解决方案以确保和提高产品质量,其中软件V&V工具和方法的选择直接影响到V&V活动的成效。本文从核电站安全级数字化仪控系统的功能出发,针对已有堆型和新研制堆型两种不同对象的特点,提出其软件V&V的模型,分析相关的方法和工具,并总结软件V&V活动的关键因素。 展开更多

关键词 数字化仪控系统 验证与确认 黑盒测试 白盒测试

在线阅读 下载PDF 职称材料