• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1259-1265
• /
• 2004

Railway is an important transportation tool for nation's industrial development and public daily life. These days the concern about railway has remarkably been rising due to the April 2004 opening of KTX, Korea High Speed Rail, together with Trans-Continental Railways linking North Korea, China, Russia, through European countries. In the meantime, the issues of train safety and efficiency, arising from the different on-board signaling systems installed on different kinds of trains, have been raised incessantly. In this paper CTCS(Continental Train Control System) is suggested, which can accommodate such various signaling functions as ATP, ATC, ATS, etc. into one single type of on-board signaling system and operate without changing ground signaling systems on the junctions of the Trans-Continental Railways. The development of this CTCS would cause speed-up of exiting lines and possession of railway core solutions for establishing Northeast Asia logistics center bases, which could be an important cornerstone for domestic railway improvements and Korea's role of Northeast Hub.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.378-380
• /
• 2001

The railway signaling system consists of computerized vital devices. Therefor it is important to validate the required functions of developed signaling system. To verify the condition and functions of signaling functions, the plentiful laboratory test is required. To achieve this, the emulation S/W for signaling test-bench is needed. The object-oriented concept for trackside signaling equipments emulation is described in this paper.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.2
• /
• pp.108-115
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

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

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

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.108-115
• /
• 2019

The activities of managing and controlling the configuration of a system component over its life cycle are critical tasks in developing a high safety system as well as general system development. These configuration management activities should be defined through the management plan at the beginning of the life cycle, and should be performed continuously and systematically until the end of the project after the system or product development is completed. In this study, the configuration management process applied in the development of high safety railway signaling system was introduced and an efficient application proposals of it was proposed. In particular, configuration management through the establishment of a configuration management system based on computer tools is one of the important activities of maintaining the configuration integrity of the system or product.

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

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.62 no.1
• /
• pp.30-35
• /
• 2013

Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.9
• /
• pp.1589-1595
• /
• 2007

This paper suggests the advanced reliability assessment tool for railway signaling Hot-Standby sparing system. Existing reliability assessment for Hot-Standby sparing system controller is done by using single module mean failure rate based on approximated Hot standby sparing system function. Although approximated Hot standby sparing system function can be applied to various Hot standby sparing system, however, it is not able to reflect the exact system structure. In this paper, we suggest the advanced reliability function by identifying changeover-related failure factors and common failure mode which is not considered in existing approximated Hot standby sparing system reliability function via developing Hot standby sparing system model for railway signaling and applying FMECA to this model. Also. we compare reliability assessment results for model system to reliability assessment for existing system.