• Title/Summary/Keyword: Software Faults

Search Result 222, Processing Time 0.029 seconds

Dynamic Characteristics of Digital Distance Relay Scheme Using Real Time Digital Simulator(RTDS) (RTDS를 이용한 Digital 거리계전기의 동특성 시험에 관한 연구)

  • Jung, Chang-Ho;Kim, Il-Dong;Kim, Yeong-Han;Kim, Sok-Il
    • Proceedings of the KIEE Conference
    • /
    • 1996.11a
    • /
    • pp.109-111
    • /
    • 1996
  • This paper describes real time dynamic tests on the digital distance relay using new digital test system including RTDS(Real Time Digital Simulator) in KEPRI. The RTDS is developed by the Manitoba HVDC Reserch Centre and consists of specialized hardware and software which allows transients simulation of electrical power systems in real time. From high impedance fault test, it is known that the characteritics of distance reach is influenced by load flow. A detailed discussion of relay test using the RTDS simulator, high impedance faults and test results are included in the paper.

  • PDF

Low-Cost Fault Diagnosis Algorithm for Switch Open-Damage in BLDC Motor Drives

  • Park, Byoung-Gun;Lee, Kui-Jun;Kim, Rae-Young;Hyun, Dong-Seok
    • Journal of Power Electronics
    • /
    • v.10 no.6
    • /
    • pp.702-708
    • /
    • 2010
  • In this paper, a fault diagnosis algorithm for brushless DC (BLDC) motor drives is proposed to maintain control performance under switch open-damage. The proposed fault diagnosis algorithm consists of a simple algorithm using measured phase current information and it detects open-circuit faults based on the operating characteristic of BLDC motors. The proposed algorithm quickly recovers control performance due to its short detection time and its reconfiguration of the system topology. It can be embedded into existing BLDC drive software as a subroutine without additional sensors. The feasibility of the proposed fault diagnosis algorithm is proven by simulation and experimental results.

AN ARTIFICIAL NEURAL NETWORK BASED SENSOR SYSTEMS FOR GAS LEAKAGE MONITORING

  • Ahn, Hyung-Il;Kim, Eung-Sik;Lee, June-Ho
    • Proceedings of the Korea Institute of Fire Science and Engineering Conference
    • /
    • 1997.11a
    • /
    • pp.282-288
    • /
    • 1997
  • The purpose of this paper is to predict the situation of leak in closed space using an Artificial Neural Network (ANN). The existing system can't monitor the whole He situations with on/off signals. Especially the first stage of data determines the leak spot and intensity is disregarded in gas accidents. To complement these faults, a new prototype of monitoring system is proposed. Ihe system is composed of'sensing systenL data acquisition system computer, and ANN implemented in software and is capable of identifying the leak spot and intensity in closed space. The concentration of gas is measured at the 4 different places. The network has 3 layers that are composed of 4 input Processing Element (PE),24 hidden PEs, md 4 output PEs. The ANN has optimum condition through several experiments and as a consequence the recognition rate of93.75% is achieved finally

  • PDF

A Model-based Test Approach and Case Study for Weapon Control System (모델기반 테스트 기법 및 무장통제장치 적용 사례)

  • Bae, Jung Ho;Jang, Bucheol;Koo, Bongjoo
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.20 no.5
    • /
    • pp.688-699
    • /
    • 2017
  • Model-based test, a well-known method of the black box tests, is consisted of the following four steps : model construction using requirement, test case generation from the model, execution of a SUT (software under test) and detection failures. Among models constructed in the first step, state-based models such as UML standard State Machine are commonly used to design event-based embedded systems (e.g., weapon control systems). To generate test cases from state-based models in the next step, coverage-based techniques such as state coverage and transition coverage are used. Round-trip path coverage technique using W-Method, one of coverage-based techniques, is known as more effective method than others. However it has a limitation of low failure observability because the W-Method technique terminates a testing process when arrivals meet states already visited and it is hard to decide the current state is completely same or not with the previous in the case like the GUI environment. In other words, there can exist unrevealed faults. Therefore, this study suggests a Extended W-Method. The Extended W-Method extends the round-trip path to a final state to improve failure observability. In this paper, we compare effectiveness and efficiency with requirement-item-based technique, W-Method and our Extended W-Method. The result shows that our technique can detect five and two more faults respectively and has the performance of 28 % and 42 % higher failure detection probability than the requirement-item-based and W-Method techniques, respectively.

Fault Diagnosis of Voltage-Fed Inverters Using Pattern Recognition Techniques for Induction Motor Drive (패턴인식 기법을 이용한 유도전동기 구동용 전압형 인버터의 고장진단)

  • Park, Jang-Hwan;Park, Sung-Moo;Lee, Dae-Jong;Kim, Dong-Hwa;Chun, Myung-Geun
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.19 no.3
    • /
    • pp.75-84
    • /
    • 2005
  • Since an unexpected fault of induction motor drive systems can cause serious troubles in many industrial applications, which the technique is required to diagnose faults of a voltage-fed PWM inverter for induction motor drives. The considered fault types are rectifier diodes, switching devices and input terminals with open-circuit faults, and the signal for diagnosis is derived from motor currents. The magnitude of dq-current trajectory is used for the feature extraction of a fault and PCA LDA are applied to diagnose. Also, we show results with respect to the execution time because of the possibility to use that a diagnosis software is embedded in the controllers of medium and small size induction motors drive for real-time diagnosis. After we performed various simulations for the fault diagnosis of the inverter, the usefulness of proposed algerian was verified.

