In this deliverable, formal methods, model-based development, quantitative model-based analysis and their application to railway systems are discussed. Two applications are considered of, respectively, formal verification and quantitative model-based analysis: the formalization of railway interfaces, specifically focusing on the interface between two components of the European Railway Traffic Management System (ERTMS), and an uninterruptible power supply system.
CN MOST SP4 D1.3.1: Report on formal models
Basile D.;ter Beek M.;Di Giandomenico F.;Ferrari A.;Mazzanti F.;Chiaradonna S.;
2024
Abstract
In this deliverable, formal methods, model-based development, quantitative model-based analysis and their application to railway systems are discussed. Two applications are considered of, respectively, formal verification and quantitative model-based analysis: the formalization of railway interfaces, specifically focusing on the interface between two components of the European Railway Traffic Management System (ERTMS), and an uninterruptible power supply system.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Deliverable_D1.3.1_v02.pdf
solo utenti autorizzati
Descrizione: MOST4 Report on Formal Models
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
1.48 MB
Formato
Adobe PDF
|
1.48 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
