Dependability analysis of the data communication system in train control system

DOI10.1007/S11431-009-0183-4zbMath1177.90075OpenAlexW2075471388MaRDI QIDQ1047332

Tao Tang, BaiGen Cai, ChunHai Gao, Tianhua Xu

Publication date: 4 January 2010

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11431-009-0183-4

zbMATH Keywords

dependability analysiscommunication based train control (CBTC)data communication system (DCS)stochastic reward net (SRN)

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Reliability, availability, maintenance, inspection in operations research (90B25) Application models in control theory (93C95)

Related Items (2)

Integrity assurance of GNSS-based train integrated positioning system ⋮ Formal verification of safety protocol in train control system

Uses Software

• MoDeST
• SPNP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling and simulation for train control system using cellular automata
• Composite performance and dependability analysis
• Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets
• Verification of a radio-based signaling system using the STATEMATE verification environment

This page was built for publication: Dependability analysis of the data communication system in train control system