Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA
Edward Chen, Han Bao, Tate Shorthill, Carl Elks, Nam Dinh

TL;DR
This paper introduces a novel approach using Unsafe Information Flows and intermediate processors to trace software failure mechanisms in digital systems of nuclear power plants, enhancing fault analysis and safety assessment.
Contribution
It proposes a new method integrating UIFs and intermediate processors into fault trees, improving software failure traceability in complex digital instrumentation feedback systems.
Findings
Enhanced fault tree clarity with multiple component dependencies
Successful demonstration in autonomous vehicle sensor platform
Improved software failure traceability in safety-critical systems
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRisk and Safety Analysis · Software Reliability and Analysis Research · Fault Detection and Control Systems
