ATCS: Advanced Train Control System radio data link design considerations

Sheikh, A.U.H.; Coll, D.C.; Ayers, R.G.; Bailey, John H.

doi:10.1109/25.131007

Cited by 11 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several scientific papers present in the literature study automatic train protection/control systems [2][3][4][5][6] ; at the best of our knowledge, few public results are available about system reliability and availability analysis of ERTMS/ETCS. A hierarchical approach is described to develop a Colored Petri Net model that represents the on-board and trackside subsystem (TCS) behaviors and their interactions with the environment.…”

Section: Introductionmentioning

confidence: 99%

A Multiformalism Modular Approach to Ertms/Etcs Failure Modeling

Flammini

Marrone²,

Iacono³

et al. 2014

Int. J. Rel. Qual. Saf. Eng.

View full text Add to dashboard Cite

European Railway Traffic Management System/European Train Control System (ERTMS/ETCS) is a recent standard aimed at improving performance, safety and interoperability of modern railways. In order to be compliant to ERTMS/ETCS, a railway signalling system must meet strict nonfunctional requirements on system level failure modes. In this paper, a multiformalism model is employed to perform an availability analysis of an ERTMS/ETCS reference architecture at early phases of its development cycle. At this aim, a bottom-up analysis is performed from subsystem failure models (expressed by means of Generalized Stochastic Petri Nets, Fault Trees and Repairable Fault Trees) up to the overall system model. The modular approach, here used, allows to evaluate the influence of basic design parameters on the probability of system-level failure modes and demonstrates that system availability is within the bound required by the ERTMS/ETCS specification. The results show that the multiformalism modeling 1450001-1 Int. J. Rel. Qual. Saf. Eng. 2014.21. Downloaded from www.worldscientific.com by NORTHEASTERN UNIVERSITY on 02/18/15. For personal use only. F. Flammini et al.approach helps to cope with complexity, eases the verification of availability requirements and can be successfully applied to the analysis of complex critical systems.

show abstract

Section: Introductionmentioning

confidence: 99%