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: | 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!
|
Similar Items
-
Research on data loss probability and its impact of CTCS-3 train ground communication based on GSM-R
by: Xia ZHANG, et al.
Published: (2014-12-01) -
Worker Protection Standard: Records of Employee Safety Training
by: Frederick M. Fishel
Published: (2019-09-01) -
Worker Protection Standard: Records of Employee Safety Training
by: Frederick M. Fishel
Published: (2019-09-01) -
Formal verification and implementation of safety computer communication management mechanism
by: Liang LIANG, et al.
Published: (2016-11-01) -
Grid Scheduling of Super-Peer Model Based on Price Timed Petri Net
by: Shanliang Pan, et al.
Published: (2013-11-01)