The ERTMS-ATC system is a distributed system where the Driver Machine Interface (DMI) is a slave unit of the train onboard vital computer (EVC). In this paper we analyze two types of communication protocols for the EVC-DMI interactions, based, respectively, on cyclic and acyclic messages’ exchange. Adopting a modular modeling methodology, we assess their impact on significant dependability-related indicators. The analysis of the obtained results allows to quantify the improvements in adopting an acyclic protocol, possibly with one spare DMI component.

Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems / P. Lollini; L. Montecchi; M. Magyar; I. Majzik; A. Bondavalli. - STAMPA. - (2008), pp. 225-232. (Intervento presentato al convegno Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008) tenutosi a Budapest, Hungary nel October 9-10, 2008).

Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems.

LOLLINI, PAOLO;MONTECCHI, LEONARDO;BONDAVALLI, ANDREA
2008

Abstract

The ERTMS-ATC system is a distributed system where the Driver Machine Interface (DMI) is a slave unit of the train onboard vital computer (EVC). In this paper we analyze two types of communication protocols for the EVC-DMI interactions, based, respectively, on cyclic and acyclic messages’ exchange. Adopting a modular modeling methodology, we assess their impact on significant dependability-related indicators. The analysis of the obtained results allows to quantify the improvements in adopting an acyclic protocol, possibly with one spare DMI component.
2008
FORMS/FORMAT 2008: Formal Methods for Automation and Safety in Railway and Automotive Systems
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)
Budapest, Hungary
October 9-10, 2008
P. Lollini; L. Montecchi; M. Magyar; I. Majzik; A. Bondavalli
File in questo prodotto:
File Dimensione Formato  
2008_FORMS.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 121.17 kB
Formato Adobe PDF
121.17 kB Adobe PDF   Richiedi una copia
new file

Accesso chiuso

Tipologia: Altro
Licenza: Tutti i diritti riservati
Dimensione 695 B
Formato Unknown
695 B Unknown   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/568299
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact