JCSE, vol. 11, no. 1, pp.9-23, March, 2017

DOI: http://dx.doi.org/10.5626/JCSE.2017.11.1.9

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi and Jang-Soo Lee
Division of Computer Science and Engineering, Konkuk University, Seoul, Korea Man-Machine Interface System Team, Korea Atomic Energy Research Institute, Daejeon, Korea

Abstract: NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

Keyword: MBD; Formal methods; Safety analysis; PLC; FPGA; Digital I&C

Full Paper:   326 Downloads, 1371 View