• Journal of Information Processing Systems
• /
• 제8권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.

• 한국태양에너지학회 논문집
• /
• 제39권6호
• /
• pp.55-65
• /
• 2019

With the rapid development of the national industry, the importance of electrical safety was recognized because of a lot of new electrical equipment are installing and the electrical accidents have been occurring annually. Today, the electrical equipments is inspect by using the portable Infrared thermal imaging camera. but the most negative element of using the camera is inspected for only state of heating, the reliable diagnosis is depended with inspector's knowledge, and real-time monitoring is impossible. This paper present the infrared thermal imaging safety diagnosis system. This system is able to monitor in real time, predict the state of fault, and diagnose the state with analysis of thermal and power data. The system consists of a main processor, an infrared camera module, the power data acquisition board, and a server. The diagnostic algorithm is based on a mathematical model designed by analyzing the Pearson's Correlation Coefficient between temperature and power data. To test the prediction algorithm, the simulations were performed by damaging the terminals or cables on the switchboard to generate a large amount of heat. Utilizing these simulations, the developed prediction algorithm was verified.

• 전기학회논문지
• /
• 제62권1호
• /
• pp.109-119
• /
• 2013

This paper presents the design of the Safety Programmable Logic Controller (SPLC) used in the Nuclear Power Plants, an analysis of a reliability for the SPLC using a markov model. The architecture of the SPLC is designed to have the multiple modular redundancy composed of the Dual Modular Redundancy(DMR) and the Triple Modular Redundancy(TMR). The operating system of the SPLC is designed to have the non-preemptive state based scheduler and the supervisory task managing the sequential scheduling, timing of tasks, diagnostic and security. The data communication of the SPLC is designed to have the deterministic state based protocol, and is designed to satisfy the effective transmission capacity of 20Mbps. Using Markov model, the reliability of SPLC is analyzed, and assessed. To have the reasonable reliability such as the mean time to failure (MTTF) more than 10,000 hours, the failure rate of each SPLC module should be less than $2{\times}10^{-5}$/hour. When the fault coverage factor (FCF) is increased by 0.1, the MTTF is improved by about 4 months, thus to enhance the MTTF effectively, it is needed that the diagnostic ability of each SPLC module should be strengthened. Also as the result of comparison the SPLC and the existing safety grade PLCs, the reliability and MTTF of SPLC is up to 1.6-times and up to 22,000 hours better than the existing PLCs.

• 한국항공우주학회지
• /
• 제37권2호
• /
• pp.156-165
• /
• 2009

우주발사체는 군용 미사일이나 과학로켓에 비해 크기가 크고 비행거리가 멀어 고장상황 발생 시 매우 위험하다. 따라서 비행시험 시 사고의 위험을 최소화시키기 위해 비행안전시스템의 운용이 필수적으로 요구된다. 이 때, 비행안전시스템에 적용되는 추적 필터는 일반적인 필터와는 달리 필터의 정확성보다는 안정성이 우선 시 된다. 본 논문에서는 전 비행 구간에 걸쳐 안정적으로 비행 정보를 획득하기 위해서 다중센서를 이용하여 융합필터를 구성하였다. 추정된 위치 및 순간낙하점 오차를 분석하여 구현된 융합필터의 성능을 분석하였다. 또한 각 센서에 연결된 부필터에 고장검출 알고리듬을 적용함으로써 비정상 상태일 경우 융합에서 제외하여 전체 필터의 신뢰성을 유지하게 됨을 검증하였다.

• 조명전기설비학회논문지
• /
• 제22권9호
• /
• pp.40-46
• /
• 2008

본 논문에서는 자가용 전기설비에서 전기안전관리자의 PL인식과 전기설비의 사고발생에 관한 것을 조사하였다. 설문대상은 자가용 수용가 450호를 선정하였으며, 이중 154호가 설문에 응신하여 35.8[%]를 차지하였다 전기안전관리자의 58[%]는 PL에 관해 잘 알고 있었으며, 42[%]는 인식하고 있지 않았다. 이들 중 82.4[%]는 전기설비에 PL법이 적용되어야 된다고 하였으며, 5.8[%]만이 PL법의 적용이 필요 없다고 대답하였다. PL적용의 이유로는 전기설비와 제품의 안정성을 위한 것이 64[%], 동일사고의 방지가 19[%]를 차지하였다. 또한 변압기 사고가 가장 많은 부분을 차지하였으며, 케이블 사고가 그 뒤를 따랐다. 설문조사 결과로부터, 전기안전관리자들은 PL내용에 많은 관심이 있었으며, 그들은 전기사고에 관한 PL적용의 필요성을 기대하고 있었다.

