Document - A Formal Methods Demonstrator for Railways

2020

Journal article Open Access

A Formal Methods Demonstrator for Railways

Mazzanti F., Basile D.

4securail formal methods

The 4SECURail project - funded by the European UnionHorizon 2020 Shift2Rail Joint Undertaking - has twooverall objectives: to design a Computer Security IncidentResponse Team (CSIRT) for joint EU-Rail cybersecurity,and the setup of a Formal Methods Demonstrator for theevaluation, in terms of cost, benefits and requiredlearning curve, of the impact of the use of FormalMethods for the rigorous specification of thecomponents of a railway signalling infrastructure.

Source: ERCIM news online edition 121 (2020).

Publisher: ERCIM., Paris

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:422706,
	title = {A Formal Methods Demonstrator for Railways},
	author = {Mazzanti F. and Basile D.},
	publisher = {ERCIM., Paris},
	journal = {ERCIM news online edition},
	volume = {121},
	year = {2020}
}