摘要：安全级数字化仪控系统行为逻辑通过软件承载,但软件可靠性评价相对困难,因此为确保安全级数字化仪控系统行为的复现性和及时性,保障系统的可靠性和安全性,需开展行为确定性设计。本文依据标准要求并结合工程经验,提出了安全级数字化仪控系统确定性设计需求,并从安全级数字化仪控系统确定性体现的两个方面出发,提出可通过基于模型的形式化建模来保证系统的复现性,通过对系统各个环节响应时间的分配来保证系统响应的及时性,为安全级数字化仪控系统行为确定性设计提供参考。

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

摘要：针对目前核电厂安全级数字化仪控系统(DCS)网关应用工业控制协议Modbus/TCP所面临的信息安全问题,分析协议所缺失的5大信息安全服务,阐述缺失项目所带来的信息安全威胁。最后针对先进核电厂安全级仪控平台NASPIC网关网络信息安全设计出切实可行的集访问控制、完整性校验、加密认证、安全报警为一体的Modbus/TCP信息安全防御措施,该设计措施解决了核电厂安全级DCS网关网络信息安全问题。

摘要：现场可编程门阵列(FPGA)技术在全球核电站仪表和控制系统领域的应用,特别是在安全级控制系统的应用正不断地引起关注。与基于微处理器的控制系统相比,基于FPGA技术的安全级控制系统解决方案具有低复杂度、较高的可测试性、不依赖复杂运行软件以及更易于鉴定等特点。基于FPGA的控制系统为核电站提供了一种满足多样性设计需求、具有成本优势、长周期支持的安全级控制系统解决方案。通过研究对比FPGA技术和CPU技术本身的性能和特点,提出基于FPGA技术开展核电安全级数字化仪控系统平台的技术路线。研判认为,FPGA技术在安全级仪控系统中将迎来新的发展机遇,也将是发展核电的一个突破口。根据我国核电发展的现状和趋势,提出了以满足我国三代或四代核电机组为目标的、基于FPGA的核电仪控系统的自主研发技术路线。

摘要：在核电厂概率安全分析中,数字化仪控系统和设备的建模以及失效率的评估在核电行业尚无统一的标准或业界普遍认可的方法,尤其是软件失效和共因失效参数的准确量化。文章介绍了一种基于数字化仪控系统可靠性模型的评估方法:基于安全级数字化仪控系统的设计特征,通过分析故障模式有关的失效机制,系统性识别防御措施并将其与系统可靠性模型中相应元素相关联来评估对故障模式和失效机制有效性,确定残余主要失效机制和故障模式,并结合现行实践方法,来估计失效率。最后,通过与现行方法进行比较,分析了该方法的实施难点,并提出了相应的注意事项和完善建议。

摘要：百万千瓦级商用核电站采用的核安全级数字化仪控系统(DCS)结构复杂、设备众多,常规的故障报警机制,无法捕获设备的闪发故障,导致维护人员定位故障设备时间过长。当设备故障时间超过电厂规定时,直接导致机组运行模式的后撤,给核电厂造成严重的经济损失。为了解决以上问题,基于ACPR1000和睦系统(FirmSys)架构,提出了核安全级DCS设备故障日志方案。首先,针对核安全级数字保护系统的特点,提出了故障日志整体设计思路;然后,考虑充分利用核安全级DCS设备的内存资源,提出了故障日志生成和存储方案;最后,通过软件工具实现故障日志的解析、显示、查询与导出等功能,并引入时间戳的概念。通过反复测试表明,该方案可靠性高、安全性好,不仅为核安全级DCS设备捕获闪发设备故障提供有效的手段,而且提升了维护人员定位故障设备的效率,可快速恢复机组的故障状态,保障机组正常运行。目前,该方案已在阳江5号机组上成功应用,在防城港3号、4号机组项目上也处于工厂测试阶段。