↓ Skip to main content
What is this page? Embed badge

Computer Safety, Reliability, and Security

Overview of attention for book
Cover of 'Computer Safety, Reliability, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems
  3. Altmetric Badge
    Chapter 2 Model-Based Development of Medical Devices
  4. Altmetric Badge
    Chapter 3 Computer Safety, Reliability, and Security
  5. Altmetric Badge
    Chapter 4 Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications
  6. Altmetric Badge
    Chapter 5 Probability of Failure on Demand – The Why and the How
  7. Altmetric Badge
    Chapter 6 Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems
  8. Altmetric Badge
    Chapter 7 Exploring Network Security in PROFIsafe
  9. Altmetric Badge
    Chapter 8 Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms
  10. Altmetric Badge
    Chapter 9 Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security
  11. Altmetric Badge
    Chapter 10 Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508
  12. Altmetric Badge
    Chapter 11 Analysing Dependability Case Arguments Using Quality Models
  13. Altmetric Badge
    Chapter 12 Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB
  14. Altmetric Badge
    Chapter 13 Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats
  15. Altmetric Badge
    Chapter 14 Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective
  16. Altmetric Badge
    Chapter 15 The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
  17. Altmetric Badge
    Chapter 16 Formal Verification of a Microkernel Used in Dependable Software Systems
  18. Altmetric Badge
    Chapter 17 Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do
  19. Altmetric Badge
    Chapter 18 Probabilistic Failure Propagation and Transformation Analysis
  20. Altmetric Badge
    Chapter 19 Towards Model-Based Automatic Testing of Attack Scenarios
  21. Altmetric Badge
    Chapter 20 CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting
  22. Altmetric Badge
    Chapter 21 Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure
  23. Altmetric Badge
    Chapter 22 Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel
  24. Altmetric Badge
    Chapter 23 AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
  25. Altmetric Badge
    Chapter 24 Component-Based Abstraction in Fault Tree Analysis
  26. Altmetric Badge
    Chapter 25 A Foundation for Requirements Analysis of Dependable Software
  27. Altmetric Badge
    Chapter 26 Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control
Attention for Chapter 5: Probability of Failure on Demand – The Why and the How
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
17 Mendeley
citeulike
2 CiteULike
Summary Dimensions citations
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
Probability of Failure on Demand – The Why and the How
Chapter number 5
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Berlin, Heidelberg, September 2009
DOI 10.1007/978-3-642-04468-7_5
Book ISBNs
978-3-64-204467-0, 978-3-64-204468-7
Authors

Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe, Braband, Jens, vom Hövel, Rüdiger, Schäbe, Hendrik

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 17 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 29%
Student > Bachelor 4 24%
Student > Master 2 12%
Other 1 6%
Student > Doctoral Student 1 6%
Other 1 6%
Unknown 3 18%
Readers by discipline Count As %
Engineering 5 29%
Computer Science 4 24%
Chemical Engineering 4 24%
Unknown 4 24%

This page is provided by Altmetric.