The railway sector has seen a large number of successful applications of formal methods and tools. However, up-to-date, structured information about the industrial usage and needs related to formal tools in railways is limited. Two Shift2Rail projects, X2Rail-2 and ASTRail, have addressed this issue by performing a systematic search over the state of the art of formal methods application in railways to identify the best used practices. As part of the work of these projects, questionnaires on formal methods and tools have been designed to gather input and guidance on the adoption of formal methods in the railway domain. Even though the questionnaires were developed independently and distributed to different audiences, the responses show a certain convergence in the replies to the questions common to both. In this paper, we present a detailed report on such convergence, drawing some indications about methods and tools that are considered to constitute the most fruitful approaches to industrial adoption.
Adopting Formal Methods in an Industrial Setting: The Railways Case
ter Beek MH;Fantechi A;Ferrari A;Gnesi S;Mazzanti F
2019
Abstract
The railway sector has seen a large number of successful applications of formal methods and tools. However, up-to-date, structured information about the industrial usage and needs related to formal tools in railways is limited. Two Shift2Rail projects, X2Rail-2 and ASTRail, have addressed this issue by performing a systematic search over the state of the art of formal methods application in railways to identify the best used practices. As part of the work of these projects, questionnaires on formal methods and tools have been designed to gather input and guidance on the adoption of formal methods in the railway domain. Even though the questionnaires were developed independently and distributed to different audiences, the responses show a certain convergence in the replies to the questions common to both. In this paper, we present a detailed report on such convergence, drawing some indications about methods and tools that are considered to constitute the most fruitful approaches to industrial adoption.File | Dimensione | Formato | |
---|---|---|---|
prod_411164-doc_144775.pdf
accesso aperto
Descrizione: Adopting Formal Methods in an Industrial Setting: The Railways Case
Tipologia:
Versione Editoriale (PDF)
Dimensione
473.13 kB
Formato
Adobe PDF
|
473.13 kB | Adobe PDF | Visualizza/Apri |
prod_411164-doc_145455.pdf
non disponibili
Descrizione: Adopting Formal Methods in an Industrial Setting: The Railways Case
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.54 MB
Formato
Adobe PDF
|
1.54 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.