• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.12
• /
• pp.1726-1731
• /
• 2014

This paper shows the developed new lightning arrester LCM (Leakage Current Measuring device) which is important element of GIS (Gas Insulated Switchgear) Preventive & Diagnostic system and verify its performance though strengthened test standards. The existing lightning arrester LCM was modified to solve measuring errors which happened frequently. At first, we explained the principle of measuring leakage current. Through analyzing some problems which the existing LCM have. we got some improvable items. For the performance verification of the improved LCM, we manufactured prototype LCM which is applied some improvable items such as improving LCM circuit, adding protection circuit, optimizing inner structure of LCM and changing ground design. After then we carried out the performance test. Accredited testing laboratory carried out the performance verification test according to performance test criteria and procedure of reliability test standards, IEC-60225, 61000 and 60068 etc. We confirmed the test results which correspond with the performance test criteria. Also, we confirmed the performance of the improved LCM installed & being operated at G Substation through the immunity test against the normal noise and open/close surge etc.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.294_295
• /
• 2009

Superconducting fault current limiter (SFCL) is an power device of a novel concept. While SFCLs generate no ohmic loss during the operation carrying normal currents, they can limit fault currents very fast making large impedance by their quench characteristics. In 2006, KEPCO has developed a distribution class hybrid type SFCL by a collaborative research project with LS industrial systems. The SFCL has merits in practical and economical points of view. In the SFCL, the superconductor just plays a role of a fault detector and the current limiting is completed by the other current limiting element made of normal metals throu호 the line commutation. As a result, the required amounts of superconductors can be reduced considerably. Consequently, the hybrid SFCL can be fabricated with small size and cost, maintaining perfect current limiting performance. Currently, KEPCO is carrying out a research project at Gochang power test center for the purpose of the verification test of the 22.9 kV/ 630 A class SFCL for the practical application in real grid. Through the project, a long term operational test and fault current test will be done. In this paper, the back ground of development and installation of the SFCL will be explained and the operation plan of the SFCL for the verification test is also introduced.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.640-649
• /
• 2010

Coarse granular materials such as gravel and crushed stone have been used as an important fill materials to large soil structure of railway, road, dam and so on. Although much studies for general soil materials have been carried out domestically, the studies for coarse materials were insufficient. Particularly, it is the level in which the study for dynamic properties(Elastic modulus and damping ratio) of coarse materials, applies the foreign country literature. This is due to the lack of large equipment for element test. But large soil structures made of coarse granular materials are generally important infrastructures. Therefore, the reliable design parameters for coarse materials should be obtained for safe and economic design, construction and maintenance. Triaxial test is the laboratory test method that is capable of controlling a confining pressure and boundary condition. In this project, we made a multi-purpose large triaxial testing system. This testing system is able to test coarse granular materials with maximum particle diameter of 100mm and support both the load control and displacement control. The load cell is installed inside of triaxial cell and the axial displacement is measured locally in order to control and measure more accurately in the small strain level. The verification test of this testing system was carried out with urethane verification specimens. So, from now on the useful information for coarse granular materials are expected to suggested by performing many tests with various material and condition.

• Aerospace Engineering and Technology
• /
• v.12 no.2
• /
• pp.14-23
• /
• 2013

Fault management design of the satellite describes preparations for failures which can occur during operational phase. Fault management design contains detection and isolation function of anomaly, and also it contains function to maintain the satellite in safe condition until the ground station finds out a cause of failure and takes a countermeasure. Unlike normal operation, safing operation is automatically performed by Power Control and Distribution Unit and Integrated Bus Management Unit which loads Flight Software without intervention of ground station. Since fault management operation is automatical, fault management logic and functionality of relevant hardware should be thoroughly checked during ground test phase, and error which is similar to actual should be carefully applied without damage. Verification test for fault management design is conducted for various subsystems of satellite. In this paper, we show the design process of fault management design verification test for Electrical Power Subsystem and Attitude and Orbit Control Subsystem of Low Earth Orbit satellite flight model and the test results.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.2 s.344
• /
• pp.96-104
• /
• 2006

This paper presents design methodology, encient verification and implementation of a CAN protocol controller. The design methodology uses a heuristic technique to make the design flexible and cost effective. Using the design methodology, we created architecture for a CAN controller which has flexible and low cost features. For faster time-to-market and reliable operation of the designed CAN protocol controller, we p개posed a three-step verification process which uses three different kinds of verification techniques. The goal of this three-step verification is to reduce the number of test sequences in order to rapidly implement the design without loss of reliability for faster time-to-market. The designed CAN protocol controller was fabricated using a 0.35 micrometer CMOS technology.

• Journal of the Korea Safety Management & Science
• /
• v.17 no.1
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• Nuclear Engineering and Technology
• /
• v.46 no.3
• /
• pp.381-386
• /
• 2014

A highly reliable safety class controller for NPPs (Nuclear Power Plants) is mandatory as even a minor malfunction can lead to disastrous consequences for people, the environment or the facility. In order to enhance the reliability of a safety class digital controller for NPPs, we employed a diversity approach, in which a PLC-type controller and a PLD-type controller are to be operated in parallel. We built and used structured testbenches based on the classes supported by UVM for functional verification of the PLD-type controller designed for NPPs. We incorporated a UVM register model into the testbenches in order to increase the controllability and the observability of the DUT(Device Under Test). With the increased testability, we could easily verify the datapaths between I/O ports and the register sets of the DUT, otherwise we had to perform black box tests for the datapaths, which is very cumbersome and time consuming. We were also able to perform constrained random verification very easily and systematically. From the study, we confirmed the various advantages of using the UVM register model in verification such as scalability, reusability and interoperability, and set some design guidelines for verification of the NPP controllers.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.212-218
• /
• 2007

Not enough verification or enough design of test is not performing in many software developments organization as yet. Therefore, defects that can be detected and corrected during the beginning phases of development are usually found during dynamic testing, it is often observed that testing is inefficient compared to effort for testing. This study aims to suggest a method for effective testing through case study. It is useful in case of not verification and not enough design of test in the previous phase than coding. We show in a concrete way major activities that determine prioritization of testing and level of test case design through static testing, i.e. code review and analysis of code quality. And also we show role between test team and development team.