Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

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)
  • Received : 2012.10.30
  • Accepted : 2013.02.12
  • Published : 2013.08.25
Download PDF
⟨ Previous Next ⟩

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

References

  1. IEC: International Electrotechnical Commission, International standard for programmable controllers: Programming languages, part 3 (1993).
  2. 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).
  3. Korea Atomic Energy Research Institute (KAERI), Survey of the CPLD/FPGA Technology for Application to NPP Digital I&C System, Tech. Rep. (2009).
  4. WIKIPEDIA, Programmable logic controller, http://en.wikipedia.org/wiki/Programmable logic controller.
  5. 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).
  6. 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).
  7. J. R. Stephen Brown, FPGA and CPLD Architectures: A Tutorial, vol. 13 (1996).
  8. Wikipedia, Field-programmable gate array, http://en.wikipedia.org/wiki/FPGA.
  9. KNICS, Korea nuclear instrumentation and control system r&d center, http://www.knics.re.kr/english/eindex.html.
  10. 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). https://doi.org/10.5516/NET.2009.41.1.079
  11. 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).
  12. 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).
  13. 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).
  14. Korea Atomic Energy Research Institute (KAERI), "Software Design Specification for Reactor Protection System", KNICSRPS-SD231 Rev.02 (2006).
  15. 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). https://doi.org/10.1016/j.future.2011.02.004
  16. 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).
  17. 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
  18. J. Yoo, E. Jee, 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
  19. Korea Atomic Energy Research Institute (KAERI), "SRS for Reactor Protection System", KNICS-RPS-SRS101 Rev.00 (2003).
  20. 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). https://doi.org/10.1016/j.ress.2004.05.005
  21. TEXAS INSTRUMENTS, "TMS320C55x Optimizing C/C++ Compiler Users Guide", Tech. Rep. SPRU281F (2003).
  22. SIEMENS, "Space, Engineering System of Teleperm XS PLC", Tech. Rep. KWU NLL1-1026-76-V1.0/11.96 (1996).
  23. SIEMENS, "Teleperm XS, Brief Description", Tech. Rep. KWU NLL1-1004-76-V2.2/04.98 (1998).
  24. S. Richter, J. Wittig, "Verification and Validation Process for Safety I&C Systems", Nuclear Plant Journal, May- June, pp.36-40 (2003)
  25. ISTec, RETRANS, "Reverse Engineering Tool for FBD Programming of Teleperm XS PLC, Tech. Rep. (1997).
  26. invensys, Safety software suite, TriStation 1131 (TS1131), http://iom.invensys.com/.
  27. 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)
  28. WIKIPEDIA, Nuclear power in south korea, http://en.wikipedia.org/wiki/Nuclear power in South Korea.
  29. Mentor Graphics Corporation, "HDL Designer Series User Manual", Software Version 2008.1 Edition (2008).
  30. Xilinx, Xilinx ise design suite, http://www.xilinx.com/products/.
  31. Altera, Altera quartus ii, http://www.altera.com/products/software/.
  32. 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).
  33. 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).
  34. 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).
  35. K. L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers (1993).
  36. E. M. Clarke, O. Grumberg, D. A. Peled, Model Checking, MIT Press (1999).
  37. Synchronous verilog, http://www.cs.ru.nl/spitters/onderwijs/sl1/materiaal/smv/tutorial/node56.html.
  38. 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).
  39. PLCopen, Plcopen for efficiency in automation, http://www.plcopen.org.
  40. 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).
  41. 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). https://doi.org/10.1145/5397.5399
  42. 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).
  43. 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).
  44. D. Dangla, "FPGA for Space Applications", 1st Workshop on the Applications of Field-Programmable Gate Arrays in Nuclear Power Plants (2008).
  45. J. Wang, "Radiations Effects in FPGAs", 9th Workshop on Electronics for LHC Experiments (2003).
  46. 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).
  47. 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).
  48. Radiy, www.radiy.com.
  49. 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).
  50. CS Innovation, www.cs-innovation.com.
  51. 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).
  52. D. Jackson, "A Direct Path to Dependable Software", Communications of the ACM, vol. 52 (4), pp.78-88 (2009).
  53. M. A. Dave, "Compiler Verification: A Bibliography", ACM SIGSOFT Software Engineering Notes, vol. 28 (6), pp.2-2 (2003).
  54. 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).
  55. M. Rinard, D. Marinov, "Credible Compilation with Pointers", Proceedings of FLoC Workshop on Run-Time Result Verification, Trento (1999).
  56. A. Pnueli, M. Siegel, E. Singerman, "Translation Validation", Tools and Algorithms for the Construction and Analysis of Systems, pp.151-166 (1998).
  57. International Electrotechnical Commission (IEC), Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC 61508, 2005