• Nuclear Engineering and Technology
• /
• v.49 no.3
• /
• pp.484-494
• /
• 2017

In industrial plants such as nuclear power plants, system operations are performed by embedded controllers orchestrated by Supervisory Control and Data Acquisition (SCADA) software. A targeted attack (also termed a control aware attack) on the controller/SCADA software can lead a control system to operate in an unsafe mode or sometimes to complete shutdown of the plant. Such malware attacks can result in tremendous cost to the organization for recovery, cleanup, and maintenance activity. SCADA systems in operational mode generate huge log files. These files are useful in analysis of the plant behavior and diagnostics during an ongoing attack. However, they are bulky and difficult for manual inspection. Data mining techniques such as least squares approximation and computational methods can be used in the analysis of logs and to take proactive actions when required. This paper explores methodologies and algorithms so as to develop an effective monitoring scheme against control aware cyber attacks. It also explains soft computation techniques such as the computational geometric method and least squares approximation that can be effective in monitor design. This paper provides insights into diagnostic monitoring of its effectiveness by attack simulations on a four-tank model and using computation techniques to diagnose it. Cyber security of instrumentation and control systems used in nuclear power plants is of paramount importance and hence could be a possible target of such applications.

• 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.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.11 no.2
• /
• pp.13-19
• /
• 2015

Steam generator is one of the most important component of nuclear power plant, and it's integrity and reliability are to be assured to high level by pre-service inspection and in-service inspection. To improve the reliability of steam generator heat exchanger tubes and to secure the management of nuclear power plant safely, KHNP CRI recently has developed eddy current testing system for steam generator. KHNP CRI have performed a series of experimental verification and field application to confirm the performance of the developed ECT system in accordance with ASME Code requirements. The ECT system consists of a remote data acquisition unit, an ECT signal acquisition and analysis software, a water chamber robot controller and a probe push-puller. In this paper, we will details of the developed ECT system and the software and their experimental performance. And also we will report the field applying performance and the issues for further steps.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.9 no.1
• /
• pp.40-47
• /
• 2013

The capacity factor of nuclear power plant in Korea is the highest level in the world. However, the integrity assessment of nuclear power plant is depended on foreign country. Especially, most eddy current testing systems for inspecting steam generators in nuclear power plant are currently imported from USA, Canada, and so on. Therefore, the eddy current testing system can react more active and adaptive from economic and managerial standpoint for actual nuclear power plants in Korea is required. In this paper, an eddy current testing system for inspecting steam generators in nuclear power plants is introduced. Frequency generator, analog circuit, analog digital converter circuit, and digital control circuit are composed in eddy current testing system. A benchmarking of acquisition system and acquisition software, eddynet 11i made by Zetec, and modifications are carried out based on the test environment of Korea nuclear power plants. Finally, all eddy current apparatus are integrated to inspect steam generator tubes in nuclear power plants.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.10a
• /
• pp.239.2-239.2
• /
• 2003

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.115.2-115
• /
• 1999

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2017.11a
• /
• pp.199-200
• /
• 2017

The Configuration Management(CM) of Nuclear Power Plant(NPP) is an activity that maintains consistency among the design requirement, facility configuration information and physical configuration. It is a systematic approach to performing various engineering tasks such as change management by identifying, documenting the characteristics of plant Structures, Systems and Component(SSC). The first activity that should be performed the configuration baseline setting at the start of project. The configuration baseline of the NPP construction phase is the status of the SSC of the plant at a specified process and time, and the actual configuration changes depending on the condition of plant. In this paper, I have studied the current status of configuration baseline used in the software industry and general plant industry, method of establishment for the configuration baseline which was first applied to the construction of NPP.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.750-759
• /
• 2004

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 the NuSCR, which is a qualified formal specification method for specifying nuclear power plant digital control system software requirements. To investigate the application of NuSCR, we introduce the experience of using NuSCR in formally specifying the plant protection system's software requirements, which is presently being developed at KNICS. Case study that shows that the formal specification approach NuSCR is very much qualified and specialized for the nuclear domain is also shown.

• Nuclear Engineering and Technology
• /
• v.53 no.11
• /
• pp.3653-3664
• /
• 2021

In PWR three-dimensional transient coupling calculation software CORCA-K, the nodal Green's function method and diagonal implicit Runge Kutta method are used to solve the spatiotemporal neutron dynamic diffusion equation, and the single-phase closed channel model and one-dimensional cylindrical heat conduction transient model are used to calculate the coolant temperature and fuel temperature. The LMW, NEACRP and PWR MOX/UO₂ benchmarks and FangJiaShan (FJS) nuclear power plant (NPP) transient control rod move cases are used to verify the CORCA-K. The effects of burnup, fuel effective temperature and ejection rate on the control rod ejection process of PWR are analyzed. The conclusions are as follows: (1) core relative power and fuel Doppler temperature are in good agreement with the results of benchmark and ADPRES, and the deviation between with the reference results is within 3.0% in LMW and NEACRP benchmarks; 2) the variation trend of FJS NPP core transient parameters is consistent with the results of SMART and ADPRES. And the core relative power is in better agreement with the SMART when weighting coefficient is 0.7. Compared with SMART, the maximum deviation is -5.08% in the rod ejection condition and while -5.09% in the control rod complex movement condition.

• Nuclear Engineering and Technology
• /
• v.50 no.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.