Skip to main content
  • 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

Conference proceedings info: RSSRail 2022.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-031-05814-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

    Pages i-xviii
  2. Safe Interlocking

    1. Front Matter

      Pages 1-1
    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
    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
    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
    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
    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

Other Volumes

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

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

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.

Keywords

  • architecting
  • architecture verification and validation
  • artificial intelligence
  • computer hardware
  • computer networks
  • computer programming
  • computer science
  • computer systems
  • embedded systems
  • engineering
  • internet
  • linguistics
  • mathematics
  • model checking
  • network protocols
  • signal processing
  • software architecture
  • software design
  • software engineering
  • software quality

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

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-031-05814-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 69.99
Price excludes VAT (USA)