Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003.
The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.

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.