Researchers from the Formal Methods and Tools group of ISTI-CNR are working on a review and assessment of the main formal modelling and verification languages and tools used in the railway domain, with the aim of evaluating the actual applicability of the most promising ones to a moving block signalling system model provided by an industrial partner. The research is being conducted in the context of the H2020 Shift2Rail project ASTRail.
Formal methods for the railway sector
ter Beek MH;Fantechi A;Ferrari A;Gnesi S;
2018
Abstract
Researchers from the Formal Methods and Tools group of ISTI-CNR are working on a review and assessment of the main formal modelling and verification languages and tools used in the railway domain, with the aim of evaluating the actual applicability of the most promising ones to a moving block signalling system model provided by an industrial partner. The research is being conducted in the context of the H2020 Shift2Rail project ASTRail.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_382382-doc_129917.pdf
accesso aperto
Descrizione: Formal Methods for the Railway Sector
Tipologia:
Versione Editoriale (PDF)
Dimensione
522.22 kB
Formato
Adobe PDF
|
522.22 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.