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 (EDT); Pinger, Ralf (EDT); Romanovsky, Alexander (EDT)

ISBN 10: 3319339508 / ISBN 13: 9783319339504

Published by Springer, 2016

About this Item

Seller Inventory # 26305105-n

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
• Publication Date: 2016
• Language: English
• ISBN 10: 3319339508
• ISBN 13: 9783319339504
• Binding: Soft cover
• Condition: New

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.