A formal approach to support the identification of unsafe control actions of STPA for nuclear protection systems

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analy...

Full description

Saved in:
Bibliographic Details
Published inNuclear engineering and technology Vol. 54; no. 5; pp. 1635 - 1643
Main Authors Jung, Sejin, Heo, Yoona, Yoo, Junbeom
Format Journal Article
LanguageKorean
Published 2022
Subjects
Formal software requirements specification
STPA
Software fault tree analysis
Unsafe control action
Hazard analysis
Online AccessGet full text

Cover

More Information
Summary:STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.
Bibliography:KISTI1.1003/JNL.JAKO202218661394912
ISSN:1738-5733
2234-358X