Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings / edited by Rogério Lemos, Taisy Silva Weber, João Batista Camargo.

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.