Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science (9707))

ISBN 10: 3319339508 / ISBN 13: 9783319339504

Published by Springer, 2016

About this Item

Like New.

Seller Inventory # ERICA78733193395086

Bibliographic Details

• Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science (9707))
• Publisher: Springer
• Publication Date: 2016
• Language: English
• ISBN 10: 3319339508
• ISBN 13: 9783319339504
• Binding: Paperback
• Condition: Like New
• Book Type: book

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.