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

Alessandro Fantechi

doi:10.1007/978-3-319-45943-1_16

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

Alessandro Fantechi

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Proceedings 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
Editors	Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Publisher	Springer
Publication date	2016
Pages	231-245
ISBN (Print)	978-3-319-45942-4
ISBN (Electronic)	978-3-319-45943-1
DOIs	https://doi.org/10.1007/978-3-319-45943-1_16
Publication status	Published - 2016
Event	FMICS-AVoCS 2016 - Pisa, Italy Duration: 26 Sept 2016 → 28 Sept 2016 http://fmics-avocs.isti.cnr.it/

Workshop

Workshop	FMICS-AVoCS 2016
Country/Territory	Italy
City	Pisa
Period	26/09/2016 → 28/09/2016
Internet address	http://fmics-avocs.isti.cnr.it/

Series	Lecture Notes in Computer Science
Volume	9933
ISSN	0302-9743

Access to Document

10.1007/978-3-319-45943-1_16

OpenUrl availability

Check availability in DTU Findit

Cite this

Fantechi, A. (2016). Formal techniques for a data-driven certification of advanced railway signalling systems. In M. H. ter Beek, S. Gnesi, & A. Knapp (Eds.), Proceedings 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 (pp. 231-245). Springer. https://doi.org/10.1007/978-3-319-45943-1_16

Fantechi, Alessandro. / Formal techniques for a data-driven certification of advanced railway signalling systems. Proceedings 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. editor / Maurice H. ter Beek ; Stefania Gnesi ; Alexander Knapp. Springer, 2016. pp. 231-245 (Lecture Notes in Computer Science, Vol. 9933).

@inproceedings{2f8314c59a7344bea3f925977edeeda4,

title = "Formal techniques for a data-driven certification of advanced railway signalling systems",

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

author = "Alessandro Fantechi",

year = "2016",

doi = "10.1007/978-3-319-45943-1\_16",

language = "English",

isbn = "978-3-319-45942-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "231--245",

editor = "\{H. ter Beek\}, \{Maurice \} and Gnesi, \{Stefania \} and Knapp, \{Alexander \}",

booktitle = "Proceedings of Critical Systems: Formal Methods and Automated Verification (FMICS-AVoCS 2016)",

note = "FMICS-AVoCS 2016 ; Conference date: 26-09-2016 Through 28-09-2016",

url = "http://fmics-avocs.isti.cnr.it/",

}

Fantechi, A 2016, Formal techniques for a data-driven certification of advanced railway signalling systems. in M H. ter Beek, S Gnesi & A Knapp (eds), Proceedings 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. Springer, Lecture Notes in Computer Science, vol. 9933, pp. 231-245, FMICS-AVoCS 2016, Pisa, Italy, 26/09/2016. https://doi.org/10.1007/978-3-319-45943-1_16

Formal techniques for a data-driven certification of advanced railway signalling systems. / Fantechi, Alessandro.
Proceedings 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. ed. / Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp. Springer, 2016. p. 231-245 (Lecture Notes in Computer Science, Vol. 9933).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Fantechi, Alessandro

PY - 2016

Y1 - 2016

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

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

U2 - 10.1007/978-3-319-45943-1_16

DO - 10.1007/978-3-319-45943-1_16

M3 - Article in proceedings

SN - 978-3-319-45942-4

T3 - Lecture Notes in Computer Science

SP - 231

EP - 245

BT - Proceedings of Critical Systems: Formal Methods and Automated Verification (FMICS-AVoCS 2016)

A2 - H. ter Beek, Maurice

A2 - Gnesi, Stefania

A2 - Knapp, Alexander

PB - Springer

T2 - FMICS-AVoCS 2016

Y2 - 26 September 2016 through 28 September 2016

ER -

Fantechi A. Formal techniques for a data-driven certification of advanced railway signalling systems. In H. ter Beek M, Gnesi S, Knapp A, editors, Proceedings 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. Springer. 2016. p. 231-245. (Lecture Notes in Computer Science, Vol. 9933). doi: 10.1007/978-3-319-45943-1_16

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

Abstract

Workshop

Access to Document

OpenUrl availability

Fingerprint

Cite this