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...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| 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 |