Title :
Verification and Analysis of RSSP-1 Protocol Based on Colored Petri Nets
Author :
Guo, Weiwei ; Zhao, Huibing ; Zhou, Guo
Author_Institution :
Sch. of Electron. & Inf. Eng., Beijing Jiaotong Univ., Beijing, China
Abstract :
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.
Keywords :
Petri nets; railway communication; signalling protocols; RSSP-1 protocol; closed transmission systems; colored Petri nets; message transmission; railway signal safety protocol; railway signaling communication; safety communication protocol; switch deadlock; Protocols; Rail transportation; Receivers; Safety; Standards; Switches; System recovery; CPN; RSSP-1; deadlock; simulation; verification;
Conference_Titel :
Business Computing and Global Informatization (BCGIN), 2012 Second International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4673-4469-2
DOI :
10.1109/BCGIN.2012.160
