WIT Press


Formal Verification Of Protocol Specified In LTS For Railway Signalling Systems

Price

Free (open access)

Paper DOI

10.2495/CR040631

Volume

74

Pages

10

Published

2004

Size

655 kb

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