• Proceedings of the KIEE Conference
• /
• 1999.07a
• /
• pp.471-473
• /
• 1999

Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signaling which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in computer based control system. In this paper, the GRAFCET(GRAphe Fonctionnel do Commande Etape/Transition) language is used as a analysis and verification tool for safety-critical interlocking logic. The general description for Grafcet notation are provided and the general modeling for interlocking logic is presented.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.964-967
• /
• 2006

Korea Railroad Research Institute (the following 'KRRI') built AGT test line in Gyeong San-city, Kyongsang-bukdo province, Korea on August, 2004. This test line is exclusively used for the test of the driverless rubber-tired AGT system, and applied with research result of AGT System Development Project like vehicles, power supply, control and signaling, track and infrastructure system. The test line is available for the test of rubber tired AGT system's performance, function, safety. In this paper, we described the operation system of test line for the test of performance, safety, reliability, and also system operation in emergency. Finally we present the operation result of test line.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.11
• /
• pp.641-646
• /
• 2004

Computer system is widely used for controlling systems such as nuclear power plant, train speed control and air plane control. The failure of computerized controlling system can be arrived to catastrophic accident, so the safety ensuring of computerized controlling system is very important. This paper shows how to improve and ensure the safety of computerized systems. In this paper, we show how to identify, analyze hazards of the computerized system and to demonstrate risk of the system. Finally, we show how to adopt safety techniques for improving safety of the target system.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.52 no.8
• /
• pp.390-396
• /
• 2003

This paper is focused on an optimal block sectioning technique which are widely used in conventional railway system. We studied braking distance with pure train braking performance to generalize train braking. We tried to apply the braking distance to wayside signaling system to decide optimal block sectioning to reduce headway. The braking distances are obtained for 2 aspects, 3 aspects, 4 aspects and n aspects such that step speed control, are longer than the pure braking distance. We found an optimal solution with the generalized n aspects, and a minimum block distance for ATO mode.

• Journal of Electrical Engineering and Technology
• /
• v.9 no.4
• /
• pp.1137-1144
• /
• 2014

A parallel-feeding AC traction power system increases the power supply capacity and decreases voltage fluctuations, but the circulating power flow caused by the phase difference between the traction substations prevents the system from being widely used. A circuit analysis shows that the circulating power flow increases almost linearly as the phase difference increases, which adds extra load to the system and results in increased power dissipation and load unbalance. In this paper, we suggest a phase shifter for the parallel-feeding AC traction power system. The phase shifter regulates the phase difference and the circulating power flow by injecting quadrature voltage which can be obtained directly from the Scott-connection transformer in the traction substation. A case study involving the phase shifter applied to the traction power system of a Korean high-speed rail system shows that a three-level phase shifter can prevent circulating power flow while the phase difference between substations increases up to 12 degrees, mitigate the load unbalance, and reduce power dissipation.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1358-1360
• /
• 2004

철도 신호제어장치들은 각자 고유의 기능을 수행하면서 각 장치간 통신링크를 통하여 하나의 신호제어시스템을 구성하고 있다. 특히 철도청에서 통합 CTC 시스템을 구축하면서 신호제어시스템 이외의 SCADA나 여객정보안내 시스템 등과도 인터페이스를 통해 기존의 열차제어 기능만을 수행하는 것에서 타 시스템과의 통신을 통한 종합적인 정보시스템으로 발전하고 있다. 이러한 CTC장치와 외부설비들간의 인터페이스는 철도정보시스템의 발달에 따라 매우 중요한 부분이 되고 있으며, 본 논문에서는 이중 SCADA 장치와의 인터페이스를 위한 프로토콜 구조를 연구하였다. 이에 따라 본 논문에서는 기존의 도시철도, 경부고속철도 등의 프로토콜의 분석을 바탕으로 철도청 통합 CTC와 SCADA 장치간 통신을 위해 설계한 프로토콜 구조를 제시하고, 또한 설계한 프로토콜에 대한 안전성과 필연성을 정형검증(Formal Verification) 결과를 설명한다.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.29 no.2
• /
• pp.54-61
• /
• 2015

In 3-phase 4-wire inverter, the unbalanced loads cause to increase the neutral current which brings the voltage deviation between the split dc-link capacitors to be larger. In order to solve this problem, a neutral leg is provided additively to the ordinary inverter circuit and the associated control methods are devised. This paper proposes a new neutral-leg controller based on a PR controller and shows relatively good performance even under unbalanced linear loads and nonlinear loads. The proposed control strategy illustrates its effectiveness under the various operating conditions through simulation works.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.190-195
• /
• 2008

Surge proof equipment is an installation to make surge flow on the ground promptly so as to reduce surge-related damage on infrastructure, not to prevent surge from falling down on infrastructure directly. Compared with classical line individual earth, High speed line common earth has higher surge characteristic and plays a significant role to prevent infrastructure damage and injuries from surge, or short circuit accident between 25kV catenary and rail. In this paper, we analyzed the case of accident that caused communication/signaling system impaired while a tractor crossing level crossing at Honam line; in addition, we examined the accident reduction measures to minimize injury and property damage from cutting accidents with respect to common earth network.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.8
• /
• pp.5534-5540
• /
• 2015

This In the railway signaling system, applications of axle counter in addition to track circuit goes on increasing for detecting train position. Consequently, this paper compares sensor methods of axle counter with between geo-magnetism method and proximity sensor method. And it presents differences and results, to improve reliabilities of train detection and axle counting. Also, this article presents an applied result which is based on field experience, with regard to installation, considering attachment condition of sensor part for accurate axle counting. This study acquires expandability that is able to perform not only axle counting function but also various other functions (direction detection of train, speed detection of train, and so on). It was a result of a change of design in order to judge phase difference of sensors, to improve reliability of axle counting. Furthermore, it does not subordinate to characteristics (type, weight of train). And it is confirmed that the omission of axle counting was not occurred in 350km/h. This was the result of Lab test after the construction of transfer equipment of trial axle and Test Bed for axle counting. Both of them are self-productions. Through this, it prepares foundation which is able to apply not only to train detection but also to speed of passing trains, formation number of trains, detector locking condition - when the train passes the section of switch point, and level crossing devices. Furthermore, it would be judged to contribute safety train operation if proximity sensor method applies to the whole railway signaling system from now on.