A formal approach to support the identifi cation of unsafe control actions of STPA for nuclear protection systems
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
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 abilityof analysts to construct an information model called Control Structures, upon which analysts try toidentify unsafe controls between system components. This paper proposes a formal approach to supportthe manual identification of UCAs, effectively and systematically. It allows analysts to mechanicallyextract 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 ContextTables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysistechnique. The case study with a preliminary version of a Korean nuclear reactor protections systemshows the proposed approach's effectiveness and applicability
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 abilityof analysts to construct an information model called Control Structures, upon which analysts try toidentify unsafe controls between system components. This paper proposes a formal approach to supportthe manual identification of UCAs, effectively and systematically. It allows analysts to mechanicallyextract 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 ContextTables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysistechnique. The case study with a preliminary version of a Korean nuclear reactor protections systemshows the proposed approach's effectiveness and applicability
참고문헌 (22)
- N. Leveson, "Safeware: System Safety and Computers" (1995), Addison Wesley
- International Electrotechnical Commission, "IEC 61508, Functional Safety of Electrical, Electronic and Programmable Electronic, E", E, pp.2000, ~
- Nuclear Regulatory Commission, "Criteria for Use of Computers in Safety Systems of Nuclear Power Plants, RG 1.152", ~ (2004)
- Institute of Electrical and Electronics Engineers, "IEEE-704.3.2, IEEE Standard Criteria for Programmable Digital Devices in Safety Systems of Nuclear Power Generating Stations", ~ (2016)
- C. A. Ericson, "Hazard Analysis Techniques for System Safety" (2015), John Wiley &Sons
- N. G. Leveson, "STPA Handbook" (2018)
- N. Leveson, "Engineering a Safer World: Systems Thinking Applied to Safety" (2011), MIT press
- J.P. Thomas, "Extending and Automating a Systems-Theoretic Hazard Analysis for Requirements Generation and Analysis", Ph.D., pp.2013
- F. Al-Shareefi, "Abstract state machines and system theoretic process analysis for safety-critical systems, in: Brazilian Symposium on Formal Methods", Recife, Brazil (2017)
- M. Chen, "An extraction method of STPA variable based on four-variable model", International Conference on Intelligent and Interactive Systems and Applications (2018)
- J. Yoo, "A formal software requirements specification method for digital nuclear plant protection systems", J. Syst. Software, 74(1), pp.73~83 (2005)
- S. Jung, "A software fault tree analysis technique for formal requirement specifications of nuclear reactor protection systems", Reliab. Eng. Syst. Saf, 203, pp.107064~ (2020)
- E. S. Kim, "NuDE 2.0: a formal methodbased software development, verification and safety analysis environment for digital I&Cs in NPPs", Journal of Computing Science and Engineering, 11(1), pp.9~23 (2017)
- Y. Seo, "An Extended Process of STPA and Implementation of an Automatic Assistant Tool for Reactor Protection System Software", Master, pp.2016
- SRS for Reactor Protection System KNICS-RPS-SRS121, "Korea Atomic Energy Research Institute", ~ (2003)
- Y. Zhou, "Safety analysis and requirements verification of electronic checklist system based on STPA, in: 8th IEEE International Conference on Software Engineering and Service Science (ICSESS)", 8th IEEE International Conference on Software Engineering and Service Science(ICSESS), Beijing, China, Nov 24-26, 2017 (2017)
- 최나연, "SysML을 이용한 STPA 기반의 위험원 분석 프로세스", 인터넷정보학회논문지, 20(3), pp.1~11 (2019), 한국인터넷정보학회[DOI]
- R. Wang, "An integrated hazard identification method based on the hierarchical Colored Petri Net", Saf. Sci, 88, pp.166~719 (2016)
- Q. Xu, "Safety analysis of communication-based train control system by STPA and colored petri net", International 2019 Cyberspace Congress, CyberDI and CyberLife (2019)
- D. Zhu, "STAMP-based hazard analysis for computer-controlled systems using petri nets", Int. J. Perform. Eng, 14(9), pp.1997~ (2018)
- P. Asare, "A formal approach to hazard identification via system theoretic process analysis", ACM, 2013, ~
- A. Abdulkhaleq, "Integrating State Machine Analysis with System-", Theoretic Process Analysis, Software Engineering 2013-Workshopband, Gesellschaft für Informatik (2013)