© 2019

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

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

  • Simon Collart-Dutilleul
  • Thierry Lecomte
  • Alexander Romanovsky
Conference proceedings RSSRail 2019

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11495)

Table of contents

  1. Front Matter
    Pages i-xix
  2. Keynote Talk

    1. Front Matter
      Pages 1-1
    2. Alessandro Fantechi
      Pages 3-19
  3. Railways System and Infrastructure Advance Modelling

    1. Front Matter
      Pages 21-21
    2. Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
      Pages 23-40
    3. Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò
      Pages 41-58
    4. 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
    2. Stefan Dillmann, Reiner Hähnle
      Pages 79-90
    3. Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort
      Pages 91-105
    4. Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiří Srba
      Pages 106-122
  5. Safety Process and Validation

    1. Front Matter
      Pages 123-123
    2. Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger
      Pages 142-158
    3. Tomas Fischer, Dana Dghyam
      Pages 159-169
  6. Modelling

    1. Front Matter
      Pages 171-171
    2. Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
      Pages 173-190
    3. Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni
      Pages 191-201
    4. Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz
      Pages 202-212
  7. Formal Verification

    1. Front Matter
      Pages 213-213

About these proceedings


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. 


verification validation formal methods security reliability certification model-checking Event-B railway signaling interlocking safety assurance dependablity software engineering specifications formal logic software evaluation data security

Editors and affiliations

  1. 1.Laboratoire IFSTTAR/ESTASVilleneuve d’Ascq France
  2. 2.ClearSyAix en ProvenceFrance
  3. 3.Newcastle UniversityNewcastle-upon-TyneUK

Bibliographic information