Dependable Computing

Invited Talks.- Dependability Benchmarking: How Far Are We?.- Safety-Critical Systems in Air Traffic Management.- Managed Utility Computing: The Grid as Management Backplane.- Fault Injection.- Plug and Play Fault Injector for Dependability Benchmarking.- Non-intrusive Software-Implemented Fault Injection in Embedded Systems.- Constraints on the Use of Boundary-Scan for Fault Injection.- A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool.- Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol.- Security.- Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures.- Building Trust Chains between CORBA Objects.- An Architecture for On-the-Fly File Integrity Checking.- Fault Injection Tool for Network Security Evaluation.- Adaptive Fault Tolerance.- Emulation of Software Faults: Representativeness and Usefulness.- Managing Adaptive Fault Tolerant CORBA Applications.- Adaptable Objects for Dependability.- A Genetic Algorithm for Fault-Tolerant System Design.- Distributed Algorithms.- Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage.- DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services.- A Lightweight Interface to Predict Communication Delays Using Time Series.- A New Diagnosis Algorithm for Regular Interconnected Structures.- Components and Fault Tolerance.- A Tool for Fault Injection and Conformance Testing of Distributed Systems.- A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.- An Architectural-Level Exception-Handling System for Component-Based Applications.- On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems.- Panel.- Panel“Dependability Benchmarks: Can We Rely on Them?”.- Workshops.- Workshop on Safety: Computer Systems in Critical Applications.- Second Workshop on Theses and Dissertations in Dependable Computing.- Tutorials.- Development of Safety-Critical Systems and Model-Based Risk Analysis with UML.- On the Cost of Fault-Tolerant Consensus When There Are No Faults – A Tutorial.- A Practical Approach to Quality Assurance in Critical Systems.