Browse > Article
http://dx.doi.org/10.1016/j.net.2021.10.033

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

Jung, Sejin (Konkuk University)
Heo, Yoona (Konkuk University)
Yoo, Junbeom (Konkuk University)
Publication Information
Nuclear Engineering and Technology / v.54, no.5, 2022 , pp. 1635-1643 More about this Journal
Abstract
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.
Keywords
Hazard analysis; STPA; Unsafe control action; Formal software requirements specification; Software fault tree analysis;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 N. Leveson, Safeware: System Safety and Computers, Addison Wesley, 1995.
2 P. Asare, J. Lach, J.A. Stankovic, Fstpa-I, A formal approach to hazard identification via system theoretic process analysis. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Philadelphia Pennsylvania, 2013. April 8-11, 2013.
3 Institute of Electrical and Electronics Engineers (IEEE), IEEE-704.3.2, IEEE Standard Criteria for Programmable Digital Devices in Safety Systems of Nuclear Power Generating Stations, 2016.
4 N. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety, MIT press, 2011.
5 M. Chen, L. Wang, J. Hu, T. Feng, An extraction method of STPA variable based on four-variable model, in: International Conference on Intelligent and Interactive Systems and Applications, Hongkong, 2018. June 29-30.
6 E.S. Kim, D.A. Lee, S. Jung, J. Yoo, J.G. Choi, J.S. Lee, NuDE 2.0: a formal method-based software development, verification and safety analysis environment for digital I&Cs in NPPs, Journal of Computing Science and Engineering 11 (1) (2017) 9-23.   DOI
7 Y. Zhou, L. Wang, J. Hu, Y. Wang, Safety analysis and requirements verification of electronic checklist system based on STPA, in: 8th IEEE International Conference on Software Engineering and Service Science (ICSESS), Beijing, China, Nov 24-26, 2017, 2017.
8 Q. Xu, J. Lin, Safety analysis of communication-based train control system by STPA and colored petri net, in: International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, 2019. Dec 16-18.
9 D. Zhu, S. Yao, C. Xu, STAMP-based hazard analysis for computer-controlled systems using petri nets, Int. J. Perform. Eng. 14 (9) (2018) 1997.
10 A. Abdulkhaleq, S. Wagner, Integrating State Machine Analysis with System-Theoretic Process Analysis, Software Engineering 2013-Workshopband, Gesellschaft fur Informatik e.V., Bonn, 2013.
11 J.P. Thomas, Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis, Massachusetts Institute of Technology (MIT), 2013. Ph.D. Dissertation.
12 S. Jung, J. Yoo, Y.J. Lee, A software fault tree analysis technique for formal requirement specifications of nuclear reactor protection systems, Reliab. Eng. Syst. Saf. 203 (2020) 107064.   DOI
13 International Electrotechnical Commission (IEC), IEC 61508, Functional Safety of Electrical, Electronic and Programmable Electronic, E/E/PE) safety-related systems, 2000.
14 Nuclear Regulatory Commission (NRC), Criteria for Use of Computers in Safety Systems of Nuclear Power Plants, RG 1.152), 2004.
15 C.A. Ericson, Hazard Analysis Techniques for System Safety, John Wiley & Sons, 2015.
16 N.G. Leveson, J.P. Thomas, STPA Handbook, Cambridge, Ma, USA, 2018.
17 F. Al-Shareefi, A. Lisitsa, C. Dixon, Abstract state machines and system theoretic process analysis for safety-critical systems, in: Brazilian Symposium on Formal Methods, Recife, Brazil, Nov 29 -, 2017. Dec 1.
18 J. Yoo, T. Kim, S. Cha, J.S. Lee, H.S. Son, A formal software requirements specification method for digital nuclear plant protection systems, J. Syst. Software 74 (1) (2005) 73-83.   DOI
19 Korea Atomic Energy Research Institute (KAERI), SRS for Reactor Protection System KNICS-RPS-SRS121. Technical reports, 2003.
20 Y. Seo, An Extended Process of STPA and Implementation of an Automatic Assistant Tool for Reactor Protection System Software, Master's Thesis, Konkuk University, 2016.
21 R. Wang, W. Zheng, C. Liang, T. Tang, An integrated hazard identification method based on the hierarchical Colored Petri Net, Saf. Sci. 88 (2016) 166-719.   DOI
22 N.Y. Choi, B.G. Lee, Hazard analysis process based on STPA using SysML, Journal of Internet Computing and Services 20 (3) (2019) 1-11 (In Korean).   DOI