2020
Conference article  Open Access

Designing a demonstrator of formal methods for railways infrastructure managers

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

Railway  Infrastructure manager  Formal methods 

The Shift2Rail Innovation Programme (IP) is focussing on innovative technologies to enhance the overall railway market segments. Formal methods and standard interfaces have been identified as two key concepts to reduce time-to-market and costs, while ensuring safety, interoperability and standardisation. However, the decision to start using formal methods is still deemed too risky. Demonstrating technical and commercial benefits of both formal methods and standard interfaces is necessary to address the obstacles of learning curve and lack of clear cost/benefit analysis that are hindering their adoption, and this is the goal of the 4SECURail project, recently funded by the Shift2Rail IP. In this paper, we provide the reasoning and the rationale for designing the formal methods demonstrator for the 4SECURail project. The design concerns two important issues that have been analysed: (i) the usefulness of formal methods from the point of view of the infrastructure managers, (ii) the adoption of a semi-formal SysML notation within our formal methods demonstrator process.

Source: ISoLA'20 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications, pp. 467–485, Rhodes, Greece, 20-30 October, 2020

Publisher: Springer, Berlin, DEU


Metrics



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:434652,
	title = {Designing a demonstrator of formal methods for railways infrastructure managers},
	author = {Basile D. and Ter Beek M. H. and Fantechi A. and Ferrari A. and Gnesi S. and Masullo L. and Mazzanti F. and Piattino A. and Trentini D.},
	publisher = {Springer, Berlin, DEU},
	doi = {10.1007/978-3-030-61467-6_30},
	booktitle = {ISoLA'20 - 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications, pp. 467–485, Rhodes, Greece, 20-30 October, 2020},
	year = {2020}
}

4SECURAIL
FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR


OpenAIRE