基于NASPIC平台的安全级DCS T2定期试验用例工程设计优化研究

核电厂安全级DCS的T2定期试验具有检查系统中逻辑和整定值可用性与准确性的重要作用。对基于NASPIC平台的T2定期试验方式进行了研究,通过与其他平台的T2定期试验方式做比较分析,总结出了基于NASPIC平台T2定期试验用例注入功能的优缺点,并针对该功能的缺点提出了改进措施,形成了新的T2定期试验测试用例的生成策略。通过测试验证,新的方式可以用于改进基于NASPIC平台T2定期试验用例注入功能,以确保系统中逻辑和整定值的可用性与准确性。

基于FPGA的“龙鳞”通信模块跨时钟域验证实践

由于现场可编程逻辑门阵列(FPGA)功能实现的多元化,往往会出现不同时钟域的信号.不同时钟域的信号进行交互,若不进行同步处理,经常会产生数据丢失、时序错误等问题,所以跨时钟域检查对FPGA功能实现特别重要.本文主要阐述了在开展"龙鳞"平台通信模块FPGA软件验证与确认工作中跨时钟域检查的测试流程和方法,对跨时钟异常进行分类,分析通信模块FPGA软件的跨时钟异常并提供解决方案,为FPGA测试工程师提供一种测试思路.

基于NASPIC平台的反应堆保护系统架构设计研究

反应堆保护系统是核电厂中非常重要的安全系统,主要用于保护反应堆、环境及人员的安全,属于核电厂1E级仪表控制设备,其自身的可靠性和安全性,对核电厂的正常运行起着至关重要的作用。其中反应堆保护系统架构对整个系统的可靠性、可用率和可维护性等起着关键作用。本文基于龙鳞(NASPIC)平台,根据反应堆保护系统的功能需求和设计准则,提出了一套较为完善合理、满足功能和设计准则要求的反应堆保护系统架构。同时根据架构设计搭建了"华龙一号"科研样机,并基于FTA/Markov可靠性分析方法,就搭建的保护系统科研样机进行了功能测试和可靠性分析计算,证明反应堆保护系统架构设计符合设计要求,为后续项目的系统架构设计提供参考。