Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2022

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings

Editors:

  1. Simon Collart-Dutilleul

    1. Université Gustave Eiffel, Villeneuve d'Ascq, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anne E. Haxthausen

    1. Technical University of Denmark, Lyngby, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thierry Lecomte

    1. ClearSy, Aix en Provence, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13294)

Conference series link(s): RSSRail: International Conference on Reliability, Safety, and Security of Railway Systems

Conference proceedings info: RSSRail 2022.

Sections

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 papers)

  1. Front Matter

    Pages i-xviii
    PDF

  2. Safe Interlocking

    1. Front Matter

      Pages 1-1
      PDF

    2. Compositional Verification of Railway Interlockings: Comparison of Two Methods

      • Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée
      Pages 3-19

    3. Safety Invariant Verification that Meets Engineers’ Expectations

      • Alexei Iliasov, Linas Laibinis, Dominic Taylor, Ilya Lopatkin, Alexander Romanovsky
      Pages 20-31

  3. Innovation in Traffic Management

    1. Front Matter

      Pages 33-33
      PDF

    2. Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems

      • Airy Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele
      Pages 35-45

    3. Acceleration Techniques for Symbolic Simulation of Railway Timetables

      • Rebecca Haehn, Erika Ábrahám, Niklas Kotowski
      Pages 46-62

    4. Optimal Railway Routing Using Virtual Subsections

      • Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille
      Pages 63-79

  4. Safety and New Technologies

    1. Front Matter

      Pages 81-81
      PDF

    2. Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems

      • José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
      Pages 83-94

    3. Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth

      • Carlos E. Budde, Duncan Jansen, Inka Locht, Mariëlle Stoelinga
      Pages 95-111

  5. Safety

    1. Front Matter

      Pages 113-113
      PDF

    2. Enhancing Autonomous Train Safety Through A Priori-Map Based Perception

      • Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin
      Pages 115-129

    3. Assigning Safe Executed Systems to Meanings

      • Lilian Burdy, David Deharbe, Denis Sabatier
      Pages 130-142

    4. Generating and Verifying Configuration Data with OVADO

      • Frédéric Badeau, Julien Chappelin, Joris Lamare
      Pages 143-148

    5. The 4SECURail Formal Methods Demonstrator

      • Franco Mazzanti, Dimitri Belli
      Pages 149-165

  6. ATO

    1. Front Matter

      Pages 167-167
      PDF

    2. Formal Design and Validation of an Automatic Train Operation Control System

      • Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli et al.
      Pages 169-178

    3. Investigating Human Error Within GoA-2 Metro Lines

      • Josh Hunter, John McDermid
      Pages 179-191

    4. A Vision of Intelligent Train Control

      • Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini
      Pages 192-208
Back to top

Other Volumes

  1. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Back to top

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022.

The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.

Back to top

Keywords

Back to top

Editors and Affiliations

  • Université Gustave Eiffel, Villeneuve d'Ascq, France

    Simon Collart-Dutilleul

  • Technical University of Denmark, Lyngby, Denmark

    Anne E. Haxthausen

  • ClearSy, Aix en Provence, France

    Thierry Lecomte

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation