Formal methods and tools have been widely applied to the development of railway systems during the last decades. However, no universally accepted formal framework has emerged, and railway companies wishing to introduce formal methods have little guidance for the selection of the most appropriate methods and tools to adopt. A work package (WP) of the European project ASTRail, funded under the Shift2Rail initiative, addresses this problem, by performing a survey that considers scientific literature, international projects, and practitioners' perspectives to identify a collection of formal methods and tools to be applied in railways. This paper summarises the current results of this WP. We surveyed 114~scientific publications, 44~practitioners, and 8~projects to come to a shortlist of 14 methods considered suitable for system modelling and verification in railways. The methods and tools were reviewed according to a set of functional, language-related, and quality features. The current paper extends the body of knowledge with a set of publicly available documents that can be leveraged by companies for guidance on formal methods selection in railway system development.

Survey on Formal Methods and Tools in Railways: The ASTRail Approach / Ferrari A.; ter Beek M.H.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D.. - STAMPA. - 11495:(2019), pp. 226-241. (Intervento presentato al convegno 3rd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019 tenutosi a fra nel 2019) [10.1007/978-3-030-18744-6_15].

Survey on Formal Methods and Tools in Railways: The ASTRail Approach

Basile D.;Fantechi A.;Gnesi S.;
2019

Abstract

Formal methods and tools have been widely applied to the development of railway systems during the last decades. However, no universally accepted formal framework has emerged, and railway companies wishing to introduce formal methods have little guidance for the selection of the most appropriate methods and tools to adopt. A work package (WP) of the European project ASTRail, funded under the Shift2Rail initiative, addresses this problem, by performing a survey that considers scientific literature, international projects, and practitioners' perspectives to identify a collection of formal methods and tools to be applied in railways. This paper summarises the current results of this WP. We surveyed 114~scientific publications, 44~practitioners, and 8~projects to come to a shortlist of 14 methods considered suitable for system modelling and verification in railways. The methods and tools were reviewed according to a set of functional, language-related, and quality features. The current paper extends the body of knowledge with a set of publicly available documents that can be leveraged by companies for guidance on formal methods selection in railway system development.
2019
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
3rd International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019
fra
2019
Ferrari A.; ter Beek M.H.; Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Piattino A.; Trentini D.
File in questo prodotto:
File Dimensione Formato  
ASTRail-RSSR.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 2.28 MB
Formato Adobe PDF
2.28 MB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1168024
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 25
  • ???jsp.display-item.citation.isi??? 16
social impact