Analysis on Deterministic Behavior Design of Safety Digital Instrumentation and Control System
-
摘要: 安全级数字化仪控系统行为逻辑通过软件承载,但软件可靠性评价相对困难,因此为确保安全级数字化仪控系统行为的复现性和及时性,保障系统的可靠性和安全性,需开展行为确定性设计。本文依据标准要求并结合工程经验,提出了安全级数字化仪控系统确定性设计需求,并从安全级数字化仪控系统确定性体现的两个方面出发,提出可通过基于模型的形式化建模来保证系统的复现性,通过对系统各个环节响应时间的分配来保证系统响应的及时性,为安全级数字化仪控系统行为确定性设计提供参考。
-
关键词:
- 安全级数字化仪控系统 /
- 可靠性评价 /
- 确定性
Abstract: The behavior logic of safety digital instrumentation and control (I&C) system is carried by software, but the software reliability evaluation is relatively difficult. Therefore, in order to ensure reproducibility and timeliness of safety digital I&C system, and ensure the reliability and safety of system, behavior deterministic design is required. According to the standard requirements and combined with engineering experience, this paper puts forward the deterministic design requirements of safety digital I&C system, and from the two aspects of its certainty, puts forward that the reproducibility of the system can be guaranteed through model-based formal modeling, and the timeliness of system response can be guaranteed through the allocation of response time of each link of the system. It provides a reference for the behavior deterministic design of safety digital I&C system.-
Key words:
- Safety digital I&C system /
- Reliability evaluation /
- Certainty
-
[1] 俞敏雯, 曾辉,刘正高. 系统可靠性评估技术发展综述[J]. 质量与可靠性,2005(2): 32-35. [2] 杨明. 基于多层流模型的核动力装置可靠性分析及故障诊断方法研究[D]. 哈尔滨: 哈尔滨工程大学, 2012. [3] 迟淼. 核安全级仪控软件可靠性评估研究[D]. 哈尔滨: 哈尔滨工程大学, 2015. [4] U. S. Nuclear Regulatory Commission. Guidance on software reviews for digital computer-based instrumentation and controls systems: NUREG 0800 BTP 7-14[S]. Washington: NRC, 2007. [5] 国家能源局. 核电厂安全重要仪表和控制系统总体要求: NB/T 20026—2014[S]. 北京: 新华出版社, 2015. [6] 国家能源局. 核电厂安全重要仪表和控制系统执行A类功能的计算机软件: NB/T 20054—2011[S]. 北京: 原子能出版社, 2011. [7] 柳云鹤. 基于SCADE的核反应堆停堆逻辑的同步性与确定性建模与验证[D]. 济南: 山东大学, 2019.
计量
- 文章访问数: 205
- HTML全文浏览量: 105
- PDF下载量: 24
- 被引次数: 0