• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.458-463
• /
• 1997

A transient natural circulation behavior during a LOCA at hot-standby operation is evaluated for YGN Units 3/4. The plant initial condition is determined within the EOP limitation as suitable to hot-standby mode and the transient scenario is prepared as relevant to evaluation of transient natural circulation. A 0.4% cold leg break with loss of off-site power is calculated with RELAP5/MOD3.2, whose predictability has been verified for SBLOCA natural circulation test, S-NC-8B. Through one hour transient analysis, it is found that the plant has its own decay heat removal capability by natural circulation following a LOCA, at hot-standby mode. Additional calculation is performed to investigate an effect of HPSI flow on natural circulation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.1
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.

• Journal of the Korean Society of Safety
• /
• v.30 no.3
• /
• pp.114-122
• /
• 2015

In a fire hazard analysis (FHA) for nuclear power plant, various electrical circuit analyses are performed in the parts of fire loading analysis, fire modeling analysis, separation criteria analysis, associated circuit analysis, and multiple spurious operation analysis. Thus, electrical circuit analyses are very important areas so that reliability of the analysis results should be assured. This study is to establish essential electrical elements for each analysis for verification of the reliability of the electrical circuit analyses in the fire hazard analysis for nuclear power plants. Applying the results derived by the study to domestic nuclear power plants, it is expected to determine the adequacy of the fire hazard analysis report and contribute to the reliability of the fire hazard analysis of those plants.

• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• Journal of the Korean Society of Safety
• /
• v.35 no.1
• /
• pp.107-115
• /
• 2020

This paper introduces the first vital area identification (VAI) process for the physical protection of nuclear power plants (NPPs) during low power and shutdown (LPSD) operation. This LPSD VAI is based on the 3rd generation VAI method which very efficiently utilizes probabilistic safety assessment (PSA) event trees (ETs). This LPSD VAI process was implemented to the virtual NPP during LPSD operation in this study. Korea Atomic Energy Research Institute (KAERI) had developed the 2nd generation full power VAI method that utilizes whole internal and external (fire and flooding) PSA results of NPPs during full power operation. In order to minimize the huge burden of the 2nd generation full power VAI method, the 3rd generation full power VAI method was developed, which utilizes ETs and minimal PSA fault trees instead of using the whole PSA fault tree. In the 3rd generation full power VAI method, (1) PSA ETs are analyzed, (2) minimal mitigation systems for avoiding core damage are selected from ETs by calculating system-level target sets and prevention sets, (3) relatively small sabotage fault tree that has the systems in the shortest system-level prevention set is composed, (4) room-level target sets and prevention sets are calculated from this small sabotage fault tree, and (5) the rooms in the shortest prevention set are defined as vital areas that should be protected. Currently, the 3rd generation full power VAI method is being employed for the VAI of Korean NPPs. This study is the first development and application of the 3rd generation VAI method to the LPSD VAI of NPP. For the LPSD VAI, (1) many LPSD ETs are classified into a few representative LPSD ETs based on the functional similarity of accident scenarios, (2) a few representative LPSD ETs are simplified with some VAI rules, and then (3) the 3rd generation VAI is performed as mentioned in the previous paragraph. It is well known that the shortest room-level prevention sets that are calculated by the 2nd and 3rd generation VAI methods are identical.

• Nuclear Engineering and Technology
• /
• v.49 no.5
• /
• pp.968-978
• /
• 2017

Three small-break loss-of-coolant accident (SBLOCA) tests with safety injection pumps were carried out using the integral-effect test loop for SMART (System-integrated Modular Advanced ReacTor), i.e., the SMART-ITL facility. The types of break are a safety injection system line break, shutdown cooling system line break, and pressurizer safety valve line break. The thermal-hydraulic phenomena show a traditional behavior to decrease the temperature and pressure whereas the local phenomena are slightly different during the early stage of the transient after a break simulation. A safety injection using a high-pressure pump effectively cools down and recovers the inventory of a reactor coolant system. The global trends show reproducible results for an SBLOCA scenario with three different break locations. It was confirmed that the safety injection system is robustly safe enough to protect from a core uncovery.

• Nuclear Engineering and Technology
• /
• v.51 no.3
• /
• pp.676-682
• /
• 2019

After the Fukushima Daiichi accident, there has been an increasing preference for passive safety features in the nuclear power industry. Some passive safety systems require limited active components to trigger subsequent passive operation. Under very serious accident conditions, passive safety features could be rendered inoperable or damaged. This study evaluates (i) the performance and effectiveness of the passive safety features of iPOWER (innovative Power Reactor), and (ii) whether a severe accident condition could be reached if the passive safety systems are damaged, namely the case of heat exchanger tube rupture. Analysis results show that the reactor coolant system remains in the hot shutdown condition without operator actions or electricity for over 72 h when the passive auxiliary feedwater systems (PAFSs) are operable without damage. However, heat exchanger tube rupture in the PAFS leads to core damage after about 18 h. Such results demonstrate that, to enhance the safety of iPOWER, maintaining the integrity of the PAFS is critical, and therefore additional protections for PAFS are necessary. To improve the reliability of iPOWER, additional battery sets are necessary for the passive safety systems using limited active components for accident mitigation under such extreme circumstances.

• Journal of the Korean Society of Safety
• /
• v.31 no.6
• /
• pp.129-134
• /
• 2016

Standard design of APR+(advanced power reactor plus) was certified at 2014 by Korea regulatory body. Based on the experience gained from OPR1000 and APR1400, the APR1400 was being developed as a 1,500MWe class reactor using Korean technologies for design code, reactor coolant pump, and man-machine interface system. APR+ has been basically designed to have the seismic design basis of safe shutdown earthquake (SSE) 0.3g, a 4-train safety concept based on N+2 design philosophy, and a passive auxiliary feedwater system (PAFS). Also, safety issues on the Fukushima-type accidents have been extensively reviewed and applied to enhance APR+ safety. APR+ provides higher reliability and safety against tsunami and earthquake. The purpose of this paper is to implement probabilistic safety assessment considering these design features and to analyze sensitivity of core damage frequency for large loss of coolant accident of APR+.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.10a
• /
• pp.429-430
• /
• 2004

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.542-547
• /
• 1997

In the SSC(Super System Code), the reactivity feedback models of the Doppler effect and fuel axial expansion were modified to evaluate the safety performance of the metal-fueled core. The core radial expansion model was developed and implemented into the code as well. The transient analyses have been performed by the modified SSC for UTOP, ULOHS, ULOF/LOHS, and UTOP/LOF/LOHS events for one of the core design options being considered. Analysis results shows that the reactivity feedbacks can provide an inherent shutdown capability in response to key anticipated events without scram. Development of other reactivity feedback models and validation of these models against experimental data would make the SSC suitable for the assessment of the metal-fueled core safety performance.