• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.1
• /
• pp.61-67
• /
• 2018

Automatic Train Stop (ATS) is a device that automatically stops or decelerates a train when the train exceeds the permitted speed limits or violates the signal regulations. The railway signaling system has been evolved to an automatic train control system (ATC), and is being developed into Distance-to-Go and Communication Based on Train Control (CBTC). In spite of that, the ATS system is currently being operated in Seoul Metro (line 1 and 2) and most of railway lines in Korea as well as overseas. In this study, we presents the technical methodology to prevent human errors in order to secure the safety in operation of the ATS system.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.57 no.2
• /
• pp.65-71
• /
• 2008

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased. assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

• Proceedings of the KSR Conference
• /
• 2002.05a
• /
• pp.467-472
• /
• 2002

The railway signal ing system consists of several vital computerized equipments. Now the project for development of signal ing system for the next-general ion high-speed train is progressed according to the consortium. The developing signal ing system by this project, kTCS(Korean Train Control System), is composed of kTCS-CTC, kTCS-IXL, kTCS-ATC and etc. The KTCS signaling has to be operated as a integrated system by interface between each signaling. To achieve these, communicat ion protocols between each signal ing have to be designed and message codes are defined. In this paper the configuration of integrated kTCS system and designed communication protocol is presented.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1251-1256
• /
• 2008

Urban railway system has make rapid progress ever since Seoul metro line No.1 was opened in 1974. Now, it is time to prepare system maintenance scheme and procedure that can be available even after 30 years from now. Especially, signaling system must be chosen with considering its life cycle since the system is categorized into electronic equipments. As for current signaling system, mechanical components such as relays has decreased while communication and S/W has integrated in order to implement its correct function. Therefore, it is required to establish system review and switch-over scheme with considering operational environment, maintenance system and an operator. In this paper, therefore, we analyzed various factors - technical, operational and economic - that have effect on system improvement so as to prevent making any mistakes on system improvement.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1243-1250
• /
• 2008

LRT System Application Project is performed for the purpose of technical advancement and stabilization of K-AGT system from the viewpoint of practical use and commercialization. For those purpose, the performance test and evaluation procedure for signaling system are developed, and the scheme of verifying the performance and function of signaling system under multi-train and driverless control environment is being conducted. In general, the railway have kept their systems highly safe and reliable through the ongoing efforts over a period of many years. This has been achieved primarily by continuous improvements, which mean that there is a dearth of experience in the introduction of innovative new systems. Therefore it is said that comparing a new system that features a completely new architecture with a conventional one may be difficult. In this paper, we investigate the evaluation method for Radio based-Communication Based Train Control system from case study.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.4B no.1
• /
• pp.29-35
• /
• 2004

Locomotive scheduling in railway systems experiences many difficulties because of the complex interrelations among resources, knowledge and various constraints. Artificial intelligence technology has been applied to solve these scheduling problems. These technologies have proved to be efficient in representing knowledge and rules for complex scheduling problems. In this paper, we have applied the CSP (Constraints Satisfaction Problems) programming technique, one of the AI techniques, to solve the problems associated with locomotive scheduling. This method is more effective at solving complex scheduling problems than available mathematical programming techniques. The advanced locomotive scheduling system using the CSP programming technique is realized based on the actual timetable of the Saemaul type train on the Kyong-bu line. In this paper, an overview of the CSP programming technique is described, the modeling of domain and constraints is represented and the experimental results are compared with the real-world existing schedule. It is verified that the scheduling results by CSP programming are superior to existing scheduling performed by human experts. The executing time for locomotive scheduling is remarkably reduced to within several decade seconds, something requiring several days in the case of locomotive scheduling by human experts.

• Proceedings of the KIEE Conference
• /
• 2006.07b
• /
• pp.1073-1074
• /
• 2006

In this paper, we perform a simulation to verify the earth resistance values in Common Earth Network. The simulation is performed on the assumption that certain shorts are occurred in common earth network. Furthermore, from the result, we confirmed that very small earth resistance values in common earth network are given, by carrying out practical measurements in railway sections where common earth network is composed. From the effect, we could discover that the construction of common earth network is in a disadvantageous position on the financial aspect, while it is the most desirable way of construction for the purpose of Earth.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.519-534
• /
• 2008

The Maglev travels at levitated status from the rail in some gab (about $8\sim10mm$). it make difference with the existing subway or the another LRV. The detection method of the train speed and the train position to be used at Maglev's signaling system differ with the existing subway or the another LRV's. so, the signal system construction of the new method is necessary. This paper describes the configuration and characteristic of the total signaling system (TTC/Wayside/Cab/Guide way system etc.) developed for Maglev, and the design concept of the signaling system based on the latest wireless LAN communication for driverless operation.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1259-1260
• /
• 2007

In this paper, the inductive power collector using electromagnetic induction for vehicle such as the electric railway vehicle system is suggested and some ideas for power collector design to improve the power transfer performance are presented. The inductive power of secondary part is related to amount of linked flux to secondary part by the length of air-gap, which is expected by such a system parameter as mutual inductance. This paper will study for the transfer characteristic of power from input to output and equation including mutual inductance. And also, effect of leakage inductance variation of inductive power collector according to structure of winding was considered.

• Proceedings of the KIEE Conference
• /
• 1998.11a
• /
• pp.350-353
• /
• 1998

In this paper, a wayside signaling emulator systems developed for testing to carbone ATC/ATO/TWC systems adopted in SMRT(Seoul Metropolitan Rapid Transit Coperation) line 7, 8 is presented. Informations that are required to train movement with driverless, such as stations status, destination station, restriction speed and train modes are provided through the wayside signaling emulator. The developed emulator systems can be constructed to 1.5km testing tracks and the end points of track, are emulated to the arbitrary stations in SMRT line 7, 8.