Computer Safety, Reliability, and Security

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Why Safety and Security Should and Will Merge
3. Altmetric Badge
   Chapter 2 The Deconstruction of Safety Arguments Through Adversarial Counter-Argument
4. Altmetric Badge
   Chapter 3 Using Fuzzy Self-Organising Maps for Safety Critical Systems
5. Altmetric Badge
   Chapter 4 Using Formal Methods in a Retrospective Safety Case
6. Altmetric Badge
   Chapter 5 A Highly Fault Detectable Cache Architecture for Dependable Computing
7. Altmetric Badge
   Chapter 6 An Empirical Exploration of the Difficulty Function
8. Altmetric Badge
   Chapter 7 Towards the Integration of Fault, Resource, and Power Management
9. Altmetric Badge
   Chapter 8 Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
10. Altmetric Badge
    Chapter 9 Analysing Mode Confusion: An Approach Using FDR2
11. Altmetric Badge
    Chapter 10 Handling Safety Critical Requirements in System Engineering Using the B Formal Method
12. Altmetric Badge
    Chapter 11 A Hybrid Testing Methodology for Railway Control Systems
13. Altmetric Badge
    Chapter 12 Actuator Based Hazard Analysis for Safety Critical Systems
14. Altmetric Badge
    Chapter 13 Performability Measures of the Public Mobile Network of a Tele Control System
15. Altmetric Badge
    Chapter 14 PLC-Based Safety Critical Software Development for Nuclear Power Plants
16. Altmetric Badge
    Chapter 15 Compositional Hazard Analysis of UML Component and Deployment Models
17. Altmetric Badge
    Chapter 16 Automatic Test Data Generation from Embedded C Code
18. Altmetric Badge
    Chapter 17 State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems
19. Altmetric Badge
    Chapter 18 Safety Requirements and Fault Trees Using Retrenchment
20. Altmetric Badge
    Chapter 19 The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics
21. Altmetric Badge
    Chapter 20 Automotive Telematics – Road Safety Versus IT Security?
22. Altmetric Badge
    Chapter 21 Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
23. Altmetric Badge
    Chapter 22 Refinement of Fault Tolerant Control Systems in B
24. Altmetric Badge
    Chapter 23 Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems
25. Altmetric Badge
    Chapter 24 An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
26. Altmetric Badge
    Chapter 25 Dependability Benchmarking of Web-Servers
27. Altmetric Badge
    Chapter 26 An Approach for Model-Based Risk Assessment
28. Altmetric Badge
    Chapter 27 How Explicit Are the Barriers to Failure in Safety Arguments?