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

作     者：伍巧凤 刘宏春 孙诗炎 李昱 王琳 张隽祺 吴坤任 Wu Qiaofeng;Liu Hongchun;Sun Shiyan;Li Yu;Wang Lin;Zhang Junqi;Wu Kunren

作者机构：中国核动力研究设计院核反应堆系统设计技术重点实验室成都610213 

出 版 物：《核动力工程》 (Nuclear Power Engineering)

年 卷 期：2022年第43卷第2期

页      码：167-170页

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

主 题 词：安全级数字化仪控系统 可靠性评价 确定性 

学科分类：080805[080805] 0808[工学-自动化类] 080202[080202] 08[工学] 080401[080401] 0804[工学-材料学] 0802[工学-机械学] 0811[工学-水利类] 

核心收录：

D　O　I：10.13832/j.jnpe.2022.02.0167

馆 藏 号：203109616...