Simulation and Verification of RSSP-II Safety Communication Protocol
Menghua Xu, Huibing Zhao · 2012
Nowadays, communication technology is increasingly used in Chinese Train Control System. And the Railway Signal Safety Communication protocol is the upper layer protocol that ensures safety transmission of safety related information in a non-trusted channel. The characteristics and behavior pattern of the protocol are closely related to the safety of the whole railway signal system. This paper simulates the safety communication process of RSSP-II safety communication protocol. We analyze its characteristics and behaviors, verify its ability to resist the threats and risks and lay a foundation for future development of the dedicated communication interface devices. Through the simulation, we also find out the key defense technologies of the protocol and the easily-made mistakes in software programming, which is quite useful for future software development.