Paper Info
Title
Performance analysis and verification of safety communication protocol in train control system
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.
Year
DOI
Venue
2011
10.1016/j.csi.2011.02.006
Computer Standards & Interfaces
Keywords
Field
DocType
performance analysis,analysis result,safety communication protocol,protocol development process,safety connection,improved protocol,advanced protocol,train control system,advanced scheme,superior performance,advanced safety communication protocol,formal method,control system,communication protocol,verification,development process,simulation
Computer science,Computer network,Colored petri,Real-time computing,Timestamp,Formal methods,Control system,Communications protocol
Journal
Volume
Issue
ISSN
33
5
0920-5489
Citations 
PageRank 
References 
5
0.44
12
Authors
4
Name
Order
Citations
PageRank
Lijie Chen1186.90
Zhenyu Shan2496.01
Tao Tang366478.90
Hong-jie Liu4153.02