Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Autor Corporativo: | |
---|---|
Otros Autores: | , , |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Programming and Software Engineering ;
10598 |
Materias: |
Tabla de Contenidos:
- 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. .