Author(s)

J.H. Lee, J.G. Hwang, Y.G. Yoon & G.T. Park

Abstract

According to the computerization of railway signalling systems, the interface link between the signalling 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 research, a new standard communication protocol for Korean railway signalling has been designed and the overview of the designed protocol and the results of performance analyses are briefly represented in this paper. 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 apply a formal method to the designed protocol and

Keywords