• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.29 no.8
• /
• pp.98-103
• /
• 2015

Power plant is that very high reliability when industrial and economic impact on the overall electric power system is required, it is essential to improve the reliability, especially the fault prediction diagnosis. Since an accident caused by the partial discharge in the power plant is above state has a faster response characteristic than the other indications in the case of any, the partial discharge generated in the power plant immediately detect the deterioration of insulation due to the accident of the power plant and the non-drawn It should prevent or reduce. Partial Discharge Measuring Systems for UHV SF6 Gas Insulated Switchgear and power transformer on site installed has some probability of abnormal recognition in case of non-flexible deal with on site noise. Many methode to eliminate these kinds of noises, UHF Detection System is chosen as purchase description in Korea, but this system having a bandwidth between 500MHz 1.5GHz wide band. Initial install periods(about 20 years ago), this band had no strong signal source, but in these days this wide band have strong signals, such as LTE. So, module described in this paper is designed as simultaneously use with wide and narrow band for solve this noise problem, and introduce this system.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.4
• /
• pp.951-956
• /
• 2011

Coronary angiography technology is usually used for examining or treating coronary artery stenosis. Especially, when a cardiologist inserts catheter into the heart blood vessel, the catheter path detection system is needed because the cardiologist has difficulty in not damaging vessel. Recently, to reduce this difficulty, many searchers have been working for the various image processing technologies, such as vessel edge detection, optimal threshold method, etc. However the results of these searches are showing different performances depend on the contrast and quality of images. Therefore, this study for the coronary angiography suggests a novel algorithm to avoid these problems. The suggested algorithm consists of multi-sampling, interpolation, threshold method, and fault points elimination. To evaluate the performance of the proposed method, we used several angiographic images in experimentation, and we found that the proposed method is effective for detecting the catheter insertion path.

• The Transactions of the Korean Institute of Electrical Engineers C
• /
• v.52 no.12
• /
• pp.562-567
• /
• 2003

Lightning arresters are deteriorated by repetition of protective operation against overvoltages or impulse currents in environments of its use. If a deteriorated arrester is left in power lines, it can lead to an accident such as a line to ground fault even in a normal system. Therefore, it is necessary to eliminate the deteriorated arrester in advance by checking the soundness of arresters on a regular basis, and to ensure the reliability of power systems by preventing accidents. Various deterioration diagnostic techniques and devices are suggested, and most of which measure leakage current components as an indicator of arrester ageing. However, the techniques based on the magnitude of leakage current measure simply RMS or peak value of leakage current components and do not provide detailed information needed in the diagnosis. In this study, we found that the wave height distributions of the total leakage currents are remarkably changed or a new wave height are produced with the progress of arrester deterioration. To propose a new technique for the diagnosis, we designed a leakage current detection unit and an analysis program which can measure leakage current magnitudes and analyze wave height distributions. From the experimental results, we confirmed that the proposed technique by analyzing the wave height distribution can simply diagnose the mode of defects such as a partial damage and an existence of punctures in arresters as well as deterioration of arresters.

• Journal of Power Electronics
• /
• v.12 no.1
• /
• pp.208-214
• /
• 2012

This paper presents a novel approach based on the loci of instantaneous symmetrical components called "Wing Shape" which requires the measurement of three input stator currents and voltages to diagnose interturn insulation faults in three phase induction motors operating under different loading conditions. In this methodology, the effect of unbalanced supply conditions, constructional imbalances and measurement errors are also investigated. The sizes of the wings determine the loading on the motor and the travel of the wings while their areas determine the degree of severity of the faults. This approach is also applied to detect open circuit faults or single phasing conditions in induction motors. In order to validate this method, experimental results are presented for a 5 hp squirrel cage induction motor. The proposed technique helps improve the reliability, efficiency, and safety of the motor system and industrial plant. It also allows maintenance to be performed in a more efficient manner, since the course of action can be determined based on the type and severity of the fault.

