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

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 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.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권6호
• /
• pp.335-342
• /
• 2017

원자력발전소 안전-필수 소프트웨어를 개발하고 검증 및 확인을 수행하여 규제기관으로부터 인허가를 받기 위하여 단순하게 문서를 읽고 검토해서는 개발, 구현 및 검증활동에 대한 신뢰성과 안전성 확보에 대하여 정확하게 판단하기가 쉽지 않다. 따라서 이러한 활동, 특히 안전보증 활동이 소프트웨어 결함이 허용가능한 수준인지 판단하기 위한 체계적인 평가기술이 필요하다. 본 연구에서는 원전 디지털 원자로보호계통의 비교논리 프로세서와 동시논리 프로세서를 대상으로 제작자가 수행한 개발 및 검증 결과물의 수준과 깊이를 평가하기 위해 안전진술(Safety case) 방법론을 적용하고 그 결과를 분석한다. 안전진술 방법론 적용으로 기존의 안전입증 방법을 효과적으로 보완할 수 있음을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제53권7호
• /
• pp.2104-2125
• /
• 2021

This paper presents the verification and validation (V&V) of a calculation module for isotope inventory prediction to control the back-end cycle of spent nuclear fuel (SNF). The calculation method presented herein was implemented in a two-step code system of a lattice code STREAM and a nodal diffusion code RAST-K. STREAM generates a cross section and provides the number density information using branch/history depletion branch calculations, whereas RAST-K supplies the power history and three history indices (boron concentration, moderator temperature, and fuel temperature). As its primary feature, this method can directly consider three-dimensional core simulation conditions using history indices of the operating conditions. Therefore, this method reduces the computation time by avoiding a recalculation of the fuel depletion. The module for isotope inventory calculates the number densities using the Lagrange interpolation method and power history correction factors, which are applied to correct the effects of the decay and fission products generated at different power levels. To assess the reliability of the developed code system for back-end cycle analysis, validation study was performed with 58 measured samples of pressurized water reactor (PWR) SNF, and code-to-code comparison was conducted with STREAM-SNF, HELIOS-1.6 and SCALE 5.1. The V&V results presented that the developed code system can provide reasonable results with comparable confidence intervals. As a result, this paper successfully demonstrates that the isotope inventory prediction code system can be used for spent nuclear fuel analysis.

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

• 시스템엔지니어링워크숍
• /
• 통권4호
• /
• pp.90-94
• /
• 2004

System engineering(SE) management techniques applied for space launch system development are introduced to assess the current status and address the effwctiveness of these techniques. Management plans and guides are prepared for the work breakdown structure , data, comfiguration, interface control, Quality assurance, procurement, reliability, risk and verification/validation . Further improvement is required for the system engineering management plan(SEMP) to merge the international cooperation into current engineering managment system.

• 대한기계학회논문집A
• /
• 제28권5호
• /
• pp.593-602
• /
• 2004

We have developed a digital control rod control system not only to improve its performance but also to improve its reliability and speed of response so that it can replace the old fashioned analog system. However, a new developed digital control system should be tested to prove the validity by using any prototype or mock-up before application. The reliability prediction and the reliability block diagram analysis methods were adopted to verify the reliability of the developed hardware. For the case of software, especially fur a new developed control algorithm it has been tested to prove performances and validation by using a dynamic simulator and mock-up of control rod drive mechanism altogether. Here we want to present some key factors regarding to the new developed digital system with some verification procedures.

• 한국항공우주학회지
• /
• 제36권9호
• /
• pp.867-873
• /
• 2008

모델 기반의 가상 비행제어 시스템 구성은 동시공학이 중요시되는 개발환경에서 FBW 비행제어 시스템 검증 및 확인에 매우 유용하게 사용된다. 본 논문에서는 가상 비행제어 시스템을 구성하기 위한 이중구조 개념에 대해서 살펴보고, 고고도 정찰용 무인기에 적용된 이중구조 시스템에 대해서 분석하였다. 마지막으로, 분석된 비행제어 시스템을 바탕으로 Simulink 기반의 가상 비행제어 시스템을 구성하였고, 치명적인 고장모드에 대한 시스템의 동작 상태를 검증하였다.

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

• 대한기계학회논문집B
• /
• 제29권3호
• /
• pp.409-416
• /
• 2005

We need to develop a on-line thermal performance analysis system for nuclear power plant to determine performance status and heat rate of turbine cycle. We have developed PERUPS(PERformance Upgrade System) to aid the effective performance analysis of turbine cycle. Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on PTC(Performance Test Code). Robustness in the on-line performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful web interfaces for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis report. The system was successfully applied for YongGwang nuclear plant unit #3,4.