Analysis and verification of safety computer time constraints for train-to-train communications

In order to adapt to the development trend of the communication based train control (CBTC) system from train-ground communication mode to train-to-train communication mode, a verification approach for time constraints of multi-period applications concurrence on-board safety computer based on time Pe...

Full description

Saved in:
Bibliographic Details
Main Authors: Ying GAO, Yuan CAO, Yongkui SUN, Lianchuan MA, Chunhua HONG, Yuzhuo ZHANG
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2018-12-01
Series:Tongxin xuebao
Subjects:
Online Access:http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000−436x.2018275/
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1841539467494555648
author Ying GAO
Yuan CAO
Yongkui SUN
Lianchuan MA
Chunhua HONG
Yuzhuo ZHANG
author_facet Ying GAO
Yuan CAO
Yongkui SUN
Lianchuan MA
Chunhua HONG
Yuzhuo ZHANG
author_sort Ying GAO
collection DOAJ
description In order to adapt to the development trend of the communication based train control (CBTC) system from train-ground communication mode to train-to-train communication mode, a verification approach for time constraints of multi-period applications concurrence on-board safety computer based on time Petri net was proposed. By taking the double 2 out of 2 on-board safety computer as an example, the multi-period applications concurrence nature of the safety computer was analyzed. Time Petri net (TPN) was utilized to calculate the time schedulable interval. Then several cases were analyzed based on the inference of this approach. The analysis and verification results indicate that onboard safety computer can meet the time constraints of more than three periodic safety-critical applications under the condition of single-core with main frequency of 1GHz, which demonstrates the effectiveness of verifying and evaluating the time constraints of safety computer periodic applications using TPN.
format Article
id doaj-art-ede173f05f0e4a6c92f23d9375a27967
institution Kabale University
issn 1000-436X
language zho
publishDate 2018-12-01
publisher Editorial Department of Journal on Communications
record_format Article
series Tongxin xuebao
spelling doaj-art-ede173f05f0e4a6c92f23d9375a279672025-01-14T07:15:57ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2018-12-0139829059722318Analysis and verification of safety computer time constraints for train-to-train communicationsYing GAOYuan CAOYongkui SUNLianchuan MAChunhua HONGYuzhuo ZHANGIn order to adapt to the development trend of the communication based train control (CBTC) system from train-ground communication mode to train-to-train communication mode, a verification approach for time constraints of multi-period applications concurrence on-board safety computer based on time Petri net was proposed. By taking the double 2 out of 2 on-board safety computer as an example, the multi-period applications concurrence nature of the safety computer was analyzed. Time Petri net (TPN) was utilized to calculate the time schedulable interval. Then several cases were analyzed based on the inference of this approach. The analysis and verification results indicate that onboard safety computer can meet the time constraints of more than three periodic safety-critical applications under the condition of single-core with main frequency of 1GHz, which demonstrates the effectiveness of verifying and evaluating the time constraints of safety computer periodic applications using TPN.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000−436x.2018275/time Petri nettrain-to-train communicationsafety computertime constraint
spellingShingle Ying GAO
Yuan CAO
Yongkui SUN
Lianchuan MA
Chunhua HONG
Yuzhuo ZHANG
Analysis and verification of safety computer time constraints for train-to-train communications
Tongxin xuebao
time Petri net
train-to-train communication
safety computer
time constraint
title Analysis and verification of safety computer time constraints for train-to-train communications
title_full Analysis and verification of safety computer time constraints for train-to-train communications
title_fullStr Analysis and verification of safety computer time constraints for train-to-train communications
title_full_unstemmed Analysis and verification of safety computer time constraints for train-to-train communications
title_short Analysis and verification of safety computer time constraints for train-to-train communications
title_sort analysis and verification of safety computer time constraints for train to train communications
topic time Petri net
train-to-train communication
safety computer
time constraint
url http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000−436x.2018275/
work_keys_str_mv AT yinggao analysisandverificationofsafetycomputertimeconstraintsfortraintotraincommunications
AT yuancao analysisandverificationofsafetycomputertimeconstraintsfortraintotraincommunications
AT yongkuisun analysisandverificationofsafetycomputertimeconstraintsfortraintotraincommunications
AT lianchuanma analysisandverificationofsafetycomputertimeconstraintsfortraintotraincommunications
AT chunhuahong analysisandverificationofsafetycomputertimeconstraintsfortraintotraincommunications
AT yuzhuozhang analysisandverificationofsafetycomputertimeconstraintsfortraintotraincommunications