Document - The 4SECURail case study on rigorous standard interface specifications

2023

Conference article Open Access

The 4SECURail case study on rigorous standard interface specifications

Belli D., Fantechi A., Gnesi S., Masullo L., Mazzanti F., Quadrini L., Trentini D., Vaghi C.

Formal verification UMC UML Requirements analysis Cost benefit analisys

In the context of the Shift2Rail open call S2R-OC-IP2-01- 2019, one of the two work streams of the 4SECURail project has pursued the objective to corroborate how a clear, rigorous standard interface specification between signaling sub-systems can be designed by applying an approach based on semi-formal and formal methods. The objective is addressed by developing a demonstrator case study of the application of formal methods to the specification of standard interfaces, aimed at illustrating some usable state-of-the-art techniques for rigorous standard interface specification, as well as at supporting a Cost-Benefit Analysis to back this strategy with sound economic arguments.

Source: FMICS 2023 - 28th International Conference on Formal Methods for Industrial Critical Systems, pp. 22–39, Antwerp, Belgium, 20-22/09/2023

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:486697,
	title = {The 4SECURail case study on rigorous standard interface specifications},
	author = {Belli D. and Fantechi A. and Gnesi S. and Masullo L. and Mazzanti F. and Quadrini L. and Trentini D. and Vaghi C.},
	doi = {10.1007/978-3-031-43681-9_2},
	booktitle = {FMICS 2023 - 28th International Conference on Formal Methods for Industrial Critical Systems, pp. 22–39, Antwerp, Belgium, 20-22/09/2023},
	year = {2023}
}