• Journal of the Korean Society for Railway
• /
• v.9 no.5 s.36
• /
• pp.601-605
• /
• 2006

Reliability of the Railway signaling system which is safety critical is determined by reliability of hardware and software. Reliability of hardware is easily predicted and demonstrated through lots of different studies and environmental tests, while that of software is estimated by the iterative test outcomes so estimates of reliability will depend on the inputs. Combinations of inputs to and outputs from the software may be mostly combinatoric and therefore all the combinations could not be tested. As a result, it has been more important to calculate reliability by means of a simpler method. This paper identifies the reliability prediction equation applicable to reliability prediction for railway signaling system software, and performs the simulation of onboard equipment of automatic train control for high speed train to review reliability prediction and validity.

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

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

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

• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• Proceedings of the KIEE Conference
• /
• 2005.07b
• /
• pp.1592-1594
• /
• 2005

This paper presents a method to construct a supervisory monitoring system for railway signaling devices which can provide the real-time operation information of signalling devices to several maintenance depots. Spying technique has been applied to acquire the real-time data transmitted among railway signaling devices without interfering the railway signalling system function.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.1420-1422
• /
• 2000

The railway signaling system consists of micro-computerized vital devices on board and ground, which are connected to one another by track circuits, and interlocking equipment for route control. Therefore it is important to validate the required functions of developed system and interface between developed signaling systems. To verify the conditions and functions of signaling functions, the laboratory prototype test bench, which consists of personal computers LAN, will be developed. In this paper design of signaling system test-bench for high-speed signaling is described and developed software module are presented.

• Proceedings of the KSR Conference
• /
• 2009.05b
• /
• pp.631-637
• /
• 2009

The railway signaling systems operated in Korea are ATS system, ATP system for the low speed line and ATC system for the high speed line. The integrated onboard signaling system for the next-generation high-speed rail is progressed as the need for reducing a driver's load and controlling a train properly with the automatic translation of the onboard signaling system according to a trackside signaling system. In this paper the configuration of the integrated onboard signaling system and the interfaces of the subsystems is presented.