↓ Skip to main content

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 Logic and Epistemology in Safety Cases
  3. Altmetric Badge
    Chapter 2 Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements
  4. Altmetric Badge
    Chapter 3 A Formal Basis for Safety Case Patterns
  5. Altmetric Badge
    Chapter 4 Testing Autonomous Robot Control Software Using Procedural Content Generation
  6. Altmetric Badge
    Chapter 5 Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?
  7. Altmetric Badge
    Chapter 6 Formalisation of an Industrial Approach to Monitoring Critical Data
  8. Altmetric Badge
    Chapter 7 Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties
  9. Altmetric Badge
    Chapter 8 Vulnerability Analysis on Smart Cards Using Fault Tree
  10. Altmetric Badge
    Chapter 9 Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study
  11. Altmetric Badge
    Chapter 10 Software Fault-Freeness and Reliability Predictions
  12. Altmetric Badge
    Chapter 11 Does Software Have to Be Ultra Reliable in Safety Critical Systems?
  13. Altmetric Badge
    Chapter 12 The SafeCap Platform for Modelling Railway Safety and Capacity
  14. Altmetric Badge
    Chapter 13 Embedded System Platform for Safety-Critical Road Traffic Signal Applications
  15. Altmetric Badge
    Chapter 14 Low-Level Attacks on Avionics Embedded Systems
  16. Altmetric Badge
    Chapter 15 Safety Cases and Their Role in ISO 26262 Functional Safety Assessment
  17. Altmetric Badge
    Chapter 16 Structuring Safety Requirements in ISO 26262 Using Contract Theory
  18. Altmetric Badge
    Chapter 17 Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels
  19. Altmetric Badge
    Chapter 18 Safety Transformations: Sound and Complete?
  20. Altmetric Badge
    Chapter 19 It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning
  21. Altmetric Badge
    Chapter 20 Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study
  22. Altmetric Badge
    Chapter 21 Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
  23. Altmetric Badge
    Chapter 22 Characterization of Failure Effects on AADL Models
  24. Altmetric Badge
    Chapter 23 Derived Hazard Analysis Method for Critical Infrastructures
  25. Altmetric Badge
    Chapter 24 A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution
  26. Altmetric Badge
    Chapter 25 OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems
  27. Altmetric Badge
    Chapter 26 A Controlled Experiment on Component Fault Trees
  28. Altmetric Badge
    Chapter 27 DFTCalc: A Tool for Efficient Fault Tree Analysis
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
2 patents

Readers on

mendeley
44 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.
Title
Computer Safety, Reliability, and Security
Published by
Springer Berlin Heidelberg, August 2013
DOI 10.1007/978-3-642-40793-2
ISBNs
978-3-64-240792-5, 978-3-64-240793-2
Editors

Bitsch, Friedemann, Guiochet, Jérémie, Kaâniche, Mohamed

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 44 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 2%
Professor > Associate Professor 1 2%
Student > Doctoral Student 1 2%
Student > Master 1 2%
Unknown 40 91%
Readers by discipline Count As %
Engineering 3 7%
Computer Science 1 2%
Unknown 40 91%