Performance analysis and verification of safety communication protocol in train control system |
| |
| Authors: | Li-jie Chen Zhen-yu Shan Tao Tang Hong-jie Liu |
| |
| Affiliation: | State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing 100044, China |
| |
| 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. |
| |
| Keywords: | EURORADIO Simulation Formal method CPN (Colored Petri Net) Performance analysis Verification |
| 本文献已被 ScienceDirect 等数据库收录！ |
