• Journal of the Korean Society of Systems Engineering
• /
• v.12 no.2
• /
• pp.101-114
• /
• 2016

A model-based systems engineering (MBSE) approach to implementing hardware-based network cybersecurity controls for APR1400 non-safety data network is presented in this work. The proposed design was developed by implementing packet filtering and deep packet inspection functions to control the unauthorized traffic and malicious contents. Denial-of-Service (DoS) attack was considered as a potential cybersecurity issue that may threaten the data availability and integrity of DCS gateway servers. Logical design architecture was developed to simulate the behavior of functions flow. HDL-based physical architecture was modelled and simulated using Xilinx ISE software to verify the design functionality. For effective modelling process, enhanced function flow block diagrams (EFFBDs) and schematic design based on FPGA technology were together developed and simulated to verify the performance and functional requirements of network security controls. Both logical and physical design architectures verified that hardware-based cybersecurity controls are capable to maintain the data availability and integrity. Further works focus on implementing the schematic design to an FPGA platform to accomplish the design verification and validation processes.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.624-628
• /
• 2008

Two-dimensional flow analysis is a way to provide good estimates for complex flow features in flow around islands and obstructions, flow at confluence and flow in braided channel. One of difficult problems to develop a two-dimensional hydraulic model is to analyze dry and wet area in river channel. Dry/wet problem can be encountered in river and coastal engineering problems, such as flood propagation, dam break analysis, tidal processes and so on. The objective of this study is to develop an accurate and robust two-dimensional finite element method with dry/wet technique in complex natural rivers. The dry/wet technique with Deforming Grid Method was developed in this study. The Deforming Grid Method was used to construct new mesh by eliminating of dry nodes and elements. The eliminated nodes and elements were decided by considering of the rising/descending velocity of water surface elevation. Several numerical simulations were carried out to examine the performance of the Deforming Grid Method for the purpose of validation and verification of the model in rectangular and trapezoidal channel with partly dry side. The application results of the model were displayed reasonable flow distribution.

• Journal of Korean Society of Steel Construction
• /
• v.28 no.4
• /
• pp.271-280
• /
• 2016

The need to accurate quantification of blast pressure loading in the near field is important because the focus of security design of critical infrastructure, buildings and bridges is for near-field detonations. Incident and reflected pressures for near-field detonations are very difficult to be measured by commercially available pressure transducers due to the high pressure and temperature, which requires a verified and validated computational fluid dynamics code to reasonably predict the near-field pressures and impulses. This paper presents numerical studies to verify and validate a CFD code for calculations of incident and reflected overpressures and impulses. The near field is emphasized and recommendations for mesh sizes to optimally simulate the near-field detonation are provided.

• Nuclear Engineering and Technology
• /
• v.45 no.5
• /
• pp.653-664
• /
• 2013

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.

• Nuclear Engineering and Technology
• /
• v.37 no.6
• /
• pp.587-594
• /
• 2005

In an effort to develop a thermal-hydraulic (TH) safety analysis code for Gas-cooled Reactors (GCRs), the MARS code, which was primarily developed for TH analysis of water reactor systems, has been extended here for application to GCRs. The modeling requirements of the system code were derived from a review of major processes and phenomena that are expected to occur during normal and accident conditions of GCRs. Models fur code improvement were then identified through a review of existing MARS code capability. Among these, the following priority models necessary fur the analysis of limiting high and low pressure conduction cooling events were evaluated and incorporated in MARS-GCR/V1 : 1) Helium (He) and Carbon Dioxide ($CO_2$) as main system fluids, 2) gas convection heat transfer, 3) radiation heat transfer, and 4) contact heat transfer models. Each model has been assessed using various conceptual problems for code-to-code benchmarks and it was demonstrated that MARS-GCR/V1 is capable of capturing the relevant phenomena. This paper describes the models implemented in MARS-GCR/V1 and their verification and validation results.

• Nuclear Engineering and Technology
• /
• v.40 no.5
• /
• pp.397-408
• /
• 2008

This paper describes the application of a software fault tree analysis (FTA) as one of the analysis techniques for a software safety analysis (SSA) at the design phase and its analysis results for the safety-critical software of a digital reactor protection system, which is called the KNICS RPS, being developed in the KNICS (Korea Nuclear Instrumentation & Control Systems) project. The software modules in the design description were represented by function blocks (FBs), and the software FTA was performed based on the well-defined fault tree templates for the FBs. The SSA, which is part of the verification and validation (V&V) activities, was activated at each phase of the software lifecycle for the KNICS RPS. At the design phase, the software HAZOP (Hazard and Operability) and the software FTA were employed in the SSA in such a way that the software HAZOP was performed first and then the software FTA was applied. The software FTA was applied to some critical modules selected from the software HAZOP analysis.

• Proceedings of the KOSOMBE Conference
• /
• v.1996 no.11
• /
• pp.52-56
• /
• 1996

The elevation of present medical service using advanced science contributes to offer medical examination and treatment of good quality under the subject of patient satisfaction as well as patient impression. The dental service field charging some part of public health promotion and public welfare promotion also intends to improve the dental examination and treatment quality utilizing advanced science. The object of this research is the development of dental patient education system (DPES) using multimedia of new technology. DPES can be employed for these object, harmonious operation of dental examination and treatment, treatment quality improvement, disease notice to patient under the subject of patient satisfaction and patient impression, explanation of some selective treatment course, the verification of treatment necessities and treatment validation, and the improvement of treatment effect through the oral cavity sanitation education in the sense of prevention. This research also serves the development environment, the step to collect educational document, visual information and to structure those, and the examination of DPES efficiency in clinic.

• Nuclear Engineering and Technology
• /
• v.53 no.9
• /
• pp.2775-2787
• /
• 2021

At present, most of the widely used system codes for nuclear safety analysis are one-dimensional, which cannot effectively simulate the flow field of the reactor core or other structures. This is true even for the system codes containing three-dimensional modules with limited three-dimensional simulation function such as RELAP-3D. In contrast, the computational fluid dynamics (CFD) codes excel at providing a detailed three-dimensional flow field of the reactor core or other components; however, the computational domain is relatively small and results in the very high computing resource consuming. Therefore, the development of coupling codes, which can make comprehensive use of the advantages of system and CFD codes, has become a research focus. In this paper, a review focus on the researches of coupled CFD and thermal-hydraulic system codes was carried out, which summarized the method of coupling, the data transfer processing between CFD and system codes, and the verification and validation (V&V) of coupled codes. Furthermore, a series of problems associated with the coupling procedure have been identified, which provide the general direction for the development and V&V efforts of coupled codes.

• Journal of Platform Technology
• /
• v.9 no.3
• /
• pp.24-35
• /
• 2021

High-speed military aircraft shall be able to identify and resolve enemy threats or internal component defects with survival equipment and warning systems to minimize casualties. Warning system is divided into visual method with symbolic display and auditory method with communication equipment, which is superior in that they it has a short response time and does not cause pilot confusion by listening to simple messages. Thus, this paper suggested and evaluated effective design methods of voice/tone warning systems for military aircraft based on a life cycle perspective. Since military aircraft is safety-sensitive, priorities and three properties(Inhibitible, Interruptible, and Deactivatable) were applied to each warning to reflect criticality and urgency. As a result, we confirmed that it took 40ms to play the voice warnings, satisfying all requirements through V model-based development and testing, and improving product reliability.

• ETRI Journal
• /
• v.42 no.6
• /
• pp.951-964
• /
• 2020

This paper presents a lightweight true random number generator (TRNG) using beta radiation that is useful for Internet of Things (IoT) security. In general, a random number generator (RNG) is required for all secure communication devices because random numbers are needed to generate encryption keys. Most RNGs are computer algorithms and use physical noise as their seed. However, it is difficult to obtain physical noise in small IoT devices. Since IoT security functions are required in almost all countries, IoT devices must be equipped with security algorithms that can pass the cryptographic module validation programs of each country. In this regard, it is very cumbersome to embed security algorithms, random number generation algorithms, and even physical noise sources in small IoT devices. Therefore, this paper introduces a lightweight TRNG comprising a thin-film beta-radiation source and integrated circuits (ICs). Although the ICs are currently being designed, the IC design was functionally verified at the board level. Our random numbers are output from a verification board and tested according to National Institute of Standards and Technology standards.