Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... Italy, November 14-16, 2017, Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3319685007 ISBN 13 : 9783319685007

Editeur : Springer, 2017

Synopsis

Keynote Talk.- Cyber Security in Railways: Quo vadis?.- Communication Challenges in Railway Systems.- LTE System Design for Urban Light Rail Transport.- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS.- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering.- Formal Modelling and Verification for Safety.- Formal modelling techniques for efficient development of railway control products.- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems.- A Domain-Specific Language for Generic Interlocking Models and Their Properties.- Bayesian Network Modeling Applied on Railway Level Crossing Safety.- Deductive Verification of Railway Operations.- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B.- B-PERFect: Applying the PERF approach to B based system developments.- Formal Verification of Train Control with Air Pressure Brakes.- Light Rail and Urban Transit.- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems.- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems.- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.- Engineering Techniques and Standards.- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks.- Are Standards an Ambiguity-free Reference for Product Validation.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2017
• Langue: anglais
• ISBN 10: 3319685007
• ISBN 13: 9783319685007
• Reliure: Paperback
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible