Advertisement

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
    2. Camille Parillaud, Yoann Fonteneau, Fabien Belmonte
      Pages 215-225
    3. Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi et al.
      Pages 226-241
    4. Dalay Israel de Almeida Pereira, David Deharbe, Matthieu Perin, Philippe Bon
      Pages 242-258
  8. Security

    1. Front Matter
      Pages 259-259
    2. Christoph Schmittner, Peter Tummeltshammer, David Hofbauer, Abdelkader Magdy Shaaban, Michael Meidlinger, Markus Tauber et al.
      Pages 261-271
    3. Christian Schlehuber, Dominik Renkel
      Pages 284-295
  9. Back Matter
    Pages 297-297

About these proceedings

Introduction

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. 

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-18744-6
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-18743-9
  • Online ISBN 978-3-030-18744-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering