• Nuclear Engineering and Technology
• /
• 제45권4호
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• pp.114-119
• /
• 2004

Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2001년도 춘계학술발표회요약집
• /
• pp.100-100
• /
• 2001

• Nuclear Engineering and Technology
• /
• 제50권4호
• /
• pp.613-618
• /
• 2018

We are developing a shared remote control mobile robot for aerial work in nuclear power plants (NPPs); a robot consists of a mobile platform, a telescopic mast, and a dual-arm slave with a working tool. It is used at a high location operating the manual operation mechanism of a fuel changer of a heavy water NPP. The robot system can cut/weld a pipe remotely in the case of an emergency or during the dismantling of the NPP. Owing to the challenging control mission considering limited human operator cognitive capability, some remote tasks require a shared control scheme, which demands systematic software design and integration. Therefore, we designed the architecture of the software systematically.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 추계학술발표회논문집(1)
• /
• pp.443-448
• /
• 1997

The intelligent software system for nuclear power plants (NPPs) has been conceptually designed in this study. Its design goals are to operate NPPs in n improved manner and to support operators' cognitive tasks. It consists of six major modules such as "Information Processing," "Alarm Processing," "Procedure Tracking," "Performance Diagnosis," and "Event Diagnosis" modules for operators and "Malfunction Diagnosis" module for maintenance personnel. Most of the modules have been developed for several years and the others are under development. After the completion of development, they will be combined into one system that would be main parts of advanced control rooms in NPPs. that would be main parts of advanced control rooms in NPPs.

• 정보처리학회 논문지
• /
• 제13권5호
• /
• pp.227-235
• /
• 2024

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제45권5호
• /
• pp.665-674
• /
• 2013

This paper presents the development and validation methods of the FUTURE (FUel cycle analysis Tool for nUcleaR Energy) code, which was developed for a dynamic material flow evaluation and economic analysis of the nuclear fuel cycle. This code enables an evaluation of a nuclear material flow and its economy for diverse nuclear fuel cycles based on a predictable scenario. The most notable virtue of this FUTURE code, which was developed using C# and MICROSOFT SQL DBMS, is that a program user can design a nuclear fuel cycle process easily using a standard process on the canvas screen through a drag-and-drop method. From the user's point of view, this code is very easy to use thanks to its high flexibility. In addition, the new code also enables the maintenance of data integrity by constructing a database environment of the results of the nuclear fuel cycle analyses.

• 한국멀티미디어학회논문지
• /
• 제9권12호
• /
• pp.1580-1587
• /
• 2006

The term molecular imaging can be broadly defined as the in vivo characterization and measurement of biologic processes at the cellular and molecular level. Optical imaging that has highly reproducibility and repetition used in molecular imaging research. In the bioluminescence imaging, animals carrying the luciferase gene are imaged with a cooled CCD(Charge-Coupled Device) camera to pick up the small number of photons transmitted through tissues. Molecular imaging analysis will allow us to observe the incipience and progression of the disease. But hardware device for molecular imaging and software for molecular image analysis were dependent on imports. In this paper, we suggest image processing methods and designed software for bioluminescence signal analysis. And we demonstrated high correlation(r=0.99) between our software's photon counts and commercial software's photon counts. ROI function and processing functions were accomplished without error. This study have the importance of the development software for bioluminescence image processing and analysis. And this study built the foundations for creative development of analysis methods. We expected this study lead the development of image technology.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.41-48
• /
• 2018

This paper describes the systems engineering development process for the Departure from Nucleate Boiling Ratio (DNBR) algorithm using FPGA. Current Core Protection Calculator System (CPCS) requirement and DNBR logic are analyzed in the reverse engineering phase and the new FPGA based DNBR algorithm is designed in the re-engineering phase. FPGA based DNBR algorithm is developed by VHSIC Hardware Description Language (VHDL) in the implementation phase and VHDL DNBR software is verified in the software Verification & Validation phase. Test cases are developed to perform the software module test for VHDL software modules. The APR 1400 simulator is used to collect the inputs data in 100%, 75%, and 50% reactor power condition. Test input signals are injected to the software modules following test case tables and output signals are compared with the expected test value. Minimum DNBR value from developed DNBR algorithm is validated by KEPCO E&C CPCS development facility. This paper summarizes the process to develop the FPGA-based DNBR calculation algorithm using systems engineering approach.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2002년도 춘계공동학술발표회요약집
• /
• pp.88-88
• /
• 2002