Skip to main content
SpringerLink
Log in

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

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Simon Collart-Dutilleul

    1. Laboratoire IFSTTAR/ESTAS, Villeneuve d’Ascq , France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thierry Lecomte

    1. ClearSy, Aix en Provence, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexander Romanovsky

    1. Newcastle University, Newcastle-upon-Tyne, UK

    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 11495)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RSSRail 2019.

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

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Keynote Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Connected or Autonomous Trains?

      • Alessandro Fantechi
      Pages 3-19

  3. Railways System and Infrastructure Advance Modelling

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation

      • Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
      Pages 23-40

    3. Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System

      • Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
      Pages 41-58

    4. Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking

      • Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
      Pages 59-76

  4. Scheduling and Track Planning

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. Automated Planning of ETCS Tracks

      • Stefan Dillmann, Reiner Hähnle
      Pages 79-90

    3. The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

      • Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort
      Pages 91-105

    4. Safe and Time-Optimal Control for Railway Games

      • Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiří Srba
      Pages 106-122

  5. Safety Process and Validation

    1. Front Matter

      Pages 123-123
      Download chapter PDF

    2. A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process

      • Faiz Ul Muram, Barbara Gallina, Samina Kanwal
      Pages 125-141

    3. Efficient Data Validation for Geographical Interlocking Systems

      • Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
      Pages 142-158

    4. Formal Model Validation Through Acceptance Tests

      • Tomas Fischer, Dana Dghyam
      Pages 159-169

  6. Modelling

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules

      • Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
      Pages 173-190

    3. RBS2HLL

      • Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni
      Pages 191-201

    4. Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B

      • Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz
      Pages 202-212

  7. Formal Verification

    1. Front Matter

      Pages 213-213
      Download chapter PDF
Back to top

Other volumes

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

Keywords

About this book

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
The 18 full papers presented in this book were carefully reviewed and selected from 38 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. 

Editors and Affiliations

  • Laboratoire IFSTTAR/ESTAS, Villeneuve d’Ascq , France

    Simon Collart-Dutilleul

  • ClearSy, Aix en Provence, France

    Thierry Lecomte

  • Newcastle University, Newcastle-upon-Tyne, UK

    Alexander Romanovsky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation