• Nuclear Engineering and Technology
• /
• v.54 no.4
• /
• pp.1213-1220
• /
• 2022

The Emergency Diesel Generator (EDG) is a critical and essential part of the Nuclear Power Plant (NPP). Due to past catastrophic disasters, critical systems of NPP like EDG are designed to meet high dependability requirements. Therefore, we propose a framework for the dynamic reliability assessment using the Fault Tree and the Dynamic Bayesian Network. In this framework, the information of the component's failure probability is updated based on observed data. The framework is powerful to perform qualitative as well as quantitative analysis of the system. The validity of the framework is done by applying it on several NPP systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.868-870
• /
• 2005

임베디드 시스템의 신인도(Dependability)를 높이기 위해 기존 컴퓨터시스템에서 주로 사용되는 결함허용(Fault-tolerant) 기술을 그대로 적용시키는 것은 임베디드 시스템의 엄격한 비용 제약과 설치 공간의 부족 등의 이유로 적합하지 않다. 본 논문에서는 여분(Redundancy)을 최소 한도로 사용하는 차량 임베디드 시스템에 적합한 소프트웨어 결함허용 기법을 연구하였으며, 임베디드 시스템의 신인도를 반영할 수 있는 척도인 유용도(Utility) 척도를 정의하고, 임베디드 시스템의 결함허용을 위해 고려해야 할 각각의 재구성 조합에 대한 유용도 명가를 수행하였다. 이를 통해 차량 임베디드 시스템의 일부 부품이 결함 시, 가능한 최대의 유용도를 제공하는 구성조합으로 재구성 작업을 가능하게 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.1341-1344
• /
• 2006

임베디드 시스템의 신인도(Dependability)를 확보하기 위해 하드웨어적으로 여분을 두는 결함 허용(Fault-tolerant) 기법을 적용하는 것은 임베디드 시스템의 설치공간, 비용 및 전원 공급의 부족 등의 이유로 무리가 있다. 본 논문에서는 소프트웨어 결함 허용 기법의 일종인 시간 여분(Time-redundancy) 개념을 적용한 Extended Temporal Error Detection (E-TED) 기법을 연구하였으며, 실험을 통해 제안한 E-TED 기법이 기존의 TED 기법에 비해 데이터 오류의 감지 확률이 높은 것을 확인하였다.

• Journal of applied mathematics & informatics
• /
• v.26 no.3_4
• /
• pp.519-530
• /
• 2008

This paper studies the multi-domain coupled system of one dimensional Arctic temperature field and establishes identification model about the thermodynamic parameters of sea ice (heat storage capacity, density and conductivity) by the so-called output least-square estimate according to the temperature data acquired by a monitor buoy installed in the Arctic ocean. By the optimal control theory, the existence and dependability of weak solution and the identifiability of identification model have been given. Moreover, necessary optimality condition is proposed. Furthermore, the optimal algorithm for the identification model is constructed. By using the optimal thermodynamic parameters of Arctic sea ice, the numerical simulation is implemented, and the numerical results of temperature distribution of Arctic sea ice are demonstrated.

• International Journal of Precision Engineering and Manufacturing
• /
• v.8 no.3
• /
• pp.50-53
• /
• 2007

Improving the reliability or long-term dependability of a system requires a different approach from the previous emphasis on short-term concerns. The purpose of this paper is to present a reliability evaluation method for an oil cooler intended for high-precision machining centers. The oil cooler system in question is a cooling device that minimizes the deformation caused from the heat generated by driving devices. This system is used for machine tools and semiconductor equipment. We predicted the reliability of the system based on the failure rate database and conducted the reliability test using a test-bed to evaluate the life of the oil cooler. The results provided an indication of the reliability of the system in terms of the failure rate and the MTBF of the oil cooler system and its components, as well as a distribution of the failure mode. These results will help increase the reliability of oil cooler systems. The evaluation method can also be used to determine the reliability of other machinery products.

• Journal of Applied Reliability
• /
• v.8 no.1
• /
• pp.29-37
• /
• 2008

The technology of North Korea has not reached the modem level even though it has economic potential. Standardization and quality control have comprehensively prevailed in South Korea since the 1970s, which is considered to have been based of quality improvement. In the course of an active interchange between South and North, it is necessary to grasp the phenomenon on the quality and reliability control of North Korea. This study will put its relevant terms in order and make a comparison between specifications of North Korea and South Korea in the reliability test plans.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.06a
• /
• pp.275-276
• /
• 2013

This analysis method is based on the wave pressure function with the continuity in the analytical region including fluid and porous structures. Wave profiles coming with oblique angle to permeable submerged breakwater on the porous seabed are computed numerically by using boundary element method. When compared with the existing results for the oblique incident wave, the results of this study show good agreement. The results indicate that wave profiles own high dependability regarding the change of oblique incident waves and permeable submerged breakwater on the porous seabed. Therefore, the analysis method of this study are estimated to be applied as an accurate numerical analysis referring to oblique incident waves and permeable submerged breakwater on the porous seabed in real sea environment.

• International Journal of Computer Science & Network Security
• /
• v.24 no.4
• /
• pp.77-86
• /
• 2024

Using random numbers to represent uncertainty and unpredictability is essential in many industries. This is crucial in disciplines like computer science, cryptography, and statistics where the use of randomness helps to guarantee the security and dependability of systems and procedures. In computer science, random number generation is used to generate passwords, keys, and other security tokens as well as to add randomness to algorithms and simulations. According to recent research, the hardware random number generators used in billions of Internet of Things devices do not produce enough entropy. This article describes how raw data gathered by IoT system sensors can be used to generate random numbers for cryptography systems and also examines the results of these random numbers. The results obtained have been validated by successfully passing the FIPS 140-1 and NIST 800-22 test suites.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.2
• /
• pp.215-221
• /
• 2016

Data failure in wireless communications considerably affects the reconstruction quality of transmitted data. Traditionally, fascinating trials have been conducted to overcome the data failure intensifying reliable reconstruction of a media. But, none of these efforts neither effective, computationally inexpensive nor simply configurable to reduce the problems of transmitting media or images. In practice, it is necessary to maintain the quality of transmitted image without sacrificing any data, content, or information. So, to deal with dynamic events such as sensor node participation and departure, during transmission, an efficient scheme is important. For this reason, a new robust scheme has been presented in this paper to minimize the limitation of traditional wireless networking. This scheme uses Software-Defined Image Sensor Network (SD-ISN) to ensure scalability and dependability of the sensor network of handling data losses. Finally, a comparison of our proposed SD-ISN with conventional wireless networking has been presented in simulation to test the robustness and effectiveness of our proposed SD-ISN approach.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.3
• /
• pp.183-191
• /
• 2014

The software running on avionic system is required to be highly reliable and productive. The air transport industry has developed ARINC Specification 653(ARINC653) as a standardized software requirement of avionics computers. The document specifies the interface boundary between avionics application software and the core executive software. Dependability in ARINC 653 is provided by spatial and temporal partitioning whilst fault-tolerance is provided by health monitoring mechanism. Legacy real-time operating systems are used to support ARINC653 health monitor on integrated modular avionics(IMA). However, legacy real-time operating systems are costly and difficult to modify the kernel. In this paper, we suggest a Linux-based ARINC653 health monitor. Functionalities to support ARINC653 health monitor are implemented as a Linux kernel module and its performance is evaluated.