Paper Info
Title
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
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 Iu0026Cs 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 Iu0026Cs. 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.
Year
Venue
Field
2017
JCSE
Software design,Computer science,FPGA prototype,Software development process,Computer-aided software engineering,Software verification and validation,Software construction,Software development,Operating system,Software verification,Embedded system
DocType
Volume
Issue
Journal
11
1
Citations 
PageRank 
References 
0
0.34
0
Authors
6
Name
Order
Citations
PageRank
Eui-Sub Kim111.38
Dong-Ah Lee232.77
Sejin Jung301.35
Junbeom Yoo414319.86
Jong-Gyun Choi552.26
Jang-Soo Lee612012.60