참고문헌
- EPRI, Handbook for verification and validation of digital systems Vol.1: Summary, EPRI TR-103291, Vol.1, 1994
- IEEE, IEEE Standard 1012 for Software Verification and Validation, an American National Standard, 1998
- M.E. Fagan, 'Design and Code Inspections to Reduce Errors in Program Development,' IBM system Journal, Vol. 15, No. 3, pp. 182-211, 1976 https://doi.org/10.1147/sj.153.0182
- Yeong-Jae, Yoo, 'Development of a Traceability Analysis Method based on Case Grammar for NPP Requirement Documents written in Korean Language', M.S. Thesis, Department of Nuclear and Quantum Engineering, KAIST, 2003
- J. Yoo, T. Kim, S. Cha, J. Lee and H. S. Son, 'A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems', Journal of Systemsand Software, accepted
- S. Koo, P. Seong and S. Cha, 'Software Design Specification and Analysis Technique for the Safety Critical Software based on Programmable Logic Controller (PLC)', Eighth IEEE International Symposium on High Assurance Systems Engineering, pp. 283-284, 2004 https://doi.org/10.1109/HASE.2004.1281760
- S. Koo, P. Seong, J. Jung and S. Choi, 'Software Design Specification and Analysis (NuFDS) Approach for the Safety Critical Software based on Programmable Logic Controller (PLC)', Proceedings of the Korean Nuclear Spring Meeting, 2004
- S. Koo, P. Seong, J. Yoo, S. Cha and Y. Yoo, 'An Effective Technique for the Software Requirements Analysis of NPP Safety-Critical Systems, Based on Software Inspection, Requirements Traceability and Formal Specification', Reliability Engineering & System Safety, 2004, in press https://doi.org/10.1016/j.ress.2004.08.024
- D. Harel, 'Statecharts: A Visual Formalism for Complex Systems,' Science of Computer Programming, vol. 8, pp.231-274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
- Kurt Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1, Springer-Verlag Berlin Heidelberg, 1997
- N.G. Leveson, M.P.E. Heimdahl, H. Hildreth and J.D. Reese, 'Requirements Specification for Process-Control Systems,' IEEE Transaction on Software Engineering, vol.20, no.9, Sept. 1994. https://doi.org/10.1109/32.317428
- C. Heitmeyer and B. Labaw, 'Consistency Checking of SCR-style Requirements Specification', International Symposium on Requirements Engineering, March 1995 https://doi.org/10.1109/ISRE.1995.512546
- WolsongnNPP 2/3/4, Software Work Practice Procedure for the Specification of SRS for Safety Critical Systems, Design Document no. 00-68000-SWP-002, Rev. 0, Sept. 1991
- J. Hopcroft and J. Ullman, Introduction to Automata Theory, Language and Computation, Addison-Wesley, 1979
- R. Alur and David L. Dill, 'A theory of Timed Automata,' Theoretical Computer Science Vol. 126, No. 2, pp. 183-236, April 1994 https://doi.org/10.1016/0304-3975(94)90010-8
- Roger S. Pressman, Software Engineering: A practitioner's approach, McGRAW-HILL Book Co, 2001
- IEC, IEC Standard 61131-3: Programmable controllers-Part 3, IEC 61131, 1993
- KOPEC. Functional Requirements for ATWS Mitigation System for KORI NPP UNIT 1, 2001
- KOPEC. Software Requirements Specification for ATWS Mitigation System for KORI NPP UNIT 1, 2001
- KNICS (Korea Nuclear Instrumentation and Control System Research and Development Center). http://www.knics.re.kr