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

Analysis on Deterministic Behavior Design of Safety Digital Instrumentation and Control System

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

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.