کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
453426 | 694847 | 2011 | 14 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Performance analysis and verification of safety communication protocol in train control system Performance analysis and verification of safety communication protocol in train control system](/preview/png/453426.png)
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.
Research Highlights
► We model two protocols, one of which has superior performance than the other.
► We examine modifications in the designed protocol about safety-related time.
► Time for establishment of safety connection in designed protocol is less than in existing protocol.
► Designed protocol has function to check failure of communication.
► Designed protocol has function to check resequence and lost packet.
Journal: Computer Standards & Interfaces - Volume 33, Issue 5, September 2011, Pages 505–518