Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: First International Conference, Rssrail 20 by Thierry LecomteReliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: First International Conference, Rssrail 20 by Thierry Lecomte

Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And…

byThierry LecomteEditorRalf Pinger, Alexander Romanovsky

Paperback | June 15, 2016

Pricing and Purchase Info

$96.95

Earn 485 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And…Format:PaperbackDimensions:255 pages, 23.5 × 15.5 × 0.17 inPublished:June 15, 2016Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319339508

ISBN - 13:9783319339504

Reviews

Table of Contents

The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security
Perspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.