Performance evaluation and verification of communication protocol for railway signaling systems

After designing new protocol for railway signaling, this paper analyzed the designed protocol's structure and performance through simulation. Also, as a very important part in the development of protocol, this paper specified the designed protocol in Labeled Transition System (LTS) with model check method, and verified safety and liveness proprieties of the designed protocol. Therefore, it is expected that the safety, reliability, and efficiency of maintenance for the railway signaling systems will be increased by using the newly designed communication protocol in Korea.