Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings

Lecomte, Thierry (Editor)/ Pinger, Ralf (Editor)/ Romanovsky, Alexander (Editor)

ISBN 10: 3319339508 / ISBN 13: 9783319339504

Published by Springer-Verlag New York Inc, 2016

About this Item

268 pages. 9.25x6.10x0.61 inches. In Stock.

Seller Inventory # x-3319339508

Bibliographic Details

• Title: Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2016
• Language: English
• ISBN 10: 3319339508
• ISBN 13: 9783319339504
• Binding: Paperback
• Condition: Brand New
• Weight: 4.11 kilograms

About this title

Synopsis

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.