Dependable Computing

This is the ?rst edition of the Latin American Symposium on Dependable C- puting (proceedings of the LADC). LADC is the sole Latin American event dedicated to discussing the many issues related to computer system depen- bility. This symposium succeeded the well established Brazilian Symposium on Fault Tolerant Computers, which was a biennial event that lasted for 20 years. Although the symposium was based in Latin America, the intention was to attractresearchersfromallovertheworld. Therewere46papersubmissionsfrom Europe, and South and North America. The selection process was rigorous, with eachmanuscriptbeingsentoutforreviewtofourProgramCommitteemembers. A total of 19 papers were selected to be included in the proceedings, of which two were experience reports and three were short papers. In addition to these papers, we also invited Henrique Madeira and Eliane Martins to contribute with two papers, and we were very grateful that they accepted our invitation. LADC 2003 was privileged to have a very prestigious and dedicated Program Committee, that embraced an electronic reviewing process that was demanding and time consuming. We would like to thank its members for their dedication and e?ort in helping to put together the ?nal program. The electronic subm- sion and reviewing process was only possible due to the e?orts of Alan Cleber Borim and Lisandro Zambenedetti Granville in installing and maintaining the EDAS conference manager. As part of the technical program, we also included three invited talks and a panel.

Includes supplementary material: sn.pub/extras

Inhalt
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.- PanelDependability 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.