• Nuclear Engineering and Technology
• /
• 제56권5호
• /
• pp.1762-1776
• /
• 2024

A spent nuclear fuel (SNF) analysis module for the Vodo-Vodyanoi Energetichesky Reactor (VVER) was developed and validated in this study. This advancement expands the application area of the existing nodal diffusion code, RAST-V, and reduces the need for additional code during 3D core simulations for SNF analysis, leading to increased efficiency in simulation time. RAST-V uses Lagrange interpolation and a power correction factor derived from the Bateman equation to bypass the re-depletion calculations, which are used to solve the microdepletion chain. This approach improved the efficiency of analysis. To mirror the conditions during the 3D core simulations, the module used history indices related to the moderator temperature, fuel temperature, and boron concentration. The module can predict 1620 isotopes. This paper presents the validation of this isotope inventory prediction and the application of burnup credit. The VVER analysis module was validated using 28 samples discharged from the Novovoronezh-4. Most isotopes were within 10 % of the boundaries of the measurements. This study successfully offers verification results using VVER benchmarks and discusses the application of burnup credit using a VVER-440 cask.

• 한국안전학회지
• /
• 제12권4호
• /
• pp.201-208
• /
• 1997

In order to improve the safety of nuclear power plant, we performed a human factors review for the CFMS(Critical Function Monitoring system) design of nuclear power plant. Three works were performed in this study. In first work, we developed human factors engineering program plan(HFEPP) and human factors engineering verification and validation plan (HFE-V & V plan) to effectively perform CFMS design and review. In second work, we identified human engineering discrepancies(HEDs) for CFMS design through human factors design review and proposed those resolutions. In the third work, we developed the evaluation and management methodology for identified KEDs. Methodology developed in this study can be used in other complex system as well as in CFMS design review.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 D
• /
• pp.948-950
• /
• 1997

This paper presents a basic interposing logic program to control nuclear power plant. In this paper we select a target control loop among the whole interposing modules, develop logic algorithm and functional software to compose target control loop. After that we carry out V&V(Verification and Validation) into the developed logic program to improve quality and reliability.

• Nuclear Engineering and Technology
• /
• 제36권4호
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• 전기학회논문지P
• /
• 제63권4호
• /
• pp.226-235
• /
• 2014

Nowadays, railroads are considered the most efficient form of mass transportation. Furthermore, it is necessary that railroads be paired with state-of-the-art safety equipment. Unfortunately, it is impossible to prevent 100% of accidents that may be caused by system or human errors. In order to prevent future accidents, RAMS activity and Functional Safety Certification are required for new systems that are under development. In this paper we evaluate the necessity of the application of RAMS and the performance of RAMS in the system development process. We also explore the Safety Evaluation Procedure required for RAMS certification.

• Journal of Platform Technology
• /
• 제9권3호
• /
• pp.24-35
• /
• 2021

고속의 군용 항공기는 인명피해 최소화를 위해 생존 장비들과 경고 시스템으로 적의 위협 또는 내부 구성품 불량을 조종사가 파악하고 해결할 수 있어야 한다. 경고 전달은 디스플레이에 심볼 전시를 통한 시각적 방법과 통신 장비의 소리를 통한 청각적 방법으로 구분되는데, 청각적 방법이 반응 시간이 짧고 단순한 메시지 청취를 통해 조종사 혼란을 유발하지 않는다는 점에서 우월하다. 이에 본 논문은 군용 항공기용 음성/톤 경고 시스템의 효과적인 설계방법을 생명주기 관점에서 제시하고 평가하였다. 안전에 민감한 군용 항공기이므로 각 경고에 우선순위와 Inhibitible, Interruptible, Deactivatable의 세 가지 속성들을 적용하여 중대성과 긴급성을 반영했다. 그 결과 음성경고 재생까지 40ms가 소요되었으며, V모델 기반 개발 및 테스트를 통해 요구도를 모두 충족했고 제품 신뢰성이 향상됨을 확인하였다.

• 한국항해항만학회지
• /
• 제37권3호
• /
• pp.275-281
• /
• 2013

