The European Rail Traffic Management System/European Train Control System (ERTMS/ETCS) is an innovative standard introduced to enhance reliability, safety, performance, and interoperability of trans-European railways. In Level 3, the standard replaces fixed-block safety mechanisms, in which only one train at a time is allowed to be in each railway block, with moving blocks: a train proceeds as long as it receives radio messages ensuring that the track ahead is clear of other trains. This mechanism increases line capacity, but relies crucially on the communication link: if messages are lost, the train must stop within a safe deadline even if the track ahead is clear. We develop upon results of the literature to propose an approach for the evaluation of transient availability of the communication channel and probability of train stops due to lost messages. We formulate a non-Markovian model of communication availability and system operation, and leverage solution techniques of the ORIS Tool to provide experimental results in the presence of multiple concurrent activities with non-exponential durations.

Non-Markovian performability evaluation of ERTMS/ETCS level 3 / Carnevali, Laura; Flammini, Francesco; Paolieri, Marco; Vicario, Enrico. - ELETTRONICO. - 9272:(2015), pp. 47-62. (Intervento presentato al convegno 12th European Performance Engineering Workshop, EPEW 2015 tenutosi a esp nel 2015) [10.1007/978-3-319-23267-6_4].

Non-Markovian performability evaluation of ERTMS/ETCS level 3

CARNEVALI, LAURA;Flammini, Francesco;PAOLIERI, MARCO;VICARIO, ENRICO
2015

Abstract

The European Rail Traffic Management System/European Train Control System (ERTMS/ETCS) is an innovative standard introduced to enhance reliability, safety, performance, and interoperability of trans-European railways. In Level 3, the standard replaces fixed-block safety mechanisms, in which only one train at a time is allowed to be in each railway block, with moving blocks: a train proceeds as long as it receives radio messages ensuring that the track ahead is clear of other trains. This mechanism increases line capacity, but relies crucially on the communication link: if messages are lost, the train must stop within a safe deadline even if the track ahead is clear. We develop upon results of the literature to propose an approach for the evaluation of transient availability of the communication channel and probability of train stops due to lost messages. We formulate a non-Markovian model of communication availability and system operation, and leverage solution techniques of the ORIS Tool to provide experimental results in the presence of multiple concurrent activities with non-exponential durations.
2015
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12th European Performance Engineering Workshop, EPEW 2015
esp
2015
Carnevali, Laura; Flammini, Francesco; Paolieri, Marco; Vicario, Enrico
File in questo prodotto:
File Dimensione Formato  
15_CFPV_EPEW15.pdf

Accesso chiuso

Descrizione: Articolo
Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 642.28 kB
Formato Adobe PDF
642.28 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1089901
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 9
social impact