• 한국항공운항학회지
• /
• 제16권2호
• /
• pp.1-11
• /
• 2008

Increasing demand for improved reliability and survivability of mission-critical systems is driving the development of health monitoring and Automated Contingency Management (ACM) systems. An ACM system is expected to adapt autonomously to fault conditions with the goal of still achieving mission objectives by allowing some degradation in system performance within permissible limits. ACM performance depends on supporting technologies like sensors and anomaly detection, diagnostic/prognostic and reasoning algorithms. This paper presents the development of a generic prototype test bench software framework for developing and validating ACM systems for advanced propulsion systems called the Propulsion ACM (PACM) Test Bench. The architecture has been implemented for a Monopropellant Propulsion System (MPS) to demonstrate the validity of the approach. A Simulink model of the MPS has been developed along with a fault injection module. It has been shown that the ACM system is capable of mitigating the failures by searching for an optimal strategy. Furthermore, the concepts of Validation and Verification (V&V) of such systems are introduced with relevant examples.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1149-1157
• /
• 2003

하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히, 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다.

• 전기학회논문지
• /
• 제59권4호
• /
• pp.686-692
• /
• 2010

This paper analyzes the effect of the STATCOM on the improvement of the Fault Ride Through (FRT) capability of the fixed speed wind turbines(FSWTs). The steady-state models of the wind farm components, such as induction generator, capacitor bank, and the STATCOM, are developed based on the simplified equivalent circuit. Especially, the STATCOM is modeled as a controllable current source and a method that analytically determines the magnitude of the injection current is developed. For the quasi-steady-state(QSS) analysis, the steady-state model of the generator and STATCOM are merged with the dynamic model of drive train. The QSS simulation with the STATCOM shows that the STATCOM can enhance the FRT performance by improving the $W_r-T_e$ characteristics of the FSWTs.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2687-2689
• /
• 2005

In this paper, a novel algorithm for adaptive majority voting using additional information is described. The novel algorithm increases the reliability of adaptive majority's history. The novel algorithm assists adaptive majority voter to select the result of the most reliable module. The performance of the proposed voter is evaluated through a series of fault injection simulations. The results are compared with those of adaptive majority voter. The empirical results show that the proposed voter has higher safety and availability levels than the adaptive majority voter

• Journal of Power Electronics
• /
• 제13권1호
• /
• pp.94-103
• /
• 2013

A capacitor deterioration of LCL-filter grid-connected PWM converters is progressed by the self-healing mechanism. It leads to the degradation of the filter performance and drop of power factor. Thus, it is required to diagnose fault-point of capacitors and determine the replacement time. Typically, the fault of capacitors is determined when the capacitance is reduced up to 80% from initial value. This paper proposes algorithm to the determine capacitor replacement time of an LCL filter. The algorithm takes the advantage of change of the response on the injected resonant frequency corresponding to 80% value from the initial capacitance. The results of the algorithm are demonstrated through simulations and experiments.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2000년도 춘계학술대회 논문집
• /
• pp.352-359
• /
• 2000

In this paper, the method is used that each system isolates the part in which faults are occurred in case of fault occurrence since total system is designed in the type of hot standby sparing system construction and self-checking circuit in each system is attached to the memory being of the high failure rate in common communication system. Thus reliability and availability in system are improved. In this thesis, self-checking circuit was designed using 2 out of 6 code and didn't have any effect to the system operation. For the purpose of verification, each system attached with self-checking circuit was simulated through fault injection arid the continuity of each system in hot standby sparing system was tested in case that the system was switched when faults in the system were occurred.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2003년도 학술대회논문집
• /
• pp.369-372
• /
• 2003

To obtain a low ground resistance in high resistivity soil or in insufficient place such as downtown, long vertical ground rods are often used. However, if the lightning current or fault current with high frequency flows into the grounding system, the ground impedance is remarkedly increased. This paper presents how the impulse and fault current works on the long. vertical ground rods associated with incoming points. When the test current was injected at the bottom of ground rod, the potential waveform of ground rod includes the oscillation with high frequency.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권9호
• /
• pp.419-428
• /
• 2017

임베디드 시스템에서는 모듈간의 상호작용으로 데이터를 주고 받는다. 이때 오류가 포함된 리소스 데이터를 전달하면 시스템의 실행 오류를 유발할 수 있다. 상호작용에 활용되는 리소스들은 모듈간의 의존관계를 만들며 의존관계에 있는 모듈의 변화가 다른 모듈의 기능에 영향을 미치게 된다. 몇몇 임베디드 시스템 조사 자료에 따르면 모듈간의 상호작용 오류가 심각한 소프트웨어 실패의 원인이 되기도 한다. 상호작용 테스팅 단계에서는 이러한 상호작용 오류를 검출하여 시스템 실패의 위험을 낮추고자 한다. 모듈간의 상호작용은 직접 또는 간접적으로 일어난다. 직접적인 상호작용은 모듈의 직접 호출을 통해 이루어지며, 간접 상호작용은 직접호출 이외에 리소스 데이터의 의존성을 통해 나타난다. 이 연구에서는 직접 상호작용에 의한 오류 검출 방식에서는 발견되지 않는 간접 상호작용과 연관된 오류를 검출하고자 한다. 먼저 상호작용 패턴을 분석하여 상호작용 모델을 생성하고 이를 기반으로 상호작용 오류를 검출하는 테스트 케이스 디자인 방법을 제안한다. 마지막으로 결함 주입 기법을 이용하여 제안된 방법의 효용성 및 실효성을 분석한다.

• 터널과지하공간
• /
• 제26권3호
• /
• pp.166-180
• /
• 2016

본 연구에서는 TOUGH-FLAC 연동 해석기법을 이용하여 호주 오트웨이 실증프로젝트 염수층 내 이산화탄소 주입을 수치적으로 모델링하고 주변 지층에 야기되는 수리-역학적 거동 특성을 살펴보았다. 대상 부지의 물리검층, 시추코어 분석 및 지구통계기법을 통해 구현된 3차원 추계학적 지질모델을 바탕으로 해석모델을 작성하였으며, 이산화탄소의 주입과 이에 따른 수리-역학적 연계거동을 분석하였다. 총 30,000톤의 이산화탄소를 200일 동안 주입하는 경우, 주입공 주변의 압력 변화는 0.5 MPa 이하로 나타났으며, 주입 5일 경과 시 압력이 수렴하는 경향을 보였다. 지층 내 역학적 거동에는 큰 영향을 미치지 않을 것으로 판단되며, 주변 단층대로의 유동도 미미한 수준으로 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.626-628
• /
• 1999

최근 컴퓨터와 통신 기술의 비약적인 발전은 가까운 시일 내에 대규모 멀티미디어 서비스가 실현될 수 있음을 보여주고 있다. 이와 관련하여 멀티미디어 서버의 구조 및 데이터 배치에 따른 다양한 큐잉 모델과 비용 모델이 제안되어 왔으나 의존도(dependability)에 대한 연구는 미미한 실정이다. 시스템의 디자인 단계에서 시뮬레이션은 성능과 의존도 분석을 위한 중요한 실험적인 수단이며 결함 주입 실험은 시스템의 의존도를 구하기 위해 사용되어 왔다. 본 논문에서는 병렬 비디오 서버의 의존도 분석을 위해 결함 주입을 이용한 시뮬레이션 모델을 제안하여 신뢰도(reliability)와 MTTF(Mean Time To Failure)를 구한다.