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

• Journal of the Korean Society for Railway
• /
• v.6 no.2
• /
• pp.135-141
• /
• 2003

According to the computerization of railway signaling systems, the interface link between these signaling equipment is also replaced by digital communication channel, expecially communication link for interface between EIS and LDTS, but there are some problems in the present state of railway signaling. First of all, different communication protocol is applied to interface between above two signaling equipment although they have same functions. The other is that the communication protocol currently used in railway field has some unreasonable points such as structure, formation of byte, error correction scheme and etc. To solve these problems, the standard communication protocol for railway signaling is designed. The structure of designed communication protocol and the results of performance analyses are represented in this paper. It will be expected the increase of safety, reliability and efficiency of maintenance of signaling system by using of the designed communication protocol for railway signaling.

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

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

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

• The KIPS Transactions:PartC
• /
• v.14C no.7
• /
• pp.559-570
• /
• 2007

In this paper, we define a Hose-NSIS-QoSM, which reserves and manages resources according to the hose based resource provisioning mechanisms for supporting the VPN QoS(Quality of Service) using the NSIS(Next Step in Signaling) signaling protocol. Specifically, we specify the NSIS message objects, the structures of QoS NSLP(NSIS Signaling Layer Protocol)/NTLP(NSIS Transport Layer Protocol)/RMF(Resource Management Function) state tables and the processing of the signaling messages in NSIS nodes. Also, we compare the Hose-NSIS-QoSM with the Hose-RSVP-TE-QoSM that supports the hose based VPN QoS in the MPLS networks using the extended RSVP-TE mechanism.

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

• ETRI Journal
• /
• v.24 no.2
• /
• pp.69-81
• /
• 2002

This paper reviews the existing research activities on signaling and control procedures for IP over optical networks. We focus on the IP-centric signaling and control architecture based on the generalized multi-protocol label switching (GMPLS) protocol and analyze various scenarios and technical issues for deploying the IP over an optical network. We analyze the signaling and operations and administration and maintenance requirements for integrating an IP network and an optical network in order to cope with the high bandwidth and poor resource granularity of the optical network, including the optical cross-connect system. On the basis of network architecture and a reference configuration model, we investigate the GMPLS-based control architecture and interconnection model appropriate for controlling IP bandwidth and optical lambda resources. The signaling and control procedure based on GMPLS on optical user-network interface and network-network interface are comparatively investigated to provide the optical lightpath. We also study protection and restoration procedures to protect link failure when it applies to generalized MPLS signaling.