Browse > Article
http://dx.doi.org/10.5516/NET.04.2012.078

A RESEARCH ON SEAMLESS PLATFORM CHANGE OF REACTOR PROTECTION SYSTEM FROM PLC TO FPGA  

Yoo, Junbeom (Konkuk University, Division of Computer Science and Engineering)
Lee, Jong-Hoon (Konkuk University, Division of Computer Science and Engineering)
Lee, Jang-Soo (Korea Atomic Energy Research Institute, Man-Machine Interface System Team)
Publication Information
Nuclear Engineering and Technology / v.45, no.4, 2013 , pp. 477-488 More about this Journal
Abstract
The PLC (Programmable Logic Controller) has been widely used to implement real-time controllers in nuclear RPSs (Reactor Protection Systems). Increasing complexity and maintenance cost, however, are now demanding more powerful and cost-effective implementation such as FPGA (Field-Programmable Gate Array). Abandoning all experience and knowledge accumulated over the decades and starting an all-new development approach is too risky for such safety-critical systems. This paper proposes an RPS software development process with a platform change from PLC to FPGA, while retaining all outputs from the established development. This paper transforms FBD designs of the PLC-based software development into a behaviorally-equivalent Verilog program, which is a starting point of a typical FPGA-based hardware development. We expect that the proposed software development process can bridge the gap between two software developing approaches with different platforms, such as PLC and FPGA. This paper also demonstrates its effectiveness using an example of a prototype version of a real-world RPS in Korea.
Keywords
Embedded Software Development; PLC; FPGA; FBD; Verilog; Program Transformation;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 D. Jackson, "A Direct Path to Dependable Software", Communications of the ACM, vol. 52 (4), pp.78-88 (2009).
2 M. A. Dave, "Compiler Verification: A Bibliography", ACM SIGSOFT Software Engineering Notes, vol. 28 (6), pp.2-2 (2003).
3 E.-S. Lee, D.-A. Lee, J. Yoo, "A Survey on the Verification Methods for Translator", Proceeding of Korea Conference on Software Engineering (KCSE 2013) (2013).
4 M. Rinard, D. Marinov, "Credible Compilation with Pointers", Proceedings of FLoC Workshop on Run-Time Result Verification, Trento (1999).
5 International Electrotechnical Commission (IEC), Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC 61508, 2005
6 The Institute of Electrical and Electronics Engineers, Inc., "IEEE 7-4.3.2: Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations", IEEE 7-4.3.2 (2010).
7 SIEMENS, "Teleperm XS, Brief Description", Tech. Rep. KWU NLL1-1004-76-V2.2/04.98 (1998).
8 S. Cho, K. Koo, B. You, T.-W. Kim, T. Shim, J. S. Lee, "Development of the Loader Software for PLC programming", Conference of the the Institute of Electronics Engineers of Korea, vol. 30, pp.959-960 (2007)
9 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).
10 E. M. Clarke, E. A. Emerson, A. P. Sistla, "Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications", ACM Trans. Programming Languages and Systems, vol. 8 (2), pp.244-263 (1986).   DOI   ScienceOn
11 Radiy, www.radiy.com.
12 B. F. Dittman, "Regulatory Experience with FPGA-based Digital I&C Review", 2nd Workshop on the Applications of Field-Programmable Gate Arrays in Nuclear Power Plants (2009).
13 A. Pnueli, M. Siegel, E. Singerman, "Translation Validation", Tools and Algorithms for the Construction and Analysis of Systems, pp.151-166 (1998).
14 J.-H. Lee, J. Yoo, "NuDE: Development Environment for Safety-Critical Software of Nuclear Power Plant", Transactions of the Korean Nuclear Society Spring Meeting 2012, pp.114-1155 (2012).
15 R. K. Brayton, G. D. Hachtel, A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S.-T. Cheng, S. A. Edwards, S. P. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. K. Ranjan, S. Sarwary, T. R. Shiple, G. Swamy, T. Villa, "VIS: A System for Verification and Synthesis", The 8th International Conference on Computer Aided Verification (CAV '96), pp.428-432 (1996).
16 PLCopen, Plcopen for efficiency in automation, http://www.plcopen.org.
17 E. M. Clarke, D. Kroening, "Hardware Verification using ANSI-C Programs as a Reference", Proceedings of the 2003 Asia and South Pacific Design Automation Conference, pp.308-311 (2003).
18 D.-A. Lee, J. Yoo, "pSET2TC6: A Translation Tool to Standardize the Output Format of pSET", KIISE Spring Meeting 2011, vol. 38, pp.105-107 (2011).
19 D. Dangla, "FPGA for Space Applications", 1st Workshop on the Applications of Field-Programmable Gate Arrays in Nuclear Power Plants (2008).
20 J. Wang, "Radiations Effects in FPGAs", 9th Workshop on Electronics for LHC Experiments (2003).
21 U.S.NRC: United States Nuclear Regulatory Commission, Review guidelines for field-programmable gate arrays in nuclear power plants safety systems, nUREG/CR-7006 (2010).
22 Electronic Power Research Institute (EPRI), "Guidelines on the Use of Field Programmable Gate Arrays in Nuclear Power Plant I*8C Systems", Tech. Rep. EPRI TR-1019181 (2009).
23 S. Richter, J. Wittig, "Verification and Validation Process for Safety I&C Systems", Nuclear Plant Journal, May- June, pp.36-40 (2003)
24 A. Siora, "FPGA Properties and Safety Assurance of NPP I&C Systems", 1st Workshop on the Applications of Field- Programmable Gate Arrays in Nuclear Power Plants (2008).
25 CS Innovation, www.cs-innovation.com.
26 SIEMENS, "Space, Engineering System of Teleperm XS PLC", Tech. Rep. KWU NLL1-1026-76-V1.0/11.96 (1996).
27 ISTec, RETRANS, "Reverse Engineering Tool for FBD Programming of Teleperm XS PLC, Tech. Rep. (1997).
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 Mentor Graphics Corporation, "HDL Designer Series User Manual", Software Version 2008.1 Edition (2008).
31 Xilinx, Xilinx ise design suite, http://www.xilinx.com/products/.
32 Altera, Altera quartus ii, http://www.altera.com/products/software/.
33 J. Yoo, J.-H. Lee, S. Jeong, S. Cha, "FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs", The 23rd international Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pp. 48-51 (2011).
34 E. Jee, S. Jeon, S. Cha, K. Koh, J. Yoo, G. Park, P. Seong, "FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram", Journal of Research and Practice in Information Technology, vol. 42 (3), pp.255-272 (2010).
35 K. L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers (1993).
36 J. G. Choi, "Experiences of an FPGA-based Safety-Critical System Development for an Application to Nuclear Power Plants in Korea", 1st Workshop on the Applications of Field- Programmable Gate Arrays in Nuclear Power Plants (2008).
37 E. M. Clarke, O. Grumberg, D. A. Peled, Model Checking, MIT Press (1999).
38 Synchronous verilog, http://www.cs.ru.nl/spitters/onderwijs/sl1/materiaal/smv/tutorial/node56.html.
39 J. Yoo, S. Cha, E. Jee, "Verification of PLC Programs written in FBD with VIS", Nuclear Engineering and Technology, vol. 41 (1), pp.79-90 (2009).   DOI   ScienceOn
40 J.-K. Lee, "Design and Verification Process for Developing the FPGA-based Firmware for NPPs", 1st Workshop on the Applications of Field-Programmable Gate Arrays in Nuclear Power Plants (2008).
41 A. Siora, "Experience of RPC "Radiy" in Designing, Manufacturing and Implementation of FPGA based NPP I&C Systems", 1st Workshop on the Applications of Field-Programmable Gate Arrays in Nuclear Power Plants (2008).
42 Korea Atomic Energy Research Institute (KAERI), "Software Design Specification for Reactor Protection System", KNICSRPS-SD231 Rev.02 (2006).
43 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).
44 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
45 J. Yoo, E. Jee, S. Cha, "Formal Modeling and Verification of Safety-Critical Software", IEEE Software, vol. 26 (3), pp.42-49 (2009).   DOI   ScienceOn
46 IEC: International Electrotechnical Commission, International standard for programmable controllers: Programming languages, part 3 (1993).
47 S. Mishra, D. Kushwaha, A. Misra, "Hybrid Reliable Load Balancing with Mosix as Middleware and its Formal Verification using Process Algebra", Future Generation Computer System, vol. 28 (8), pp.1272-1282 (2012).   DOI   ScienceOn
48 Korea Atomic Energy Research Institute (KAERI), "SRS for Reactor Protection System", KNICS-RPS-SRS101 Rev.00 (2003).
49 J. Yoo, S. Cha, C. H. Kim, D. Y. Song, "Synthesis of FBDbased PLC Design from NuSCR Formal Specification", Reliability Engineering and System Safety, vol. 87 (2), pp.287-294 (2005).   DOI   ScienceOn
50 TEXAS INSTRUMENTS, "TMS320C55x Optimizing C/C++ Compiler Users Guide", Tech. Rep. SPRU281F (2003).
51 J. She, "Investigation on the Benefits of Safety Margin Improvement in CANDU Nuclear Power Plant Using an FPGA-based Shutdown System", Ph.D. thesis, The Univerisity of Western Ontario (2012).
52 Korea Atomic Energy Research Institute (KAERI), Survey of the CPLD/FPGA Technology for Application to NPP Digital I&C System, Tech. Rep. (2009).
53 WIKIPEDIA, Programmable logic controller, http://en.wikipedia.org/wiki/Programmable logic controller.
54 KNICS, Korea nuclear instrumentation and control system r&d center, http://www.knics.re.kr/english/eindex.html.
55 Electronic Power Research Institute (EPRI), "Generic Requirements Specification for Qualifying a Commercially Available PLC for Safety-Related Application in NPPs", Tech. Rep. EPRI TR-107330 (1996).
56 J. R. Stephen Brown, FPGA and CPLD Architectures: A Tutorial, vol. 13 (1996).
57 Wikipedia, Field-programmable gate array, http://en.wikipedia.org/wiki/FPGA.