摘要
核安全级分布式控制系统(DCS)是核电厂的“神经中枢”,为了保证最终的安全级DCS满足可靠性和可用性的要求,需要在DCS的全生命周期开展全面的测试和验证。通过对安全级DCS生命周期各个阶段的验证需求进行分析,提出了静态和动态相结合的设计验证实施方法。静态验证方法包含会议评审和条目化正向反向追踪等方式,适用于DCS开发的每个阶段;动态验证方法通过构建高保真模型开展动态验证,可在设计和集成阶段快速验证DCS的控制逻辑,发现其隐蔽的漏洞和缺陷,提高可靠性,从而保障核电厂安全稳定运行。
出处
《科技视界》
2025年第18期10-14,共5页
Science & Technology Vision
基金
国家重点研发计划资助项目(2022YFB3305200)。
