摘要：核电仪控系统网络可靠性同生产活动息息相关,通常关注网络本身的连通性、容量和时延。由于核电仪控网络承担了生产特性,且网络攻击对仪控网络中控制器节点的破坏可能导致网络连通性未破坏的情况下生产活动遭受影响,因此本文将研究信息安全对核电仪控系统网络可靠性的影响,建立核电仪控系统网络可靠性模型,并提出核电仪控系统结合信息安全的网络可靠性指标,并针对网络攻击进行相应的影响分析。

摘要：为适应FPGA技术的快速发展,推动其在核电仪控系统领域的应用,在分析FPGA技术特性的基础上,从系统安全设计原则、开发过程、硬件设计、工具选用、商品级物项使用方面对该技术应用于核电仪控系统的安全要点进行了分析,提出了对应的技术措施。

摘要：在核电站数字化仪控系统中,应用软件中的算法块是执行核反应堆安全功能的关键环节和重要组成部分。驱动类算法块作为应用软件的一部分,运行在控制器中,主要完成对现场驱动及控制类设备的控制。若该部分功能实现不正确,会导致现场设备异常启动或停止,不能正确地实现对现场设备的调节和控制。保证算法块功能运行的正确性,对于核电站现场设备的安全稳定运行具有重要意义。驱动类算法块功能结构复杂,且与现场操作流程及工艺密切相关。为了更贴近核电站现场实际应用场景,提出了一种基于场景分析法的核电仪控系统驱动算法块的测试用例设计方法。该研究对测试用例设计方法进行了分析和描述,有效保障了测试用例设计的充分性和完整性,并成功地将其应用到实际工程项目驱动算法块的测试中,取得良好的应用效果。

摘要：核电仪控系统中机柜的状态关系到系统能否稳定、可靠运行。因此,机柜状态的监测是非常重要的。本文介绍的机柜状态监测模块的设计以单片机为核心,可监测机柜内温度、机柜电源、风扇电源、控制器板卡运行状态等,实现本地报警并可将机柜状态信息通过MODBUS通信上报,以便于远程操作人员了解机柜的实时运行状态。经过初步的功能和性能调试,该模块满足监测机柜状态的功能要求,且配置灵活、运行稳定,可应用于核电站安全级和非安全级系统。

摘要：在核电仪控系统的维护过程中,需要对控制器进行数据下装来完成工程组态的校验与升级。为了保证数据下装的准确性与完整性,对核电仪控系统内局域网(LAN)通信节点的组成特征进行了研究。对现有的局域网通信方法进行了分析,提出了一种基于IEEE 802.3协议的数据下装与校验方法。首先,通过设计功能指令以及预设错误通知,保证系统能够及时获取局域网通信过程中出现的错误;然后,基于MAC帧格式,设计了一种新的数据桢格式,通过封装功能码以及错误通知指令来保证通信节点之间的交互性;最后,采用数据包CRC校验、文件CRC校验以及文件回读比较等一系列方法,保证文件在局域网内传输的正确性。经过测试,该方法具有可靠性高、传输速度快以及配置要求低等优点,可以广泛应用于船舶、火电等嵌入式模块较多的局域网系统。

摘要：针对核电仪控系统中安全性、可靠性的必要性和重要性,介绍了安全性、可靠性的概念及设计分析方法。同时从概念、设计目的、分析方法等方面分析了核电仪控系统中安全与可靠性的关系及区别。

摘要：本文简要介绍西屋核电仪控分布处理系统的通信，电厂计算机和工作站，报警显示以及数字一体化设计的控制和保护系统。

摘要：核电仪控系统已基本采用全数字化仪控系统,大幅提升了核电站运行的安全性、可靠性和经济性。但是,相比传统的模拟系统,数字化仪控系统也引入了新的可靠性问题。探讨目前核电数字化仪控系统由于功能的重要性和系统的复杂性带来的可靠性设计和分析的问题,以及工程实践中遇到的困难。探索了在工程上建立合理可行的可靠性设计体系,在设计早期就开展可靠性分析论证工作,及时发现问题,并反馈到设计中去指导设计决策,避免设计后期才发现颠覆性的设计问题。在设计实施完成后,再通过详细的可靠性分析和测试补充验证。可靠性设计贯穿仪控系统的全生命周期,可以针对核电站不同仪控子系统的功能要求和技术特点,采用不同形式的可靠性分析和验证方法,简化分析工作的同时,提升系统整体的设计可靠性。

摘要：提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。