More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Programming and Software Engineering

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

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

Editors: Lecomte, Thierry, Pinger, Ralf, Romanovsky, Alexander (Eds.)

Buy this book

eBook £29.99
price for United Kingdom (gross)
  • ISBN 978-3-319-33951-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £37.99
price for United Kingdom (gross)
  • ISBN 978-3-319-33950-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.
The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.

Table of contents (18 chapters)

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

    Bloomfield, Robin (et al.)

    Pages 3-19

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

    Sabatier, Denis

    Pages 20-31

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

    Peleska, Jan (et al.)

    Pages 32-49

  • A Formal Security Analysis of ERTMS Train to Trackside Protocols

    Ruiter, Joeri (et al.)

    Pages 53-68

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

    Huang, Po-Chi (et al.)

    Pages 69-78

Buy this book

eBook £29.99
price for United Kingdom (gross)
  • ISBN 978-3-319-33951-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £37.99
price for United Kingdom (gross)
  • ISBN 978-3-319-33950-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Book Subtitle
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
Editors
  • Thierry Lecomte
  • Ralf Pinger
  • Alexander Romanovsky
Series Title
Programming and Software Engineering
Series Volume
9707
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-33951-1
DOI
10.1007/978-3-319-33951-1
Softcover ISBN
978-3-319-33950-4
Edition Number
1
Number of Pages
XII, 255
Number of Illustrations and Tables
55 b/w illustrations
Topics