Conference Paper

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

PDF

Authors Paolo Lollini Leonardo Montecchi Melinda Magyar István Majzik Andrea Bondavalli
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.
Event Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)
Venue Budpest, Hungary
Date October 9-10, 2008
Citation
Bibtex 
@inproceedings{2008FORMS,
  author = {Lollini, Paolo and Montecchi, Leonardo and Magyar, Melinda and Majzik, István and Bondavalli, Andrea},
  title = {{Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems}},
  booktitle = {Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)},
  address = {Budpest, Hungary},
  date = {2008-10-09/2008-10-10},
  year = {2008}
}

Plain Text
P. Lollini, L. Montecchi, M. Magyar, I. Majzik, A. Bondavalli. Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems. In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008). Budpest, Hungary, October 9-10, 2008.
Previous
 
Publications List
 
Next

© 2017-2024 Leonardo Montecchi