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
|