论文标题
使用RESHA的破坏机制可追溯性和在核电厂的人类系统界面中的应用
Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA
论文作者
论文摘要
近年来,通过数字仪器和控制系统将现有和新的核电站现代化现代化。但是,行业和监管机构在这些系统的风险和后果分析方面也有相当大的关注。令人担忧的是由于软件缺陷而特别是数字共同原因失败。该软件的这些故障可能会发生在系统的控制和监视中。尽管已经提出了许多方法来识别软件故障模式,例如系统理论过程分析,数字系统的危害和结果分析等,但这些方法主要集中在系统的控制动作途径上。相比之下,信息反馈途径缺乏不安全的控制动作,这通常与软件基本事件有关。因此,对此类系统中软件基本事件的评估尚不清楚。在这项工作中,我们介绍了中间处理器和不安全信息流(UIF)的想法,以帮助安全分析师在反馈途径中的痕量故障机制以及如何将它们集成到断层树中以提高评估能力。提出的概念在两个综合案例研究中得到了证明,这是一个无人驾驶自动驾驶汽车的智能传感器集成平台,另一个在代表性的高级人体系统界面上进行了安全关键植物监测。确定了定性软件基本事件,并根据修改后的冗余系统理论危害分析方法进行故障树分析。案例研究表明,在断层树中使用UIF和中间处理器,以提高高度复杂的数字仪器反馈中软件故障的可追溯性。当系统中存在多个组件依赖关系时,改进的方法阐明了故障树的构建。
In recent years, there has been considerable effort to modernize existing and new nuclear power plants with digital instrumentation and control systems. However, there has also been considerable concern both by industry and regulatory bodies for the risk and consequence analysis of these systems. Of concern are digital common cause failures specifically due to software defects. These failures by the software can occur in both the control and monitoring of a system. While many methods have been proposed to identify software failure modes, such as Systems Theoretic Process Analysis, Hazard and Consequence Analysis for Digital Systems, etc., these methods are focused primarily on the control action pathway of a system. In contrast, the information feedback pathway lacks Unsafe Control Actions, which are typically related to software basic events; thus, assessment of software basic events in such systems is unclear. In this work, we present the idea of intermediate processors and Unsafe Information Flow (UIF) to help safety analysts trace failure mechanisms in the feedback pathway and how they can be integrated into a fault tree for improved assessment capability. The concepts presented are demonstrated in two comprehensive case studies, a smart sensor integrated platform for unmanned autonomous vehicles and another on a representative advanced human system interface for safety critical plant monitoring. The qualitative software basic events are identified, and a fault tree analysis is conducted based on a modified Redundancy guided Systems theoretic Hazard Analysis methodology. The case studies demonstrate the use of UIFs and intermediate processors in the fault tree to improve traceability of software failures in highly complex digital instrumentation feedback. The improved method clarifies fault tree construction when multiple component dependencies are present in the system.