安全级数字化仪控系统行为确定性设计分析

来源：核动力工程杂志2022年第2期北京时间：

作者：伍巧凤, 刘宏春, 孙诗炎, 李昱, 王琳, 张隽祺, 吴坤任

单位：中国核动力研究设计院核反应堆系统设计技术重点实验室，成都，610213；

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

关键词：安全级数字化仪控系统, 可靠性评价, 确定性