This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.

Preface to the proceedings of the 6th International conference on reliability, safety, and security of railway systems (RSSRail 2025)

ter Beek M. H.
;
2025

Abstract

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.
2025
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
9783032107619
9783032107626
Railway systems, Reliability, Safety, Security, Formal Methods, Model Checking, Modelling, Analysis, Simulation, Verification, Validation, Certification, Wireless communication, Maintenance, Software Engineering, Artificial intelligence, Machine Learning, Domain-specific languages, Real-time systems, Embedded systems
File in questo prodotto:
File Dimensione Formato  
RSSRail25front.pdf

accesso aperto

Descrizione: published version
Tipologia: Versione Editoriale (PDF)
Licenza: Creative commons
Dimensione 930.13 kB
Formato Adobe PDF
930.13 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/557393
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact