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.
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.. - STAMPA. - 14290 LNCS:(2023), pp. 22-39. (Intervento presentato al convegno Formal Methods for Industrial Critical Systems (FMICS) 2023 tenutosi a Antwerp, Belgio nel September 20-22, 2023) [10.1007/978-3-031-43681-9_2].
The 4SECURail Case Study on Rigorous Standard Interface Specifications
Belli D.;Fantechi A.;Gnesi S.;
2023
Abstract
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
FMICS2023_4SECURail-2.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
1.79 MB
Formato
Adobe PDF
|
1.79 MB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
