• 전기학회논문지
• /
• 제63권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.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• 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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• 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.

• 항공우주기술
• /
• 제12권2호
• /
• pp.14-23
• /
• 2013

위성 운용 중 발생할 수 있는 오류에 대한 대비를 고장 관리 설계라고 한다. 고장 관리 설계는 위성에 이상 현상이 나타나는 경우 감지하고 고립시키며, 지상에서 위성과 접속한 이후 오류 사항을 파악하고 대응책을 마련할 때까지 위성을 안전한 상태로 유지하는 기능을 포함한다. 안전 모드 운용은 정상 운용과는 다르게 비행 소프트웨어를 탑재한 탑재 컴퓨터와 전력 제어 및 분배 장치 주관 하에 지상국의 접속 없이 이루어진다. 오류 발생 시 고장 관리 설계에 따라 자동화된 동작이 이루어지는 만큼 지상 시험 단계에서 고장 관리 로직 및 관련 하드웨어가 설계된 대로 동작하는지를 철저하게 검증해야 한다. 또한 실제와 유사한 오류를 위성에 손상 없이 인가해야 한다. 고장 관리 설계 검증시험은 위성을 구성하는 다양한 부분체에 대해서 수행되나 본 논문에서는 저궤도 위성의 비행 모델을 대상으로 수행된 자세제어계와 전력계 시험의 설계에 대해 서술하고 결과에 대해 정리하였다.

• 대한전자공학회논문지SD
• /
• 제43권2호
• /
• pp.96-104
• /
• 2006

본 논문에서는 VLSI구현을 위한 CAN 프로토콜 컨트롤러의 최적화된 구조를 제안하였으며, 제안된 구조를 이용하여 VLSI로 구현하였다. 또한 많은 시간이 소요되는 검증의 문제점을 보완하기 위하여 3단계 검증기법을 제안하였으며 이를 통하여 빠른 속도의 검증이 가능하게 되었다. 제안된 구조는 기존의 CAN 프로토콜 컨트롤러보다 적은 사이즈의 게이트 수를 갖고 있을 뿐만 아니라 호스트 프로세서와의 연결이 용이하게 구성되어 있기 때문에 비용 및 효율성에서 장점을 갖고 있고, 제안된 3단계 검증기법은 반복되는 검증의 수를 줄임으로써 최적화된 검증을 수행하도록 구성되어 있기 때문에 빠른 속도의 검증이 가능하다. 설계된 CAN 프로토콜 컨트롤러는 0.35마이크론 CMOS공정을 이용하여 제작되었다.

• 대한안전경영과학회지
• /
• 제17권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
• /
• 제46권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.

• 대한임베디드공학회논문지
• /
• 제14권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권3호
• /
• pp.212-218
• /
• 2007

아직까지 소프트웨어 개발조직에서는 사전검증 활동 및 충분한 테스트 설계가 수행되지 않고 있으며, 따라서 개발 초기에 식별, 수정될 수 있는 결함들까지 테스트시 검출되기 때문에 투입 노력 대비 테스트의 효율성은 떨어진다. 이러한 문제의식을 바탕으로 본 논문은 구현이전단계에서의 사전검증이 수행 되지 않고, 테스트 케이스 설계가 충분히 진행되지 않은 경우에 테스트의 효율성을 향상시킬 수 있는 방법을 실사례를 통해 제안하고 있다. 테스트 단계에서의 코드 리뷰와 코드 품질 분석을 통해 테스트 우선순위 선정, 테스트별 테스트 케이스 설계 등의 주요 활동과 테스트팀과 개발팀과의 역할을 구체적으로 제시한다.