• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.53 no.1
• /
• pp.32-39
• /
• 2004

Railway signaling systems consist of several vital computerized equipment such as CTC(Centralized Traffic Control), EIS(Electronic Interlocking System), ATC(Automatic Train Control) and so on. Currently, the project for development of railway signaling systems for the next-generation high-speed train is progressed according to the G7 project and railway signaling related several companies and research institute are joined this project consortium. The railway signaling systems, being developed in this project, called as a kTCS(Korean Train Control System), is composed of kTCS-CTC, kTCS-IXL, kTCS-ATC and etc. kTCS signaling systems have to be operated at the laboratory testing level as integrated signaling systems by interface between each railway signaling systems before railway field installation and revenue service. To solve this matter, communication protocols between each signaling equipment are designed and message codes for each defined protocols have defined. And also several equipment has developed for the railway integrated signaling systems for laboratory testing. We has plentifully tested and verified the designed protocols and the characteristics of integrated railway signaling systems with our developed each kTCS signaling equipment and communication protocols. In this paper, the integrated kTCS system including communication protocols is presented.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.3B no.4
• /
• pp.195-201
• /
• 2003

In accordance with the computerization of railway signaling systems, the interface link between signaling equipment has been replaced by a digital communication channel and the importance of this communication link has become increasingly significant. However, there are some problems with the present state of railway signaling. First, different communication protocol is applied to interfaces between signaling although they have the same functions. Next, the communication protocols currently used in the railway fields contain various illogical components such as structure, byte formation, error correction scheme and so on. To solve these matters, a new data link protocol for railway signaling systems is designed. In this paper, the structure of protocol and the results of performance analyses are presented. It will be expected to increase the safety, reliability and efficiency of maintenance of signaling systems by using the designed communication protocol for railway signaling in Korea.

• Journal of Electrical Engineering and Technology
• /
• v.2 no.3
• /
• pp.379-385
• /
• 2007

Recently, vital devices of the railway signaling systems have been computerized in order to ensure safe train operation. Due to this computerization, we have gradually come to need networking interfaces between these devices. Thus it is important that there be reliable communication links in the signaling systems. Network technologies are applied in the real-time industrial control system, and there are numerous studies to be carried out on the computer network technology for vital control systems such as railway signaling systems. For deploying the studies, we consider costs, reliability, safety assurance technique, compatibility, and etc. In this paper, we propose the Ethernet for railway signaling systems and also precisely describe the computer network characteristics of vital railway signaling systems. Then we demonstrate the experimental results of the proposed network algorithm, which is based on switched Ethernet technology with redundancy scheme.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.6
• /
• pp.380-387
• /
• 2004

In accordance with the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by a digital communication channel. At the same time, the importance of the communication link has become increasingly significant. However, there are some questionable matters in the current state of railway signaling systems in KNR. First, different communication protocols have been applied to create an interface between railway signaling systems although the protocols have the same functions. Next, the communication protocols currently used in the railway fields have some illogical parts such as structure, byte formation, error correction scheme, and so on. To solve these matters, the standard communication protocol for railway signaling systems is designed. The newly designed protocol is overviews in this paper. And the simulation is performed to analysis the performance of data link control for designed protocol. According to this simulation, it is identified that the link throughput of new protocol is improved about 10% and the frame error rate is improved than existing protocol. And it is verified the safety and liveness properties of designed protocol by using a formal method for specifying the designed protocol. It is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling systems by using the designed communication protocol for railway signaling.

• International Journal of Railway
• /
• v.9 no.2
• /
• pp.36-40
• /
• 2016

TETRA communication system is very versatile system which can transmit voice + data and packet data optimized. Direct mode operation permits to connect between mobiles when mobile stain is out of coverage of networks. It can be more secure communication channel for railway signaling systems. Railway signaling systems use many of wayside signal equipment, which require many maintenance efforts and budget. Many railway authorities want to reduce and replace the wayside equipment. Radio based signaling systems are one of candidate for replacing the conventional signaling systems. The radio based signaling systems can replace track circuit and wayside signal. The radio systems permit to connect between control centers and trains. The radio systems have to ensure high quality of the connectivity more or equal to the existed track circuits. We studied the application of TETRA systems for railway radio systems for bridging between train control centers and trains. We provide an operation scenario for radio based train control system to ensure the safety require to the existed trains control system and satisfied the existed operational availability. We showed the data transmission speed, maximum bit error rate, and data coding for the radio-based signal system using TETRA systems.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• International Journal of Safety
• /
• v.6 no.2
• /
• pp.38-42
• /
• 2007

As railway signaling system is computerized, the significance on safety demonstration and assessment has been increased. Therefore, railway signaling system should reflect the needs for safety assessment technique. Various studies on safety assessment technique for railway signaling have been made in Europe and standardization of the requirements for safety acceptance has been initiated by IEC. In order to develop and establish the safety assessment techniques for railway signaling in Korea, we try to review safety assessment activities for signaling system via reviewing relevant case studies and consulting with experts. And also we propose the safety assessment activity/methodology for Korean railway signaling system.

• International Journal of Safety
• /
• v.10 no.2
• /
• pp.27-31
• /
• 2011

As safety-related regulations for signaling systems are standardized to IEC 61508 and 62425, and others at the international level, safety activities and its verification are required. And also there is need to develop technologies for safety improvement to secure safety signaling systems in terms of technologies for safety activities on each life-cycle. In this paper it is reviewed the safety activity processes and technologies each steps of proposed processes respectively for railway signaling systems.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.55 no.9
• /
• pp.485-490
• /
• 2006

According to the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by the digital communication channel. At the same time, the importance of the communication link is more pronounced than before. In this paper, new Network-based protocol between railway signaling and SCADA (Supervisory Control and Data Acquisition system) has designed and the overview of designed protocol is briefly represented. And also this paper addresses analysis of newly designed train control systems. Fame error rates of the data transmissions are calculated and compared for the two cases that the CTC (Centralized Traffic Control)/SCADA has an extra data transmission error control (CRC16) besides the inherent error control of the Ethernet and that the CTC/SCADA has no extra data transmission error control. With simulation results it has been verified that the additional error control code contributes to lowering the frame error rate. It will be expected to increase the safety, reliability and efficiency of maintenance of the signaling systems by using the designed protocol for railway signaling system.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.354-357
• /
• 2004

According to the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by the digital communication channel. At the same time, the importance of the communication link is more pronounced than in the past. In this paper, new network-based protocol for Korean railway signaling has designed between CTC and SCADA system, and the overview of designed protocol is briefly represented. Using the informal method for specifying the communication protocol, a little ambiguity may be contained in the protocol. To clear the ambiguity contained in the designed protocol, we use LTS model to design the protocol for this interface link between CTC and SCADA, the LTS is an intermediate model for encoding the operational behavior of processes. And then, we verify automatically and formally the safety and the liveness properties through the model checking method. Especially, the modal ${\mu}$-calculus, which is a highly expressive method of temporal logic that has been applied to the model checking method. It will be expected to increase the safety, reliability and efficiency of maintenance of the signaling systems by using the designed protocol for railway signaling in Korea.