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

详细信息    查看全文

• 作者：Li-jie Chen ; ^a ; ^{03212002@bjtu.edu.cn"" rel=""nofollow} ; Zhen-yu Shan^a ; ^{zhenyushan1125@gmail.com"" rel=""nofollow} ; Tao Tang^a ; ^{ttang@bjtu.edu.cn"" rel=""nofollow} ; Hong-jie Liu^a ; ^{hjliu2@bjtu.edu.cn"" rel=""nofollow}
• 关键词：EURORADIO ; Simulation ; Formal method ; CPN (Colored Petri Net) ; Performance analysis ; Verification
• 刊名：Computer Standards and Interfaces
• 出版年：2011
• 出版时间：September 2011
• 年：2011
• 卷：33
• 期：5
• 页码：505-518
• 全文大小：2373 K

文摘

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.