• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1452-1455
• /
• 2004

In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the developed verification tool.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.261-268
• /
• 2000

The purpose of interlocking system was to prevent the route for a train being set up and its protecting signal cleared if there was already another, conflicting route set up and the protecting signal for that route cleared. Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial systems, therefore, interlocking system are rapidly changing from relay interlocking system to computer controlled interlocking system that control requirements of interlocking at junctions using electronic circuits. However, the reliability of interlocking logic 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, In this paper, by examine checking technique of computer controlled interlocking system, we will to acquire interlocking inspection algorithm and method for computer controlled interlocking system

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.2010-2016
• /
• 2009

Before introducing high speed train, train signal system was operated passively depending on a driver by signal lamp display. Now it is changing to onboard signaling system because of train speed increased(conventional track is 230km/h, high speed track is 380km/h), high speed. low speed freight train operation mixed, operation for high speed train in conventional track and dense operation. ie. ETCS(European Train Control System) Level 1 is introducing. Also, in case of high speed train, the train control system of France was introduced and has operated from 2004, now we have a difficulty for rising speed more than 300km/h because of commercial operation speed limited as 300km/h. Therefore, it need to establish the train control technique according to trackside surroundings and develope standard system like European ERTMS/ETCS, China CTCS(Chinese Train Control System), Japan D-ATC(Digital Automatic Train Control). In this paper, we derive the systematization method for Korea train technique by network-oriented, information-oriented, intelligence-oriented and combination-oriented corresponding train development direction. Proposed method has a merit to prevent cross by mixed operation with existing system and improvement after validity demonstration and system development and supply train system to meet user requirement in exporting.

• Proceedings of the KSR Conference
• /
• 2005.05a
• /
• pp.757-766
• /
• 2005

A speed of a train is controlled by Automatic Train Control system and the continuous transmission system provide the speed related information in the Korean High Speed Line. The primary objective of this paper is to measure the level of continuous signal and to calculate the message of that signal. A measuring equipment is introduced and the equipment provide the base line of the level of current and the correction information of the message.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.4
• /
• pp.584-590
• /
• 2013

Depending on the operating characteristics, track circuit is installed for the purpose of control directly or indirectly of the signal device, point switch machine and other security device. These are mainly used for train detection, transmission of information, broken train detection and transmission of return current. Especially, the return current is related to signal system, power system and catenary line, and track circuit systems. It is one of the most important component shall be dealt for the safety of track side staff and for the protection of railway-related electrical system according to electrification. Therefore, an accurate analysis of the return current is needed to prevent the return current unbalance and the system induced disorder and failure due to an over current condition. Also, if the malfunction occurred by the return current harmonics, it can cause problems including train operation interruption. In this paper, we presented measurement and analysis method at return current and it's harmonics by train operation. By the test criteria, we evaluated for safety. Hereafter, it is expected to contribute to the field associated with it.

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.953-955
• /
• 2004

This paper describes the information transmission method using communication networks between Remote Terminal Unit(RTU) and Protection and Control system(PCU) of the direct current switchgear for Light Railway Vehicle, and also represents the test result, which carried out in the laboratory. In this test, transmission signal waveform, polling time, response time and request/response frame were measured between RTU and PCU. The field test including the measurements of analog signal and status of the digital logic operation of PCU will be conducted in near future.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.396-405
• /
• 2009

An interlocking equipment of railway signalling systems should have very high functional safety and reliability properties because of its vital railway protection functionality. In order to achieve the required safety and reliability level, an engineer, in general, designs and implements the interlocking equipment to operate under RTOS(Realtime Operating System) environment, and the control hardware architecture redundant to cope with the random failures of system or subsystem. In such an architecture, it's very difficult to implement the interlocking equipment to communicate with various interface systems including the signal operator's terminal. In this paper, we propose a dual ethernet network topology and dual packet seamless transfer protocol algorithm for railway signaling system such as the interlocking equipment. We verify in this paper that the proposed DPST protocol algorithm has the evidence of its robust properties against the random hardware faults and communication errors. The proposed communication structure and algorithm is implemented in the electronic interlocking equipment for the private railway system of Hyundai Steel Company and its performance and properties are validated on the guideline of European Railway Standard EN50159.

• International Journal of Safety
• /
• v.9 no.2
• /
• pp.29-34
• /
• 2010

When doing maintenance works at the trackside of railway, the method which delivers information on approaching of train to maintenance workers through alarm devices such as the flag or indication light, etc., is being used by locating persons in charge of safety alarm in addition to the maintenance workers at fixed distances in the front and rear of the workplace. Workers maintaining at the trackside may collide with the train since they cannot recognize the approach of train although it approaches to the vicinity of maintenance workplace because of the sensory block phenomenon occurred due to their long hours of continued monotonous maintenance work. The clash or rear-end collision accidents between many maintenance trains called motor-cars can be occurred since there are cases where the signal systems for safe operation of motor-car such as track circuit etc. are blocked or not operated normally. We developed the new safety equipment for protection of trackside maintenance workers using radio frequency signals and bidirectional detection mechanism. The developed safety equipment must analyze the several operational mechanism for each different operation situations. In this paper the analysis results are represented.