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

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

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

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(III)
• /
• 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.

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

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

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

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

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.396-405
• /
• 2009

열차제어 지상신호시스템에서 핵심적인 철도보안기능을 수행하는 연동장치는 철도산업의 안전성 확보 지침에 따라 높은 안전성과 신뢰성을 갖추어야만 한다. 따라서 연동장치는 높은 안전성과 신뢰성을 달성할 수 있도록 실시간 운영체제 및 그 구성 하드웨어의 랜덤 고장에 대처하기 위한 Fail-Safe형 다중 제어시스템으로 구성된다. 이러한 구성에서는 운영자 인터페이스를 포함한 다양한 장치와의 메시지 교환을 위한 인터페이스 가능을 구현하기 어려운 특성이 존재한다. 본 논문에서는 연동장치와 상위 인터페이스 설비간의 통신기능을 구현하기 위한 Dual Ethernet 네트워크 구성 및 DPST (Dual Packet Seamless Transfer) 통신 프로토콜을 제안한다. 제안된 시스템의 구성에서는 특정 네트워크 장비의 랜덤 고장이나 통신오류에 강인한 특성을 보이며 통신채널의 장애를 검출할 수 있는 기능이 추가되어 설비의 유지보수에 효과적인 정보로 활용될 수 있음을 실험적으로 검증한다. 제안된 네트워크 구성 및 운영 프로토콜을 현대제철 전용철도용 전자연동장치에 구현하고 그 성능과 특성을 유럽표준규격 EN50159의 지침을 토대로 타당성을 분석한다.

• International Journal of Safety
• /
• 제9권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.