• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.

• Journal of the Korean Society for Railway
• /
• v.20 no.1
• /
• pp.55-63
• /
• 2017

Railway interlocking systems which are safety-critical systems are rapidly changed from relay-based systems to computer-based systems which have high flexible. Computer-based interlocking systems (CBI) are consisted of hardware and software in which system safeties arise one of important problems. The interlocking software of the CBI influences directly to the system safeties. "z" notation is one of formal methods have been used for system software specification to secure system safety. In this paper, the specification of interlocking logics for CBI systems is realized using "z" notation and verifies it with Z/EVES.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2013.05a
• /
• pp.1423-1424
• /
• 2013

• Journal of the Korean Society for Railway
• /
• v.12 no.4
• /
• pp.450-456
• /
• 2009

In accordance with the development of recent computer technology, the dependency of railway signaling system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of railway signaling system software became more important This thesis suggested automated an analysis tool for S/W metrics on this railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway system, such as IEC61508 and IEC 62279. This automated analysis tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.6
• /
• pp.26-37
• /
• 2019

Recently, standardization of installation progress and technology of site acceptance test(SAT) for energy storage system(ESS) are being required due to performance of ESS depending on working condition and environment even though the quality and safety of each component of ESS　is guaranteed. And also, it has been required to perform not only performance testing by H/W equipments but also performance verification by S/W tool, in order to more accurately and reliably validate the performance of the ESS in advanced countries. Therefore, this paper proposes evaluation algorithm for SAT to evaluate performance of ESS and presents modeling of SAT test equipment for ESS by using PSCAD/EMTDC. Furthermore, 30[kW] scaled portable test equipments is implemented based on the proposed algorithm and modeling. From the various simulation and test results, it is confirmed that performance of ESS related to characteristics of capacity and Round-trip efficiency, Duty-cycle efficiency, low voltage ride through(LVRT) and Anti-islanding can be accurately evaluated and that the simulation results of PSCAD/EMTDC are identical to test results of 30[kW] test equipment.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• Journal of the Korea Society for Simulation
• /
• v.21 no.3
• /
• pp.1-9
• /
• 2012

This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.

• Proceedings of the KSME Conference
• /
• 2000.11a
• /
• pp.498-503
• /
• 2000

A safety-related equipment for use in Nuclear Power Plant should be needed an Equipment Qualification. This paper presents the approach, methods, philosophies, and procedures for qualifying the large squirrel-cage induction electric pump motors for use in ULCHIN 5&6 Nuclear Power Plants. In this paper, the method of qualification is a combination of type test and analysis method, which is composed of Radiation exposure test, Seismic simulation test, Thermal aging analysis for non-metallic materials and Seismic analysis. It is found that the motor performs its safety function with no failure mechanism under postulated service conditions.

• Proceedings of the KIPE Conference
• /
• 2018.11a
• /
• pp.107-108
• /
• 2018

ITER AC/DC 컨버터는 토카막 시스템의 안전성 확보를 위하여 단락 조건에서의 높은 내구성이 요구된다. 단락시험은 크게 컨버터 출력단 단락시험과 컨버터 내부 단락시험으로 구분된다. 컨버터 출력단 단락시험은 단락시험 조건에서의 전력장치의 내구성과 브릿지 스위치의 전류 분배특성 및 Bypass 스위치 동작 특성을 확인하기 위한 것이며, 컨버터 내부 단락시험은 기계적 구조물 안전성 검증을 위한 것이다. ITER CS AC/DC 컨버터의 단락시험은 전기연구원에서 시행되었으며 본 논문에서는 컨버터 출력단 단락시험 결과를 소개하고자 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.