• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.3
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• Journal of the Korean Society for Railway
• /
• v.12 no.4
• /
• pp.450-456
• /
• 2009

In accordance with the development of recent computer technology, the dependency of railway signaling system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of railway signaling system software became more important This thesis suggested automated an analysis tool for S/W metrics on this railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway system, such as IEC61508 and IEC 62279. This automated analysis tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

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

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2795-2803
• /
• 2011

Due to speed acceleration, higher requirements have been put forward to high speed railway communication and signaling system. The railway applications, including intra-train, train to ground and trackside networks, demand larger bandwidth, higher reliability and shorter response time from railway communication networks to ensure security operation and passenger communication. However, the current railway communication and signaling system has lagged behind the railway development, so advanced communication technologies are needed to improve the current situation. This paper presents high speed railway communication and signaling system based on 4G LTE technology, introduces its network architecture, key technology and analyzes its technical advantages compared with GSM-R system. According to analysis, LTE based high-speed railway communication network is more effective and reliable.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1193-1198
• /
• 2004

This paper describes the lightning protection system for railway signaling equipments installed at subway car depots in Seoul metropolitan Rapid Transit Cooperation. Several measures for improving lightning protection performance are adopted; newly organized grounding system for neutral line of power system, rolling method to minimize damages induced by direct lightning strike, new measures to reduce voltage differences between the signaling equipments and the ground, and improvement of grounding system. The proposed system has greatly reduced the grounding resistance and also the voltage difference between the signaling equipments and the ground, and has prevented the accident related with lightning surges since it was installed. The proposed approach can be viewed as a useful alternative of dealing with lightning protection for railway signaling equipments.

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

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.269-275
• /
• 2000

The railway signaling system consists of microcomputerized 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 logic, the laboratory prototype test bench, which consists of personal computers with software module and Ethernet LAN, will be developed. In this paper general design of signaling system test bench for high-speed rail is described and developed software module is presented.

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

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

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