• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.7
• /
• pp.428-434
• /
• 2020

The one-shot weapon system is destroyed after only one mission. So, the system requires high reliability. Guided missiles are one-shot weapon systems that have to be analyzed by storage reliability since they spend most of their life in storage. The analysis results depend on the model and the ratio of correct censored data. This study was conducted to propose a method to more accurately predict the future failure rate of Air force guided missiles. In the proposed method, the failure rate is predicted by both MTTF (Mean Time To Failure) and MTBF (Mean Time Between Failure) models and the model with a smaller error from the real failure rate is selected. Next, with the selected model, the ratio of correct censored data is selected to minimize the error between the predicted failure rate and the real failure rate. Based on real field data, the comparative result is determined and the result shows that the proposed sampling rate can predict the future failure rate more accurately.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2008.11a
• /
• pp.192-195
• /
• 2008

A sensor fault detection method for small turbo shaft engine considering multiple trim conditions is proposed. This engine is used in a helicopter. Firstly, under multiple trim conditions, we derive the linearized models from a nonlinear model which includes engine, rotor and feedback control loop. As a fault detection method, we adopt the Kalman filter based method. To keep continuity of estimates between the changes of trim conditions, we reconfigure the initial values of state variables at trim changes. We detect the faults with two steps that when the first filter does not alarm the faults for some sensors, the second filter is runned for other sensor. Via some simulations we show that the proposed method works well under multiple trim conditions.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.44 no.7 s.361
• /
• pp.112-121
• /
• 2007

In this paper, we propose a new checkpointing strategy for dual modular redundancy real-time systems. For every checkpoints the execution results from two processors, and the result saved in the previous checkpoint are compared to detect faults. We devised an operation algorithm in chectpoints to recover from transient faults as well as permanent faults. We also develop a Markov model for the optimization of the proposed checkpointing strategy. The probability of successful task execution within its deadline is derived from the Markov model. The optimal number of checkpoints is the checkpoints which makes the successful probability maximum.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.218-223
• /
• 2017

This paper deals with a fault diagnosis algorithm using the Kalman filter for a 75-ton Liquid Propellant Rocket Engine (LPRE). To design the Kalman filter, we linearized a non-linear simulation model of a 75-ton LPRE at an operating point, and checked the performance of the Kalman filter by comparing the measured values with estimated values of the states. Then, we artificially injected a fault of the turbopump efficiency into the simulation to confirm the performance of the fault diagnosis algorithm with the developed Kalman filter by comparing the variation of the residuals of the normal state with that of the fault cases.

• Advanced Industrial SCIence
• /
• v.2 no.4
• /
• pp.11-16
• /
• 2023

The subway is a means of public transportation that plays an important role in the transportation system of modern cities. However, congestion often occurs due to sudden breakdowns and system outages, causing inconvenience. Therefore, in this paper, we conducted a study on failure prediction and prevention using machine learning to efficiently operate the subway system. Using UC Irvine's MetroPT-3 dataset, we built a subway breakdown prediction model using logistic regression. The model predicted the non-failure state with a high accuracy of 0.991. However, precision and recall are relatively low, suggesting the possibility of error in failure prediction. The ROC_AUC value is 0.901, indicating that the model can classify better than random guessing. The constructed model is useful for stable operation of the subway system, but additional research is needed to improve performance. Therefore, in the future, if there is a lot of learning data and the data is well purified, failure can be prevented by pre-inspection through prediction.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.35 no.12
• /
• pp.1351-1358
• /
• 2011

To approximate the threshold of the fault detection and diagnosis (FDD) system, validation of the measurements is mandatory. Naturally, the system shows uncertainties due to measuring sensors - mostly thermocouples or RTDs - and due to repeatability. The uncertainty of a thermocouple comes from natural variation or a drift of the thermocouple measurement. Considering the natural variation behaves like zero-mean white noise, its natural variation can be characterized closely by the steady-state standard deviation. However, residuals between measurements and no-fault references in FDD systems show a statistical distribution with various uncertainties. In this paper, steady-state variations of measurement residuals were investigated by utilizing built-in temperature sensors in a heat pump for the model development and the final application.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.1B
• /
• pp.74-85
• /
• 2009

We propose an Agent-based Fault Tolerant Object Group model based on the agent technology and FTOG model with replication mechanism for effective object management and fault recovery. We define the five kind of agents - internal processing agent, registration agent, state handling agent, user interface agent, and service agent - that extend the functions of the FTOG model. The roles of the agents in the proposed model are to reduce the remote interactions between distributed objects and provide more effective service execution. To verify the effectiveness of the proposed model, we implemented the Intelligent Home Network Simulator (IHNS) which virtually provides general home networking services. Through the simulations, it is validated that the proposed model decreases the interactions of the object components and supports the effective fault recovery, while providing more stable and reliable services.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.3
• /
• pp.367-372
• /
• 2008

In this paper we proposed a model of a fault diagnosis expert system with high reliability to compare identical well-functioning motors. The purpose of the survey was to determine if any differences exit among these identical motors and to identify exactly what these differences were, if in fact they were found. Using measured data for many identical brushless dc motors, this study attempted to find out whether normal and fault can be classified by each other. Measured data was analyzed using the State Transition Model (STM). Based on a proposed STM method, the effect of a different normal state is minimized and the detection of fault is improved in identical motor system. Experimental results are presented to prove that STM method could be a useful tool for diagnosing the condition of identical BLDE motors.

• Proceedings of the KIEE Conference
• /
• 2000.07a
• /
• pp.313-315
• /
• 2000

본 논문에서는 프랜트 설계 단계에서 안정도 해석을 행함에 있어 부하모델의 차이가 안정도 해석 결과에 미치는 영향을 비교 평가하였다. 플랜트 부하의 대부분인 유도전동기 모델을 달리 적용함에 따라 안정도 해석 시 최대 허용 고장제거시간이 매우 다르게 나타난다는 것을 보여 주었다. 또한 유도전동기의 모델 표현을 달리함에 따라 고장제거 후 모선의 전압회복 특성과 전동기 속도 회복 특성이 매우 달라짐을 보여 주면서 산업플랜트 보호계전 시스템 설계를 위한 안정도 해석 시 유도전동기 모델 적용방법에 있어 유의하여 할 사항을 제시하였다.