• Journal of Energy Engineering
• /
• v.10 no.4
• /
• pp.310-317
• /
• 2001

The instantaneous voltage drop is occurred when the fault is happened on the nearby feeders. The instantaneous voltage drop is continued during relatively short period. But, the effect of it can be very severe to some sensitive devices. That is, it can be the reason of restart or malfunction of some devices. And these phenomenons can cause the enormous economical damage and shorten the lifetime of the devices. In this paper the device which can compensate the instantaneous voltage drop, is studied. The device injects the voltage to the power system through the series transformer. The validity of the proposed algorithm using peak detection method is verified through the computer simulation and experiments.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.5
• /
• pp.93-100
• /
• 2006

This paper presents a multi-sensor data simulator and a data fusion algorithm for tracking high dynamic flight target from Radar and Telemetry System. The designed simulator generates time-asynchronous multiple sensor data with different data rates and communication delays. Measurement noises are incorporated by using realistic sensor models. The proposed fusion algorithm is designed by a 21st order distributed Kalman Filter which is based on the PVA model with sensor bias states. A fault detection and correction logics are included in the algorithm for bad data and sensor faults. The designed algorithm is verified by using both simulation data and actual real data.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2333-2336
• /
• 2002

1990년대를 지나면서 컴퓨팅 환경은 급속히 변화하였다. 과거 메인 프레임 중심의 환경에서 네트워크를 기반으로 클라이언트/서버 모델 중심의 분산 컴퓨팅 환경으로 전환되었다. 이러한 환경에서 복잡하고 유지하기 힘든 데이터 네트워크를 관리를 수행하고, 또한 유용한 정보를 줄 수 있는, 효과적인 네트워크 관리의 필요성이 대두되었다. 이러한 필요에 의해서 네트워크 관리의 개념이 등장하였다. 네트워크 관리에는, 기능적 관점에서, 장애 관리, 구성 관리, 계정관리, 성능 관리, 그리고 보안 관리로 나누어진다[1]. 그런데 네트워크가 발전함에 따라, 네트워크에서 발생할 수 있는 각종 장애를 신속히 발견하여 관리자에게 통보하고 적절한 처리를 할 수 있는 기능이 특히 요구되고 있다. 하지만 기존의 SNMP 트랩 기반의 장애 관리는 기능 면에서 부족한 점이 많다[2]. 예를 들어, 불규칙적인 트랩 메시지, 또는 SNMP 패킷의 소실 때문에 정확한 장애 발견에 문제가 생기게 된다. 본 논문에서는 SNMP 장애 관리 기능을 보완하기 위해 ICMP Echo/Reply 메시지를 이용한 장애 처리 시스템의 구조와 알고리즘에 대해 설명하고, 기존의 SNMP 기반의 NMS와 어떻게 연동될 수 있는 방안에 대해서 기술하도록 하겠다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.10 no.5
• /
• pp.105-111
• /
• 2010

In this paper the elasticity of fault-detection algorithm based on fuzzy logic is proposed through lots of experiments, justifying its validity. The four mathematical morpholgical operators was defined to detect the cracks. The cracks was detected via center of area method with ${\lambda}$-fuzzy measure of fuzzy sets. However generally favorable, the result owes to how adequate the lighting device is designed in case of the so far fine crack of pieces. In an attempt to improve the response of the system, It is designed to minimize the use of memory via LookUp table in software.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.4
• /
• pp.783-788
• /
• 2020

Surges generated by direct strike or induction of lightning, frequent opening and closing of power system breakers, etc. cause excessive overvoltage, which can interfere with normal operation of transformers, circuit breakers, and power equipment. In order to prevent such phenomena, this study goes further from the method of establishing countermeasures by installing lightning arresters on power equipment or lines in parallel, and furthermore, remotely checking the condition of the lightning arrester and preparing immediate countermeasures when an event occurs. The purpose of the study is to prevent damage in advance.