Document - Adopting Formal Methods in an Industrial Setting: The Railways Case

2019

Conference article Open Access

Adopting Formal Methods in an Industrial Setting: The Railways Case

Ter Beek M. H., Boraelv A., Fantechi A., Ferrari A., Gnesi S., Loefving C., Mazzanti F.

Railways Formal methods

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.

Source: FM 2019 - Third International Symposium on Formal Methods, pp. 762–772, Porto, Portugal, 7-11 October

Publisher: Springer, Cham, Heidelberg, New York, Dordrecht, London, CHE

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:411164,
	title = {Adopting Formal Methods in an Industrial Setting: The Railways Case},
	author = {Ter Beek M. H. and Boraelv A. and Fantechi A. and Ferrari A. and Gnesi S. and Loefving C. and Mazzanti F.},
	publisher = {Springer, Cham, Heidelberg, New York, Dordrecht, London, CHE},
	doi = {10.1007/978-3-030-30942-8_46},
	booktitle = {FM 2019 - Third International Symposium on Formal Methods, pp. 762–772, Porto, Portugal, 7-11 October},
	year = {2019}
}