• 자동차안전학회지
• /
• 제13권3호
• /
• pp.78-85
• /
• 2021

Recently a traffic accident of heavy duty vehicles under the mandatory installation of ADAS (Advanced Driver Assistance System) is often reported in the media. Heavy duty vehicle accidents are normally occurring a high number of passenger's injury. According to report of Insurance Institute for Highway Safety, FCW (Forward Collision Warning) and AEB (Automatic Emergency Braking) were associated with a statistically significant 12% reduction in the rate of police-reportable crashes per vehicle miles traveled, and a significant 41% reduction in the rear-end crash rate of large trucks. Also many countries around the world, including Korea, are studying the effects of ADAS installation on accident reduction. Traffic accident statistics of passenger vehicle for business purpose in TMACS (Traffic safety information Management Complex System in Korea) tends to remarkably reduce the number of deaths due to the accident (2017(211), 2018(170), 2019(139)), but the number of traffic accidents (2017(8,939), 2018(9,181), 2019(10,095)) increases. In this paper, it is introduced a traffic accident case that could lead to high injury traffic accidents by being equipped with AEB in a bus. AEB reduces accidents and damage in general but malfunction of AEB could occur severe accident. Therefore, proper education is required to use AEB system, simply instead of focusing on developing and installing AEB to prevent traffic accidents. Traffic accident of AEB equipped vehicle may arise a new dispute between a driver's fault and vehicle defect. It is highly recommended to regulate an advanced event data recorder system.

• 한국전기전자재료학회논문지
• /
• 제23권10호
• /
• pp.793-797
• /
• 2010

The basic performance of the ground system is evaluated as the ground resistance by applying low frequency current below 1 kHz. However, characteristics of the ground system should be analyzed by high frequency current up to 1 MHz since transient currents having a few hundred kHz component flow during a line-to-ground fault and/or a lightning strike. This paper deals with the design and fabrication of a wideband ground impedance meter (WGIM) which measures the impedance of ground systems in ranges from 65 Hz to 1.28 MHz. Also, a noise elimination algorithm using a digital bandpass filter is proposed. The maximum error of the WGIM is 4.91% in the measurement frequency range.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 A
• /
• pp.470-473
• /
• 2000

Because of the continuous growth of energy consumption, and also the tendency to site power lines and pipelines along the same routes, the close proximity of high voltage structures and metallic pipelines has become more and more frequent. Moreover, normal steady state and fault currents become higher as electric networks increase in size and power. Therefore, there has been and still is a growing concern (safety of people marking contact with pipeline, risk of damage to the pipeline coating, the metal and equipment connected to pipeline. especially cathodic protection system) about possible hazards resulting from the influence of high voltage power system on metallic structures(gas pipeline, oil pipeline and water pipeline etc.). Therefore, we analyze the interference problems when the gas pipeline is buried with power cable in the same submarine tunnel. This paper present the results of the study about interference mechanism, AC corrosion, limitation of safety voltage and analysis of indiction voltage.

• 대한안전경영과학회지
• /
• 제16권3호
• /
• pp.239-248
• /
• 2014

Most systems used in industrial sites, actually have non-linearity and uncertainty. Therefore there are a lot of difficulties in evaluating conditions of these systems. Generally, the quantitative analysis and expression are found hard because the general public cannot easily make an accurate interpretation on the systems. Thus development of a system that utilizes an expertise from skilled analysts is required. In this research, a real-time sensor signal conditioning system and Fuzzy-expert system have been separately set up into an inference algorithm. So that it ensures a fast, accurate, objective and quantitative operational condition value provided to the manager. Therefore, FE_AFCDM is suggested in this literature, as an effective system for diagnosing the problems related to the air compressor. It can quantify the uncertain and absurd condition to operate the air compressor facilities safely and financially.

• Nuclear Engineering and Technology
• /
• 제50권4호
• /
• pp.532-541
• /
• 2018

Decision support systems are a key focus of research on developing control rooms to aid operators in making reliable decisions and reducing incidents caused by human errors. For this purpose, models of complex systems can be developed to diagnose causes or consequences for specific alarms. Models applied in safety systems of complex and safety-critical systems require rigorous and reliable model building and testing. Multilevel flow modeling is a qualitative and discrete method for diagnosing faults and has previously only been validated by subjective and qualitative means. To ensure reliability during operation, this work aims to synthesize a procedure to measure model performance according to diagnostic requirements. A simple procedure is proposed for validating and evaluating the concept of multilevel flow modeling. For this purpose, expert statements, dynamic process simulations, and pilot plant experiments are used for validation of simple multilevel flow modeling models of a hydrocyclone unit for oil removal from produced water.