Document - ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1

2018

Report Open Access

ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1

Ferrari A., Ter Beek M. H., Mazzanti F., Basile D., Fantechi A., Gnesi S., Piattino A., Sturani B., Trentini D.

Formal methods Survey Railway Model-based development

Formal methods have been largely experimented in industry for the development of safety-critical and mission critical products. Despite the quite long story of successful application of formal methods in the railway domain, it cannot yet be said that a single mature technology has emerged. Indeed, any proposed method or technique that goes under the umbrella of formal methods varies in its suitability and applicability to different stages of the signalling system development, and to different subdomains of railway signalling. This Work Package 4 of the ASTRail project aims to identify, on the basis of an analysis of the state of the art, of the past experiences of the involved partners and on work done in previous projects, the candidate set of formal and semi-formal techniques that appear as the most adequate to be used in the different phases of the conception, design and development of a railway equipment in general, and of the class of signalling equipment that is the subject of this project in particular.

Source: Project report, ASTRail, Deliverable D4.1, 2018

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:396822,
	title = {ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1},
	author = {Ferrari A. and Ter Beek M. H. and Mazzanti F. and Basile D. and Fantechi A. and Gnesi S. and Piattino A. and Sturani B. and Trentini D.},
	institution = {Project report, ASTRail, Deliverable D4.1, 2018},
	year = {2018}
}