Railway signaling communication is a kind of safety-related processing and the information has to be delivered safely. RSSP-1 Railway Signal Safety Protocol is a safety communication protocol which aims at protecting the message transmission between railway signaling safety-related equipment in closed transmission systems. CPN is suitable for the verification of the correctness and safety characteristics of the RSSP-1 protocol. The single-channel and dual-channel models are established on the RSSP-1 safety communication protocol with Colored Petri Net (CPN) and simulated in CPN tools. After the simulation, a drawback of the protocol is found. A switch deadlock between two channels is presented and a monitoring mechanism is proposed to detect the failure, which will enhance the efficiency of the protocol.
展开▼