↓ Skip to main content

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

Overview of attention for book
Cover of 'Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Cyber Security in Railways: Quo Vadis?
  3. Altmetric Badge
    Chapter 2 LTE System Design for Urban Light Rail Transport
  4. Altmetric Badge
    Chapter 3 A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
  5. Altmetric Badge
    Chapter 4 Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
  6. Altmetric Badge
    Chapter 5 Formal Modelling Techniques for Efficient Development of Railway Control Products
  7. Altmetric Badge
    Chapter 6 OVADO
  8. Altmetric Badge
    Chapter 7 A Domain-Specific Language for Generic Interlocking Models and Their Properties
  9. Altmetric Badge
    Chapter 8 Bayesian Network Modeling Applied on Railway Level Crossing Safety
  10. Altmetric Badge
    Chapter 9 Deductive Verification of Railway Operations
  11. Altmetric Badge
    Chapter 10 Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
  12. Altmetric Badge
    Chapter 11 B-PERFect
  13. Altmetric Badge
    Chapter 12 Formal Verification of Train Control with Air Pressure Brakes
  14. Altmetric Badge
    Chapter 13 An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems
  15. Altmetric Badge
    Chapter 14 Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems
  16. Altmetric Badge
    Chapter 15 Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
  17. Altmetric Badge
    Chapter 16 Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
  18. Altmetric Badge
    Chapter 17 Are Standards an Ambiguity-Free Reference for Product Validation?
Attention for Chapter 4: Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
16 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
Chapter number 4
Book title
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Published by
Springer, Cham, November 2017
DOI 10.1007/978-3-319-68499-4_4
Book ISBNs
978-3-31-968498-7, 978-3-31-968499-4
Authors

William G. Temple, Yue Wu, Binbin Chen, Zbigniew Kalbarczyk

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 16 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 16 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 6 38%
Researcher 5 31%
Student > Ph. D. Student 3 19%
Student > Bachelor 1 6%
Unknown 1 6%
Readers by discipline Count As %
Engineering 7 44%
Computer Science 5 31%
Agricultural and Biological Sciences 1 6%
Environmental Science 1 6%
Unknown 2 13%