References
- J. M. O'Hara, J. C. Higgins, W. F. Stubler, J. Kramer, Computer-based Procedure Systems: Technical Basis and Human factors review guidance, NUREG/CR-6634, U.S. Nuclear Regulatory Commission, Washington D.C., 2002
- M. Lind, Modeling goals and functions of complex industrial plant, Applied Artificial Intelligence, Vol.8, No.2, pp.259-283, 1994 https://doi.org/10.1080/08839519408945442
- M. Fang, MFM Model Based Diagnosis and Implementation, Department of Automation, 94-D-712, Technical University of Denmark, 1994
- J. E. Larsson, Diagnostic reasoning based on means-end models: experiences and future prospects, Knowledge-Based Systems, vol.15, pp.103-110, 2002 https://doi.org/10.1016/S0950-7051(01)00126-5
- J. Petersen, Causal reasoning based on MFM, Proceedings of Cognitive Systems Engineering in Process Control 2000 (CSEPC2000), pp.36-43, Taejon, Korea, 2000
- M. Lind, Plant modeling for human supervisory control, Transactions of the institute of measurement and control, vol.21, No.4/5, pp.171-180, 1999 https://doi.org/10.1177/014233129902100405
- A. Gofuku, T. Ohi, K. Ito, Development of a dynamic operation permission system, Proceedings 2003 CUP workshop on advanced I&C systems for NPP operation and maintenance, pp.71-78, Aomori, Japan, 2003
- A. Gofuku, Y. Ozaki, K. Ito, A dynamic operation permissi-on system for pressurized water reactor plants, Proceedings of 2002 international symposium on the future I&C for NPP (ISOFIC2002), pp.360-365, Seoul, Korea, 2003
- M.M. van Paassen, P. A. Wieringa, Reasoning with multilevel flow models, Reliability engineering and system safety, vol.64, pp.151-165, 1999 https://doi.org/10.1016/S0951-8320(98)00060-X
- H. Seok, H. C. NO, S. J. CHO et al., Development of software for the microsimulator for the Kori nuclear power plant unit 2 - user manual, Korea Electric Power Co., KRC-90N-J07, 1992
- H. Seok, H. C. NO, S. J. CHO et al., Development of software for the microsimulator for the Kori nuclear power plant unit 2, Nuclear technology, vol.106, no.3, pp.384-396, 1994
- Y. R. Sim, M. G. Na, H. C. No, Development of a smallscale simulator for designing advanced control algorithms at nuclear power plants, Proceeding of KNS autumn meeting, Yongpyeong, Korea, 2002
- J. H. Kim, S. J. Lee, P. H. Seong, Investigation on applicability of information theory to prediction of operator performance in diagnosis tasks at nuclear power plants, IEEE transactions on nuclear science, vol.50, no.4, pp,1238-1252, 2003 https://doi.org/10.1109/TNS.2003.814939
- Seung Jun Lee and Poong Hyun Seong, 'Development of an Automated Operating Procedure System using Fuzzy Colored Petri Nets for Nuclear Power Plants,' Annals of Nuclear Energy, 2003, Vol. 31, No. 8, pp. 243-250 https://doi.org/10.1016/j.anucene.2003.12.002
- Y. Jung, P. H. Seong, M. C. Kim, A model for computerized procedures based on a flowchart and success logic tree, Reliability engineering and system safety, vol.83, no.3, pp.351-362, 2004 https://doi.org/10.1016/j.ress.2003.10.012