References
- N. G. Leveson, SAFEWARE, System safety and Computers, Addison Wesley, (1995).
- International Electrotechnical Commission, International standard for programmable controllers: Programming languages, part 3 (1993).
- IEC, IEC 61508, Functional safety of electrical, electronic and programmable electronic (E/E/PE) safety-related systems, (2000).
- SIEMENS, Space, engineering system of teleperm xs plc, Tech. Rep. KWU NLL1-1026-76-V1.0/11.96, Germany (1996).
- SIEMENS, Teleperm xs, brief description, Tech. Rep. KWUNLL1-1004-76-V2.2/04.98, Germany (1998).
- S. Richter, J. Wittig, "Verification and validation process for safety I&C systems", Nuclear Plant Journal, vol. 21 (3), pp.36-40 (2003)
- ISTec, RETRANS, reverse engineering tool for fbd programming of teleperm xs plc, Tech. rep., Germany (1997).
- invensys, Safety software suite, TriStation 1131 (TS1131), http://iom.invensys.com/.
- KNICS, Korea nuclear instrumentation and control system R&D center, http://www.knics.re.kr/english/eindex.html.
- S. Cho, K. Koo, B. You, T.-W. Kim, T. Shim, J. Lee, "Development of the loader software for PLC programming", Proceedings Conference of the Institute of Electronics Engineers of Korea, Vol. 30 (1), pp. 959-960, (2007).
- WIKIPEDIA, Nuclear power in south korea, http://en. wikipedia.org/wiki/Nuclear power in South Korea.
- T. Hoare, "The verifying compiler: A grand challenge for computing research", Journal of the ACM, vol. 50 (1), pp. 63-69 (2003). https://doi.org/10.1145/602382.602403
- Korea Atomic Energy Rearch Institute, SRS for Reactor Protection System, KNICS-RPS-SRS101 Rev.00 (2003).
- KAERI(Korea Atomic Energy Rearch Institute), Fromal SRS for Reactor Protection System, KNICS-RPS-SVR131-01 Rev.00 (2005).
- J. Yoo, E. Jee, S. S. Cha, "Formal Modeling and Verification of Safety-Critical Software", IEEE Software, vol. 26 (3), pp. 42-49 (2009). https://doi.org/10.1109/MS.2009.67
- I. Sommerville, "SOFTWARE ENGINEERING", 9th Edition, Addison Wesley, (2010).
- C. L. Heitmeyer, R. D. Jeffords, B. G. Labaw, "Automated consistency checking of requirements specifications", IEEE Transactions on Software Engineering, vol. 5 (3), pp. 231-261 (1996).
- 18 J. Yoo, T. Kim, S. Cha, J.-S. Lee, H. S. Son, "A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems", Journal of Systems and Software, vol. 74 (1), pp. 73-83 (2005). https://doi.org/10.1016/j.jss.2003.10.018
- TEXAS INSTRUMENTS, TMS320C55x optimizing c/c++ compiler users guide, Tech. Rep. SPRU281F, TEXAS INSTRUMENTS (2003).
- 20 M. Pezze, M. Young, "Software Testing and Analysis", WILEY (2008).
- IBM Rational, Rational rhapsody, http://www-01.ibm.com/software/awdtools/rhapsody/.
- D.-A. Lee, J. Yoo, J.-S. Lee, "Equivalence checking between function block diagrams and c programs using HW-CBMC", The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), pp. 397-408 (2011).
- E. M. Clarke, D. Kroening, "Hardware verification using ANSI-C programs as a reference", Proceedings of the 2003 Asia and South Pacificc Design Automation Conference, pp. 308-311 (2003).
- S.-Y. Huang, K.-T. Cheng, "Fromal Equivalence Checking and Debugging", Kliwer Academic Publishers (1998).
- R. Tennent, "The denotational semantics of programming languages", Communicatin of the ACM, vol. 19 (8), pp. 437-453 (1976). https://doi.org/10.1145/360303.360308
- J. Yoo, S. Cha, E. Jee, "Verificatin of PLC Programs written in FBD with VIS", Nuclear Engineering and Technology, vol. 41 (1) pp. 79-90 (2009). https://doi.org/10.5516/NET.2009.41.1.079
- T. Henzinger, Z. Manna, A. Pnueli, "Timed transition systems", REX Workshop, pp. 226-251 (1991).
- R. Alur, D. L. Dill, "A theory of timed automata", Theoretical Computer Science vol. 126 (2), pp. 183-235 (1994) https://doi.org/10.1016/0304-3975(94)90010-8
- J. Davoren, "Topologies, continuity and bisimulations", Theoretical Informatics and Applications, vol. 33, pp. 357-381 (1999). https://doi.org/10.1051/ita:1999123
- E. M. Clarke, O. Grumberg, D. A. Peled, "Model Checking", MIT Press, (1999).
- E. Jee, J. Yoo, S. Cha, D. Bae, "A data flow-based structural testing technique for fbd programs", Information and Software Technology, vol. 51 (7), pp. 1131-1139 (2009). https://doi.org/10.1016/j.infsof.2009.01.003
- J. Yoo, S. Cha, C. H. Kim, D. Y. Song, "Synthesis of FBD based PLC Design from NuSCR Formal Specification", Reliability Engineering and System Safety, vol. 87 (2), pp. 287-294 (2005). https://doi.org/10.1016/j.ress.2004.05.005