Skip to main content
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Thierry Lecomte

    1. ClearSy, Aix en Provence, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ralf Pinger

    1. Siemens AG, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alexander Romanovsky

    1. Newcastle University, Newcastle upon Tyne, United Kingdom

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

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

Included in the following conference series:

Conference proceedings info: RSSRail 2016.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (18 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Keynote Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned

      • Robin Bloomfield, Marcus Bendele, Peter Bishop, Robert Stroud, Simon Tonks
      Pages 3-19

    3. Using Formal Proof and B Method at System Level for Industrial Projects

      • Denis Sabatier
      Pages 20-31

    4. A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers

      • Jan Peleska, Wen-ling Huang, Felix Hübner
      Pages 32-49

  3. Security

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. A Formal Security Analysis of ERTMS Train to Trackside Protocols

      • Joeri de Ruiter, Richard J. Thomas, Tom Chothia
      Pages 53-68

    3. Operational Security – A Coming Evolution of Railway Operational Procedures Under the IT Security Threat

      • Po-Chi Huang, Birgit Milius
      Pages 69-78

    4. Risk Assessment of the 3Des in ERTMS

      • Florent Pépin, Maria Grazia Vigliotti
      Pages 79-92

  4. Systems

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking

      • Xiao Han, Tao Tang, Jidong Lv, Haifeng Wang
      Pages 95-105

    3. Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models

      • Marco Filax, Tim Gonschorek, Frank Ortmeier
      Pages 106-122

    4. Static Verification of Railway Schema and Interlocking Design Data

      • Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah
      Pages 123-133

    5. Verification of Railway Interlocking - Compositional Approach with OCRA

      • Christophe Limbrée, Quentin Cappart, Charles Pecheur, Stefano Tonetta
      Pages 134-149

    6. Safety Verification of Heterogeneous Railway Networks

      • Paulius Stankaitis, Alexei Iliasov
      Pages 150-159

    7. Comparing Formal Verification Approaches of Interlocking Systems

      • Anne Elisabeth Haxthausen, Hoang Nga Nguyen, Markus Roggenbach
      Pages 160-177

    8. Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems

      • Luke J. W. Martin
      Pages 178-188

  5. Verification and Validation

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements

      • Daniel Kästner, Christian Ferdinand
      Pages 191-202

    3. The PERF Approach for Formal Verification

      • Nazim Benaissa, David Bonvoisin, Abderrahmane Feliachi, Julien Ordioni
      Pages 203-214
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 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.

Editors and Affiliations

  • ClearSy, Aix en Provence, France

    Thierry Lecomte

  • Siemens AG, Braunschweig, Germany

    Ralf Pinger

  • Newcastle University, Newcastle upon Tyne, United Kingdom

    Alexander Romanovsky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation