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.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.