Dependability analysis of the data communication system in train control system

DOI10.1007/S11431-009-0183-4MaRDI QIDQ1047332zbMATH OpenOpenAlexFDO

Authors Tao Tang, ChunHai Gao, Baigen Cai, 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

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

Recommendations

• Reliability analysis of rail transit LTE-M communication system
• A cost-effective wireless network migration planning method supporting high-security enabled railway data communication systems
• scientific article; zbMATH DE number 5711484
• Formal modeling and verification for MVB
• Automobile System Safety Based on the Model for Stochastic Networks with Dependent Service Times

Cites work

• scientific article; zbMATH DE number 1629930 (Why is no real title available?)
• scientific article; zbMATH DE number 510833 (Why is no real title available?)
• scientific article; zbMATH DE number 1130211 (Why is no real title available?)
• scientific article; zbMATH DE number 3381785 (Why is no real title available?)
• Composite performance and dependability analysis
• Modeling and simulation for train control system using cellular automata
• Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets
• Verification of a radio-based signaling system using the STATEMATE verification environment

Cited in

(4)

• Formal verification of safety protocol in train control system
• Reliability analysis of rail transit LTE-M communication system
• A cost-effective wireless network migration planning method supporting high-security enabled railway data communication systems
• Integrity assurance of GNSS-based train integrated positioning system

Describes a project that uses

Uses Software

• SPNP
• MoDeST

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047332)