Performance analysis and verification of safety communication protocol in train control system

Li-jie Chen,Zhen-yu Shan,Tao Tang,Hong-jie Liu
DOI: https://doi.org/10.1016/j.csi.2011.02.006
IF: 3.721
2011-01-01
Computer Standards & Interfaces
Abstract:Performance analysis and verification of safety communication protocol are important techniques during protocol development process. In order to meet the requirement of safety, an advanced safety communication protocol is proposed to improve the protocol in EURORADIO. Among the improved protocol, the following two elements are added: (1) advanced scheme of establishment of safety connection. (2) double serial number replaces time stamp. The performance analysis related to safety of the advanced protocol and protocol in EURORADIO is given by Colored Petri Net (CPN) model through simulation. The analysis results verify that the advanced protocol has superior performance.
What problem does this paper attempt to address?