Different communication protocols are currently being used for the railway domain. However, most of these protocols rely on many interlacing mechanisms and safety codes which raise their complexity. Therefore, companies operating in the railway domain, guided by the Italian railway network manager, devised the Protocollo Vitale Standard, a light network protocol that stems from the Euroradio and RBC-RBC (Radio Block Centre) protocols. In this paper we report our practical experience in the implementation of the Protocollo Vitale Standard in compliance with a CENELEC SIL4 safety target. The implementation of this protocol required assembling a V&V&S plan to specify all the V&V activities that need to be carried out before, during and after the implementation of the protocol. Moreover, coding styles, standards and code quality metrics are defined, and cross-checked at various stages of the implementation. To complete our work, we conducted tests and performance analyses on the source code, while currently we are devising an adequate safety case aiming at a future certification.
Practical Experience Report: Implementation, verification and validation of a safe and secure communication protocol for the railway domain / Bertieri, D.; Zoppi, T.; Mungiello, I.; Ceccarelli, A.; Barbareschi, M.; Bondavalli, A.. - (2019), pp. 1-6. (Intervento presentato al convegno 9th Latin-American Symposium on Dependable Computing, LADC 2019 tenutosi a Instituto Metroplole Digital (IMD), Federal University of Rio Grande do Norte (UFRN), bra nel 2019) [10.1109/LADC48089.2019.8995727].
Practical Experience Report: Implementation, verification and validation of a safe and secure communication protocol for the railway domain
Barbareschi M.;
2019
Abstract
Different communication protocols are currently being used for the railway domain. However, most of these protocols rely on many interlacing mechanisms and safety codes which raise their complexity. Therefore, companies operating in the railway domain, guided by the Italian railway network manager, devised the Protocollo Vitale Standard, a light network protocol that stems from the Euroradio and RBC-RBC (Radio Block Centre) protocols. In this paper we report our practical experience in the implementation of the Protocollo Vitale Standard in compliance with a CENELEC SIL4 safety target. The implementation of this protocol required assembling a V&V&S plan to specify all the V&V activities that need to be carried out before, during and after the implementation of the protocol. Moreover, coding styles, standards and code quality metrics are defined, and cross-checked at various stages of the implementation. To complete our work, we conducted tests and performance analyses on the source code, while currently we are devising an adequate safety case aiming at a future certification.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
