A PLC platform-independent structural analysis on FBD programs for digital reactor protection systems

“…FBD Checker [59] checks the structure of FBD programs in accordance with several international rules and guidelines [1,60,61], and advises which parts may have errors or potential problems in the structure. Commercial PLC SW engineering tools perform the structural analysis well, but the exact correlation to upper rules and guidelines is not clear nor opened.…”

Section: B the Design Phasementioning

confidence: 99%

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

Kim¹,

Lee²,

Jung³

et al. 2017

Journal of Computing Science and Engineering

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Construction of Digital Protection and Knowledge Integration Platform for Intangible Cultural Heritage in the Context of Big Data

Zhang¹,

Deng²

2021

2021 International Conference on Applications and Techniques in Cyber Intelligence

View full text Add to dashboard Cite

A PLC platform-independent structural analysis on FBD programs for digital reactor protection systems

Cited by 6 publications

References 8 publications

An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis

An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis

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

Construction of Digital Protection and Knowledge Integration Platform for Intangible Cultural Heritage in the Context of Big Data

Contact Info

Product

Resources

About