• 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.

• 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.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.239-244
• /
• 2011

Technical advancement in the field of world-class railway has brought the development of passenger safety, efficient operation and fast passenger service. The study of the railway speed-up has been progressed for a long time. As for the speed-up of trunkline railways, its design work has already promoted in some railway tacks and some track sections has already been under construction. In such a perspective we should review if the domestic signaling system is the optimal system and figure out the trend of signaling system for the speed-up that is recently applied over the world. In this way learning about justification and futurition, we should secure the national competitiveness in the long term and review the system available to international exports. Further, it is important to apply the result to the research project currently being pursued. In addition, predicting the recent international trends, we should show the direction of the future-oriented and economic signaling system.

• Journal of Institute of Control, Robotics and Systems
• /
• v.22 no.2
• /
• pp.162-169
• /
• 2016

Gyeong-bu railway line in Korea between Seoul and Cheon-an was built as two double tracks. A four-display signaling system, only for the metro line, was installed on the second double track so KTX and conventional trains can only operate on the first double track. This study suggests a method to allow KTX and conventional trains operated on the five-display signaling system to respond to accidents and track defects on the second double-track under the four-display signal system by means of problem analysis, calculation of breaking distances for KTX and conventional trains at each break mode, and improvement of the ATS system.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1252-1253
• /
• 2011

The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1016-1022
• /
• 2007

It is demanded to produce the safety evidence documents in other to approval safety characteristic of railway signaling system which stands is included, it is demanding from IEC 62425 standards. Also it is express clearly that safety assessment if signaling system has to be verification of these safety evidence documents. This Safety Case has the results of safety activity through system life-cycle, such as hazard lists, hazard identification and analysis, risk assessment and countermeasure, verification and test results. Consequently, first of all, the analysis and verification of these Safety Case documents has to be accomplished to approval and acceptance of signaling system safety. And also if the safety assessor was want, it is able to be experimental test auditory which is, arbitrary faults injection test, to above described documents verification. In this paper, the contents and architecture of Safety Case are presented as first steps of safety assessment technology establishment for railway signaling system.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.1145-1146
• /
• 2008

Failures of equipments are linked directly to extensive damages of human lives or financial losses from the increasing uses of railway signaling equipments utilizing computers. Then safety organizations have to establish for guaranteeing safety during the system life-cycle. In this paper, we examine the relationship between railway signaling standards and other safety standards for safety meaning establishment.

• 제어로봇시스템학회:학술대회논문집
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 2008.04c
• /
• pp.163-165
• /
• 2008

A S/W testing for vital railway signaling system have been important because of the increase of software usage for signaling. And also the safety of vital signaling system is required by int'l std. such as IEC 61508. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to assessment software's safety. In this paper, we propose a automation schemen of software testing tool for railway signaling system. From that, we show the functional architecture and internal components of the tool.