Computer Safety, Reliability, and Security

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
3. Altmetric Badge
   Chapter 2 Rapid Fault-Space Exploration by Evolutionary Pruning
4. Altmetric Badge
   Chapter 3 Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search
5. Altmetric Badge
   Chapter 4 Debugging with Timed Automata Mutations
6. Altmetric Badge
   Chapter 5 Systematic Derivation of Functional Safety Requirements for Automotive Systems
7. Altmetric Badge
   Chapter 6 Making Implicit Safety Requirements Explicit
8. Altmetric Badge
   Chapter 7 Securing Vehicle Diagnostics in Repair Shops
9. Altmetric Badge
   Chapter 8 Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage
10. Altmetric Badge
    Chapter 9 Exploiting Narrow Data-Width to Mask Soft Errors in Register Files
11. Altmetric Badge
    Chapter 10 Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence
12. Altmetric Badge
    Chapter 11 Assurance Cases for Block-Configurable Software
13. Altmetric Badge
    Chapter 12 Generation of Safety Case Argument-Fragments from Safety Contracts
14. Altmetric Badge
    Chapter 13 Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function
15. Altmetric Badge
    Chapter 14 Proving the Absence of Stack Overflows
16. Altmetric Badge
    Chapter 15 Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks
17. Altmetric Badge
    Chapter 16 A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems
18. Altmetric Badge
    Chapter 17 On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet
19. Altmetric Badge
    Chapter 18 Specifying Safety Monitors for Autonomous Systems Using Model-Checking
20. Altmetric Badge
    Chapter 19 Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements
21. Altmetric Badge
    Chapter 20 Querying Safety Cases
22. Altmetric Badge
    Chapter 21 Security Application of Failure Mode and Effect Analysis (FMEA)
23. Altmetric Badge
    Chapter 22 Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline
24. Altmetric Badge
    Chapter 23 A Pragmatic Approach towards Safe and Secure Medical Device Integration