Formal techniques for a data-driven certification of advanced railway signalling systems

Alessandro Fantechi

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

The technological evolution of railway signalling equipment promises significant increases in transport capacity, in operation regularity, in quality and safety of the service offered.This evolution is based on the massive use of computer control units on board trains and on the ground, that aims at improving the performance of rail transport and maintaining high safety figures.A brief review of possible innovation trends of signalling systems shows that they will be more and more based on the exchange of accurate and secure complex information, in order to ensure safe operation.For this reason we want to advocate the adoption of a novel, data-driven safety certification approach, based on formal verification techniques, focusing on the desired attributes of the exchanged information. A discussion on this issue is presented, based on some initial observations of the needed concepts.
Original languageEnglish
Title of host publicationProceedings of Critical Systems: Formal Methods and Automated Verification (FMICS-AVoCS 2016) : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems
EditorsMaurice H. ter Beek, Stefania Gnesi, Alexander Knapp
PublisherSpringer
Publication date2016
Pages231-245
ISBN (Print)978-3-319-45942-4
ISBN (Electronic)978-3-319-45943-1
DOIs
Publication statusPublished - 2016
EventFMICS-AVoCS 2016 - Pisa, Italy
Duration: 26 Sep 201628 Sep 2016
http://fmics-avocs.isti.cnr.it/

Workshop

WorkshopFMICS-AVoCS 2016
CountryItaly
CityPisa
Period26/09/201628/09/2016
Internet address
SeriesLecture Notes in Computer Science
Volume9933
ISSN0302-9743

Fingerprint Dive into the research topics of 'Formal techniques for a data-driven certification of advanced railway signalling systems'. Together they form a unique fingerprint.

Cite this