A Novel Approach for Deriving Test Scenarios and Test Cases from Events

  • Singh, Sandeep K.;Sabharwal, Sangeeta;Gupta, J.P.
    • 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.

Long-Tail Watchdog Timer for High Availability on STM32F4-Based Real-Time Embedded Systems (STM32F4 기반의 실시간 임베디드 시스템의 가동시간 향상을 위한 긴 꼬리 와치독 타이머 기법)

  • Choi, Hayeon;Yun, Jiwan;Park, Seoyeon;Kim, Yesol;Park, Sangsoo
    • Journal of Korea Multimedia Society
    • /
    • v.18 no.6
    • /
    • pp.723-733
    • /
    • 2015
  • High availability is of utmost importance in real-time embedded systems. Temporary failures due to software or hardware faults should not result in a system crash. To achieve high availability, embedded systems typically use a combination of hardware and software techniques. A watchdog timer is a hardware component in embedded microprocessors that can be used to automatically reset the processor if software anomalies are detected. The embedded system relies on a single watchdog timer, however, can be permanently disabled if the timer is not properly configured, e.g. falling into an indefinite loop. STM32F4 provides two different types of watchdog timer in terms of timing accuracy and robustness. In this paper, we propose a hybrid approach, called long-tail watchdog timer, to utilize both timers to achieve self-reliance in embedded systems even though one of timers fails. Experimental results confirm that the proposed approach successfully handles various failure scenarios and present performance comparisons between single watchdog timer and hybrid approach in terms of configuration parameters of watchdog timers in STM32F4, counter value and window size.

The Development of Converting Program from Sealed Geological Model to Gmsh, COMSOL for Building Simulation Grid (시뮬레이션 격자구조 제작을 위한 Mesh 기반 지질솔리드모델의 Gmsh, COMSOL 변환 프로그램 개발)

  • Lee, Chang Won;Cho, Seong-Jun
    • Journal of the Korean earth science society
    • /
    • v.38 no.1
    • /
    • pp.80-90
    • /
    • 2017
  • To build tetrahedra mesh for FEM numerical analysis, Boundary Representation (B-Rep) model is required, which provides the efficient volume description of an object. In engineering, the parametric solid modeling method is used for building B-Rep model. However, a geological modeling generally adopts discrete modeling based on the triangulated surface, called a Sealed Geological Model, which defines geological domain by using geological interfaces such as horizons, faults, intrusives and modeling boundaries. Discrete B-Rep model is incompatible with mesh generation softwares in engineering because of discrepancies between discrete and parametric technique. In this research we have developed a converting program from Sealed Geological Model to Gmsh and COMSOL software. The developed program can convert complex geological model built by geomodeling software to user-friendly FEM software and it can be applied to geoscience simulation such as geothermal, mechanical rock simulation etc.

An Integrated Emergency Call System based on Public Switched Telephone Network for Elevators

  • Lee, Guisun;Ryu, Hyunmi;Park, Sunggon;Cho, Sungguk;Jeon, Byungkook
    • International journal of advanced smart convergence
    • /
    • v.8 no.3
    • /
    • pp.69-77
    • /
    • 2019
  • Today, most of elevators have an emergency call facility for emergency situations. However, if the network installed in the elevator is also out of power, it cannot be used for the elevator remote monitoring and management. So, we develop an integrated and unified emergency call system, which can transmit not only telephone call but also data signals using PSTN(Public Switched Telephone Network) in order to remote monitoring and management of elevators, even though a power outage occurs. The proposed integrated emergency call system to process multiple data such as voice and operational information is a multi-channel board system which is composed of an emergency phone signal processing module and an operational information processing module in the control box of elevator. In addition, the RMS(remote management server) systems based on the Web consist of a dial-up server and a remote monitoring server where manages the elevator's operating information, status records, and operational faults received via the proposed integrated and unified emergency call system in real time. So even if there's a catastrophic emergency, the proposed RMS systems shall ensure and maintain the safety of passengers inside the elevator. Also, remote control of the elevator by this system should be more efficient and secure. In near future, all elevator emergency call system need to support multifunctional capabilities to transmit operational data as well as phone calls for the safety of passengers. In addition, for safer elevators, it is necessary to improve them more efficiently by combining them with high-tech technologies such as the Internet of Things and artificial intelligence.

A study on the Construction of Remote Status Display Software for Soft-RAID system of Linux based Server (리눅스 기반 서버의 소프트-RAID 시스템용 원격 상태 표시 소프트웨어의 구성에 관한 연구)

  • Na, Won-Shik;Lee, Hyun-Chang
    • Journal of Software Assessment and Valuation
    • /
    • v.15 no.1
    • /
    • pp.97-102
    • /
    • 2019
  • In this paper, we propose a method to remotely intuitively identify faults found in storage devices in soft-RAID used in a server system composed of Linux. To do this, we analyze the principle and problem of fault reporting method in the soft-RAID system of Linux OS and suggest the state of storage devices in remote Internet Home-page. The proposed method consists of a method of displaying images on the Internet home-page, so that it can be arranged freely when creating a home-page, and the image data is composed of external files, so it is bery convenient to edit and replace images In order to verify the effectiveness of the proposed method, we have confirmed that the state of each storage device can be confirmed at a long distance without any major addition to the Home-page configuration.