↓ 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 Establishing Evidence for Safety Cases in Automotive Systems – A Case Study
  3. Altmetric Badge
    Chapter 2 Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges
  4. Altmetric Badge
    Chapter 3 Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
  5. Altmetric Badge
    Chapter 4 Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment
  6. Altmetric Badge
    Chapter 5 Modelling Interdependencies Between the Electricity and Information Infrastructures
  7. Altmetric Badge
    Chapter 6 Handling Malicious Code on Control Systems
  8. Altmetric Badge
    Chapter 7 Computer Safety, Reliability, and Security
  9. Altmetric Badge
    Chapter 8 Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems
  10. Altmetric Badge
    Chapter 9 RAMSS Analysis for a Co-operative Integrated Traffic Management System
  11. Altmetric Badge
    Chapter 10 Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks
  12. Altmetric Badge
    Chapter 11 Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System
  13. Altmetric Badge
    Chapter 12 Compositional Temporal Fault Tree Analysis
  14. Altmetric Badge
    Chapter 13 Representing Parameterised Fault Trees Using Bayesian Networks
  15. Altmetric Badge
    Chapter 14 Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model
  16. Altmetric Badge
    Chapter 15 Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
  17. Altmetric Badge
    Chapter 16 Specification of a Software Common Cause Analysis Method
  18. Altmetric Badge
    Chapter 17 Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety
  19. Altmetric Badge
    Chapter 18 Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation
  20. Altmetric Badge
    Chapter 19 Survival by Deception
  21. Altmetric Badge
    Chapter 20 How to Secure Bluetooth-Based Pico Networks
  22. Altmetric Badge
    Chapter 21 Learning from Your Elders: A Shortcut to Information Security Management Success
  23. Altmetric Badge
    Chapter 22 Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees
  24. Altmetric Badge
    Chapter 23 Safety Process Improvement with POSE and Alloy
  25. Altmetric Badge
    Chapter 24 Defense-in-Depth and Diverse Qualification of Safety-Critical Software
  26. Altmetric Badge
    Chapter 25 Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer
  27. Altmetric Badge
    Chapter 26 Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches
  28. Altmetric Badge
    Chapter 27 Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study
  29. Altmetric Badge
    Chapter 28 A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications
  30. Altmetric Badge
    Chapter 29 Safety Demonstration and Software Development
  31. Altmetric Badge
    Chapter 30 Improving Test Coverage for UML State Machines Using Transition Instrumentation
  32. Altmetric Badge
    Chapter 31 Verification of Distributed Applications
  33. Altmetric Badge
    Chapter 32 Analysis of Combinations of CRC in Industrial Communication
  34. Altmetric Badge
    Chapter 33 A Comparison of Partitioning Operating Systems for Integrated Systems
  35. Altmetric Badge
    Chapter 34 Software Encoded Processing: Building Dependable Systems with Commodity Hardware
  36. Altmetric Badge
    Chapter 35 Reliability Modeling for the Advanced Electric Power Grid
  37. Altmetric Badge
    Chapter 36 Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay
  38. Altmetric Badge
    Chapter 37 A Reliability Evaluation of a Group Membership Protocol
  39. Altmetric Badge
    Chapter 38 Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity
  40. Altmetric Badge
    Chapter 39 A Tool for Network Reliability Analysis
  41. Altmetric Badge
    Chapter 40 DFT and DRBD in Computing Systems Dependability Analysis
  42. Altmetric Badge
    Chapter 41 Development of Model Based Tools to Support the Design of Railway Control Applications
  43. Altmetric Badge
    Chapter 42 Formal Specification and Analysis of AFDX Redundancy Management Algorithms
  44. Altmetric Badge
    Chapter 43 Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
  45. Altmetric Badge
    Chapter 44 Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
  46. Altmetric Badge
    Chapter 45 Experimental Assessment of Astrée on Safety-Critical Avionics Software
  47. Altmetric Badge
    Chapter 46 Detection of Runtime Errors in MISRA C Programs: A Deductive Approach
  48. Altmetric Badge
    Chapter 47 A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements
  49. Altmetric Badge
    Chapter 48 Controller Architecture for Safe Cognitive Technical Systems
  50. Altmetric Badge
    Chapter 49 Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
facebook
1 Facebook page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
342 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 Science & Business Media, September 2007
DOI 10.1007/978-3-540-75101-4
ISBNs
978-3-54-075100-7, 978-3-54-075101-4
Editors

Saglietti, Francesca, Oster, Norbert

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 342 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 4 1%
Germany 4 1%
China 2 <1%
Sweden 2 <1%
Italy 1 <1%
Brazil 1 <1%
Australia 1 <1%
France 1 <1%
Austria 1 <1%
Other 6 2%
Unknown 319 93%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 103 30%
Student > Master 86 25%
Researcher 43 13%
Student > Doctoral Student 22 6%
Student > Bachelor 19 6%
Other 69 20%
Readers by discipline Count As %
Computer Science 190 56%
Engineering 88 26%
Unspecified 27 8%
Social Sciences 8 2%
Business, Management and Accounting 6 2%
Other 23 7%