Dependable Computing

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Dependability Benchmarking: How Far Are We?
3. Altmetric Badge
   Chapter 2 Safety-Critical Systems in Air Traffic Management
4. Altmetric Badge
   Chapter 3 Managed Utility Computing: The Grid as Management Backplane
5. Altmetric Badge
   Chapter 4 Plug and Play Fault Injector for Dependability Benchmarking
6. Altmetric Badge
   Chapter 5 Non-intrusive Software-Implemented Fault Injection in Embedded Systems
7. Altmetric Badge
   Chapter 6 Constraints on the Use of Boundary-Scan for Fault Injection
8. Altmetric Badge
   Chapter 7 A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool
9. Altmetric Badge
   Chapter 8 Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol
10. Altmetric Badge
    Chapter 9 Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures
11. Altmetric Badge
    Chapter 10 Building Trust Chains between CORBA Objects
12. Altmetric Badge
    Chapter 11 An Architecture for On-the-Fly File Integrity Checking
13. Altmetric Badge
    Chapter 12 Fault Injection Tool for Network Security Evaluation
14. Altmetric Badge
    Chapter 13 Emulation of Software Faults: Representativeness and Usefulness
15. Altmetric Badge
    Chapter 14 Managing Adaptive Fault Tolerant CORBA Applications
16. Altmetric Badge
    Chapter 15 Adaptable Objects for Dependability
17. Altmetric Badge
    Chapter 16 A Genetic Algorithm for Fault-Tolerant System Design
18. Altmetric Badge
    Chapter 17 Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage
19. Altmetric Badge
    Chapter 18 DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services
20. Altmetric Badge
    Chapter 19 A Lightweight Interface to Predict Communication Delays Using Time Series
21. Altmetric Badge
    Chapter 20 A New Diagnosis Algorithm for Regular Interconnected Structures
22. Altmetric Badge
    Chapter 21 A Tool for Fault Injection and Conformance Testing of Distributed Systems
23. Altmetric Badge
    Chapter 22 A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation
24. Altmetric Badge
    Chapter 23 An Architectural-Level Exception-Handling System for Component-Based Applications
25. Altmetric Badge
    Chapter 24 On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems
26. Altmetric Badge
    Chapter 25 Panel “Dependability Benchmarks: Can We Rely on Them?”
27. Altmetric Badge
    Chapter 26 Workshop on Safety: Computer Systems in Critical Applications
28. Altmetric Badge
    Chapter 27 Second Workshop on Theses and Dissertations in Dependable Computing
29. Altmetric Badge
    Chapter 28 Development of Safety-Critical Systems and Model-Based Risk Analysis with UML
30. Altmetric Badge
    Chapter 29 On the Cost of Fault-Tolerant Consensus When There Are No Faults – A Tutorial
31. Altmetric Badge
    Chapter 30 A Practical Approach to Quality Assurance in Critical Systems