Abstract
Communication-based train control systems (CBTCs) have been widely used as crucial systems in urban rail transit networks. CBTCs typically utizes different levels of symmetry structure according to different geographic deployments. While, in practice, CBTCs crashes have destroyed the transportation systems of the whole city level for many times. Based on the extended object-oriented Petri net (EOOPN), this paper proposes a vulnerability model and an evaluation procedure, which are capable of considering the vulnerability factors in both inner system level and equipment level. On the system level, it establishes a complex dynamic communication structure model among the distributed subsystems, while on the equipment level, it details the equipment changing state during train operation. The searching algorithm of EOOPN depicts possible failed paths of CBTCs via the token transition among train¬–ground communication EOOPN subnets. The vulnerability calculation is applied to the metro company’s in situ CBTCs to illustrate the effectiveness of the approach.
Highlights
Urban rail transit has become one of the mainstream public transport systems over the world.Its advantages include punctuality, large capacity, and convenience
Vulnerability is different from reliability and risk
P = SPi ∪ OMi, T = ATi, C(T ) × C(P) → N. It is a colored arc from T to P; C(SPi ) is the color set for state places of obi ; C(IMi ) is the color set for input places of obi ; C(OMi ) is the color set for output places of obi ; C(ATi ) is the color set for active transitions of obi ; NCi is the network relevance degree
Summary
Urban rail transit has become one of the mainstream public transport systems over the world. The Petri net can be used in discrete and qualitative modeling of railway fail-safe signalization and interlocking design [28], synchronization protocol [29], construction of abstract state spaces tools [30], railway networks and train schedules [31] and on-board subsystems of a satellite-based train control system [32]. This paper uses the object-oriented colored Petri net model to study the vulnerability of CBTCs. The research of CBTCs mainly focuses on its reliability and safety risks, and analyzes the degree of use and working ability of the equipment under the existing conditions. We employ an extended object-oriented Petri net (EOOPN) for vulnerability modeling and evaluation of the CBTCs. EOOPN introduces some new features and modeling elements to describe vulnerability in a more convenient and clear way, which makes it more suitable for complex system analysis.
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