선박표준 네트워크는 2005년 IMO MSC 제 81차 회의에서 e-navigation을 공동 의제로 제출되었다. 2006년 MSC 81의 WG 프로그램으로 승인된 후 2008년까지 e-navigation 구현전략을 수립하기로 결정됨으로써 선박 네트워크의 표준화 작업은 본격화되었다. 이는 선박의 안전 항해 뿐 아니라 400여종의 이기종 항해통신장비 및 기관 장비를 탑재하는 선박에서의 효율적인 정보 교환을 지원하기 위한 것이기도 하다. 그 가운데 4S 네트워크는 육상과 선박, 선박과 선박사이의 무선통신을 말하며 선박과 육상 간 통신채널을 항상 연결하도록 해주는 기본이 된다. 4S 네트워크는 이를 기반으로 다양한 서비스를 제공할 수 있는 많은 활용 분야가 존재하기 때문에 향후 e-navigation이 적용되면 다양한 시장 창출이 가능할 것으로 보이나 현재 이에 대한 구체적인 기반 기술 연구나 시제품 개발은 전무한 상태이다. 본 논문에서는 육해상간 효율적이고 저렴한 통신환경을 제공하도록 하는 4S 다중매체 스위칭 서버와 육해상 정보교환 시스템을 개발하고, 구현한 시스템의 성능을 TTA(Telecommunications Technology Association) V&V(Verification and Validation) 인증을 통해 확인하였다.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.75-84
• /
• 2015

Successful development of weapon systems requires a stringent verification and validation (V&V) process due to the nature of the weapons in which continual increase of operational capability makes the system requirements more complicated to meet. Thus, test and evaluation (T&E) of weapon systems is becoming more difficult. In such a situation, live fire tests appear to be effective and useful methods in not only carrying out V&V of the weapon systems under development, but also increasing the maturity of the end users operability of the system. However, during the process for live fire tests, a variety of accidents or mishaps can happen due to explosion, pyro, separation, and so on. As such, appropriate means to mitigate mishap possibilities should be provided and applied during the live fire tests. To study a way of how to accomplish it is the objective of this paper. To do so, top-level sources of hazard are first identified. A framework for T&E is also described. Then, to enhance the test range safety, it is discussed how test scenarios can be generated. The proposed method is based on the use of the anticipatory failure determination (AFD) and multiple event tree analysis (ETA) in analyzing range safety. It is intended to identify unexpected hazard components even in the environment with constraints. It is therefore expected to reduce accident possibilities as an alternative to the traditional root-cause analysis.

• 에너지공학
• /
• 제7권1호
• /
• pp.96-102
• /
• 1998

원자력 안전계통의 일부분인 컴퓨터의 사용은 일반 산업분야에서 명시되지 않은 부가적인 요건 즉 소프트웨어의 확인 및 검증, 하드웨어의 품질요건이 요구된다. 원자력 발전소에서 사용되는 컴퓨터는 컴퓨터 하드웨어, 소프트웨어, 펌웨어 및 연계장치를 포함하는 시스템이다. 원자력 안전등급을 갖는 컴퓨터 시스템을 개발하기 위해서는 우선적으로 개발환경이 요구되고 개발된 소프트웨어는 원자력 코드 및 표준에 따라 확인 및 검증되어야 한다. 이러한 요건 때문에 원자력 발전소 안전계통의 하나인 부적절노심감시계통에 대한 시험설비가 개발되었다. 시험설비는 입출력 모의설비, 자료수집계통 케비넷 및 감시컴퓨터의 3부분으로 구성된다. 이 시스템의 성능을 수동시험절차에 따라 검증되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권5호
• /
• pp.419-430
• /
• 2007

소프트웨어 개발시 요구사항이 시스템에 제대로 반영되어 개발되고 있는지를 추적하는 일은 아주 중요하다. 이에, 본 연구에서는 추적테이블을 이용하여 요구사항을 추적하는 방법을 연구하였다. 본 연구에서 제시한 추적테이블에서는 제안요청서, 제안서 등의 내용을 명확히 명세하게 함으로써 요구사항의 발생근거를 명확히 하고, 산출물마다 요구사항 식별코드를 매핑하게 하여 산출물간의 일관성 및 완전성 검증하는데 용이하게 하였다. 아울러, 본 연구를 진행하면서 마르미-III v.4.0 방법론의 요구획득단계 산출물중에 추가하거나 보완이 필요한 요소를 발견하게 되었기에 개선된 추적테이블과 함께 부가적인 연구결과로 제시하고자 한다. 본 연구에서 제시한 개선된 추적테이블을 이용하여 산출물을 검증함으로써 소프트웨어 개발시 요구사항 관리 부족으로 일어나는 각종 위험 및 문제요소를 줄일 수 있을 것이다. 또한 마르미-III v.4.0 방법론의 요구획득 단계 산출물을 본 연구의 추적테이블 작성방법에 따라 추가.보완하게 함으로써 마르미-Ⅲ 방법론의 활용을 높이고자 한다.