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

First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

  • Thierry Lecomte
  • Ralf Pinger
  • Alexander Romanovsky
Conference proceedings RSSRail 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Keynote Talks

    1. Front Matter
      Pages 1-1
    2. Robin Bloomfield, Marcus Bendele, Peter Bishop, Robert Stroud, Simon Tonks
      Pages 3-19
  3. Security

    1. Front Matter
      Pages 51-51
    2. Joeri de Ruiter, Richard J. Thomas, Tom Chothia
      Pages 53-68
    3. Florent Pépin, Maria Grazia Vigliotti
      Pages 79-92
  4. Systems

    1. Front Matter
      Pages 93-93
    2. Xiao Han, Tao Tang, Jidong Lv, Haifeng Wang
      Pages 95-105
    3. Marco Filax, Tim Gonschorek, Frank Ortmeier
      Pages 106-122
    4. Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
      Pages 123-133
    5. Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
      Pages 134-149
    6. Paulius Stankaitis, Alexei Iliasov
      Pages 150-159
    7. Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach
      Pages 160-177
  5. Verification and Validation

    1. Front Matter
      Pages 189-189
    2. Nazim Benaissa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni
      Pages 203-214
    3. Nicolas Breton, Yoann Fonteneau
      Pages 231-242
    4. Sylvain Conchon, Mohamed Iguernlala
      Pages 243-253
  6. Back Matter
    Pages 255-255

About these proceedings


This book constitutes the refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.

The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.


automation dependability formal methods model-checking security artificial intelligence certification failure analysis fault modelling modelling protocols provers reliability requirements risk assessment safety standards testing validation verification

Editors and affiliations

  • Thierry Lecomte
    • 1
  • Ralf Pinger
    • 2
  • Alexander Romanovsky
    • 3
  1. 1.ClearSyAix en ProvenceFrance
  2. 2.Siemens AGBraunschweigGermany
  3. 3.Newcastle UniversityNewcastle upon TyneUnited Kingdom

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-33950-4
  • Online ISBN 978-3-319-33951-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment