The project ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms) aims to provide novel solutions for the evaluation of RAMS requirements as well as to present trade-offs between dependability attributes and energy consumption in complex railway systems, leveraging both qualitative and quantitative evaluation methods. To this end, case studies concerning distributed interlocking systems, standard interfaces, and railroad switch heaters are considered, comprising different challenging scenarios, notably representative of the complexity of railway systems. In this paper, we illustrate the objectives of the project and the activities planned to address them, devising future steps to integrate the envisaged contributions within a unified framework.
An integrated perspective on the evaluation of complex railway systems
Basile D.;ter Beek M. H.
;Chiaradonna S.;Di Giandomenico F.;Fantechi A.;
2024
Abstract
The project ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms) aims to provide novel solutions for the evaluation of RAMS requirements as well as to present trade-offs between dependability attributes and energy consumption in complex railway systems, leveraging both qualitative and quantitative evaluation methods. To this end, case studies concerning distributed interlocking systems, standard interfaces, and railroad switch heaters are considered, comprising different challenging scenarios, notably representative of the complexity of railway systems. In this paper, we illustrate the objectives of the project and the activities planned to address them, devising future steps to integrate the envisaged contributions within a unified framework.| File | Dimensione | Formato | |
|---|---|---|---|
|
ISoLA24DisCoRail.pdf
solo utenti autorizzati
Descrizione: An Integrated Perspective on the Evaluation of Complex Railway Systems
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
783.37 kB
Formato
Adobe PDF
|
783.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
main.pdf
accesso aperto
Descrizione: This is the Submitted version (preprint) of the following paper: Basile D. et al. “An Integrated Perspective on the Evaluation of Complex Railway Systems”, 2024 submitted to “Leveraging Applications of Formal Methods, Verification and Validation. Application Areas. 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V”, Lecture Notes in Computer Science Vol. 15223 pp. 190-207. The final published version is available on the publisher’s website https://link.springer.com/chapter/10.1007/978-3-031-75390-9_13.
Tipologia:
Documento in Pre-print
Licenza:
Altro tipo di licenza
Dimensione
591.8 kB
Formato
Adobe PDF
|
591.8 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
