다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기
Nuclear engineering and technology : an international journal of the Korean Nuclear Society, v.54 no.5, 2022년, pp.1635 - 1643
Jung, Sejin (Konkuk University) , Heo, Yoona (Konkuk University) , Yoo, Junbeom (Konkuk University)
AI-Helper
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...
N. Leveson, Safeware: System Safety and Computers, Addison Wesley, 1995.
International Electrotechnical Commission (IEC), IEC 61508, Functional Safety of Electrical, Electronic and Programmable Electronic, E/E/PE) safety-related systems, 2000.
Nuclear Regulatory Commission (NRC), Criteria for Use of Computers in Safety Systems of Nuclear Power Plants, RG 1.152), 2004.
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.
C.A. Ericson, Hazard Analysis Techniques for System Safety, John Wiley & Sons, 2015.
N.G. Leveson, J.P. Thomas, STPA Handbook, Cambridge, Ma, USA, 2018.
N. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety, MIT press, 2011.
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.
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.
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.
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.
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.
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.
Korea Atomic Energy Research Institute (KAERI), SRS for Reactor Protection System KNICS-RPS-SRS121. Technical reports, 2003.
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.
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.
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.
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.
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.
A. Abdulkhaleq, S. Wagner, Integrating State Machine Analysis with System-Theoretic Process Analysis, Software Engineering 2013-Workshopband, Gesellschaft fur Informatik e.V., Bonn, 2013.
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.