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

fYear

2012

fDate

12-14 Oct. 2012

Firstpage

592

Lastpage

595

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Business Computing and Global Informatization (BCGIN), 2012 Second International Conference on

Conference_Location

Shanghai

Print_ISBN

978-1-4673-4469-2

Type

conf

DOI

10.1109/BCGIN.2012.160

Filename

6382602