Advertisement

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

Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

  • Alessandro Fantechi
  • Thierry Lecomte
  • Alexander Romanovsky

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Keynote Talk

    1. Front Matter
      Pages 1-1
    2. Jens Braband
      Pages 3-14
  3. Communication Challenges in Railway Systems

    1. Front Matter
      Pages 15-15
    2. Gianluca Mandò, Giovanni Giambene
      Pages 17-33
    3. Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
      Pages 34-50
    4. William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk
      Pages 51-67
  4. Formal Modelling and Verification for Safety

    1. Front Matter
      Pages 69-69
    2. M. Butler, D. Dghaym, T. Fischer, T. S. Hoang, K. Reichl, C. Snook et al.
      Pages 71-86
    3. Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni
      Pages 87-98
    4. Linh H. Vu, Anne E. Haxthausen, Jan Peleska
      Pages 99-115
    5. Ci Liang, Mohamed Ghazel, Olivier Cazier, Laurent Bouillaut, El-Miloudi El-Koursi
      Pages 116-130
    6. Eduard Kamburjan, Reiner Hähnle
      Pages 131-147
    7. Mathieu Comptier, David Deharbe, Julien Molinero Perez, Louis Mussat, Thibaut Pierre, Denis Sabatier
      Pages 148-159
    8. Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Yamine Ait-Ameur, Julien Ordioni
      Pages 160-172
    9. Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
      Pages 173-191
  5. Light Rail and Urban Transit

    1. Front Matter
      Pages 193-193
    2. Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir
      Pages 195-211
    3. Vincenzo Di Massa, Mirko Damiani, Maurizio Papini, Gianluca Mandò
      Pages 212-220
    4. Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
      Pages 221-237
  6. Engineering Techniques and Standards

    1. Front Matter
      Pages 239-239
    2. Alessio Ferrari, Mario Fusani, Stefania Gnesi
      Pages 251-264
  7. Back Matter
    Pages 265-265

About these proceedings

Introduction

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017.
The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length. 

Keywords

software engineering artificial intelligence model checking formal methods data security computer networks embedded systems formal verifications system safety extra-functional properties railway signaling systems cyber security network security requirement analysis semantics and reasoning railway control systems

Editors and affiliations

  • Alessandro Fantechi
    • 1
  • Thierry Lecomte
    • 2
  • Alexander Romanovsky
    • 3
  1. 1.Università di FirenzeFlorenceItaly
  2. 2.ClearSyAix-en-ProvenceFrance
  3. 3.Newcastle UniversityNewcastle upon TyneUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-68499-4
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-68498-7
  • Online ISBN 978-3-319-68499-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site