1 |
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).
|
2 |
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).
|
3 |
R. Tennent, "The denotational semantics of programming languages", Communicatin of the ACM, vol. 19 (8), pp. 437-453 (1976).
DOI
ScienceOn
|
4 |
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).
DOI
ScienceOn
|
5 |
T. Henzinger, Z. Manna, A. Pnueli, "Timed transition systems", REX Workshop, pp. 226-251 (1991).
|
6 |
R. Alur, D. L. Dill, "A theory of timed automata", Theoretical Computer Science vol. 126 (2), pp. 183-235 (1994)
DOI
ScienceOn
|
7 |
E. M. Clarke, O. Grumberg, D. A. Peled, "Model Checking", MIT Press, (1999).
|
8 |
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).
DOI
ScienceOn
|
9 |
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).
DOI
ScienceOn
|
10 |
S. Richter, J. Wittig, "Verification and validation process for safety I&C systems", Nuclear Plant Journal, vol. 21 (3), pp.36-40 (2003)
|
11 |
ISTec, RETRANS, reverse engineering tool for fbd programming of teleperm xs plc, Tech. rep., Germany (1997).
|
12 |
KNICS, Korea nuclear instrumentation and control system R&D center, http://www.knics.re.kr/english/eindex.html.
|
13 |
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).
|
14 |
T. Hoare, "The verifying compiler: A grand challenge for computing research", Journal of the ACM, vol. 50 (1), pp. 63-69 (2003).
DOI
ScienceOn
|
15 |
Korea Atomic Energy Rearch Institute, SRS for Reactor Protection System, KNICS-RPS-SRS101 Rev.00 (2003).
|
16 |
KAERI(Korea Atomic Energy Rearch Institute), Fromal SRS for Reactor Protection System, KNICS-RPS-SVR131-01 Rev.00 (2005).
|
17 |
I. Sommerville, "SOFTWARE ENGINEERING", 9th Edition, Addison Wesley, (2010).
|
18 |
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).
|
19 |
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).
DOI
ScienceOn
|
20 |
TEXAS INSTRUMENTS, TMS320C55x optimizing c/c++ compiler users guide, Tech. Rep. SPRU281F, TEXAS INSTRUMENTS (2003).
|
21 |
20 M. Pezze, M. Young, "Software Testing and Analysis", WILEY (2008).
|
22 |
IEC, IEC 61508, Functional safety of electrical, electronic and programmable electronic (E/E/PE) safety-related systems, (2000).
|
23 |
IBM Rational, Rational rhapsody, http://www-01.ibm.com/software/awdtools/rhapsody/.
|
24 |
N. G. Leveson, SAFEWARE, System safety and Computers, Addison Wesley, (1995).
|
25 |
International Electrotechnical Commission, International standard for programmable controllers: Programming languages, part 3 (1993).
|
26 |
SIEMENS, Space, engineering system of teleperm xs plc, Tech. Rep. KWU NLL1-1026-76-V1.0/11.96, Germany (1996).
|
27 |
S.-Y. Huang, K.-T. Cheng, "Fromal Equivalence Checking and Debugging", Kliwer Academic Publishers (1998).
|
28 |
invensys, Safety software suite, TriStation 1131 (TS1131), http://iom.invensys.com/.
|
29 |
WIKIPEDIA, Nuclear power in south korea, http://en. wikipedia.org/wiki/Nuclear power in South Korea.
|
30 |
J. Yoo, E. Jee, S. S. Cha, "Formal Modeling and Verification of Safety-Critical Software", IEEE Software, vol. 26 (3), pp. 42-49 (2009).
DOI
ScienceOn
|
31 |
J. Davoren, "Topologies, continuity and bisimulations", Theoretical Informatics and Applications, vol. 33, pp. 357-381 (1999).
DOI
ScienceOn
|
32 |
SIEMENS, Teleperm xs, brief description, Tech. Rep. KWUNLL1-1004-76-V2.2/04.98, Germany (1998).
|