• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2028-2030
• /
• 2003

This paper describes the results of reliability prediction analysis of control rod control system, which is being developed as part of KNICS project. The results of reliability prediction indicate MTBF(Mean Time Between Failure) of cards for control rod control system. A purpose of reliability prediction is to evaluate MTBF of cards, identify the design drawbacks of cards, and propose design improvement to a designer to help design the more reliable control rod control system. This reliability prediction analysis used the the part count and part stress method in the basis of MIL-HDBK-217F.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2055-2057
• /
• 2003

This paper describes the results of RBD(Reliability Block Diagram) analysis of control rod control system, which is being developed as part of KNICS project. The results of RBD indicate unavailability of control cabinet for control rod control system. A purpose of RBB is to evaluate unavailability of control cabinet, identify the design drawbacks of control cabinet, and propose design improvement to a designer to help design the more reliable control rod control system. This RBD defines the logical interaction of failure within a system.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1571-1576
• /
• 2005

DCS has many processing components and various communication elements. And its communication delay characteristic is affected diverse operating situation and context. Especially, binding signal which traversed from one control-node to another control-node undergo all sort of delay conditions. So its delay value has large deviation with the lapse of time, and the measurement of delay statistics during long time is very difficult by using general oscilloscope or other normal instruments. This thesis introduces the design and implementation of PC-based BDAS(Binding Delay Analysis System) System developed to overcomes these hardships. The system has signal-generator, IO-card, data-acquisition module, delay-calculation and analyzer module, those are implemented on industrial standard PC/Ethernet hardware and Windows/Linux platforms. This system can detect accurate whole-system-wide delay time including io, control processing and network delay, in the resolution of msec unit, and can analyze each channel's delay-historic data which is maintained by realtime database. So, this system has strong points of open system architecture, for example, user-friendly environment, low cost, high compatibility, simplicity of maintenance and high extension ability. Of all things, the measuring capability of long-time delay-statistics obtained through historic-DB make the system more valuable and useful, which function is essential to analyze accurate delay performance of DCS system. Using this system, the verification of delay performance of DCS for nuclear power plants is succeeded in KNICS(Korea Nuclear Instrumentation & Control System) projects

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1178-1191
• /
• 2005

In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study.

• Journal of KIISE:Software and Applications
• /
• v.32 no.2
• /
• pp.108-118
• /
• 2005

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.