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.
Author(s): Karama Kanoun (auth.), Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr. (eds.)
Series: Lecture Notes in Computer Science 2847
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 374
Tags: Special Purpose and Application-Based Systems; System Performance and Evaluation; Software Engineering; Operating Systems; Coding and Information Theory
Front Matter....Pages -
Dependability Benchmarking: How Far Are We?....Pages 1-1
Safety-Critical Systems in Air Traffic Management....Pages 2-3
Managed Utility Computing: The Grid as Management Backplane....Pages 4-7
Plug and Play Fault Injector for Dependability Benchmarking....Pages 8-22
Non-intrusive Software-Implemented Fault Injection in Embedded Systems....Pages 23-38
Constraints on the Use of Boundary-Scan for Fault Injection....Pages 39-55
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool....Pages 56-68
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol....Pages 69-80
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures....Pages 81-101
Building Trust Chains between CORBA Objects....Pages 102-116
An Architecture for On-the-Fly File Integrity Checking....Pages 117-126
Fault Injection Tool for Network Security Evaluation....Pages 127-136
Emulation of Software Faults: Representativeness and Usefulness....Pages 137-159
Managing Adaptive Fault Tolerant CORBA Applications....Pages 160-180
Adaptable Objects for Dependability....Pages 181-196
A Genetic Algorithm for Fault-Tolerant System Design....Pages 197-213
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage....Pages 214-233
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services....Pages 234-253
A Lightweight Interface to Predict Communication Delays Using Time Series....Pages 254-263
A New Diagnosis Algorithm for Regular Interconnected Structures....Pages 264-281
A Tool for Fault Injection and Conformance Testing of Distributed Systems....Pages 282-302
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation....Pages 303-320
An Architectural-Level Exception-Handling System for Component-Based Applications....Pages 321-340
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems....Pages 341-360
Panel “Dependability Benchmarks: Can We Rely on Them?”....Pages 361-361
Workshop on Safety: Computer Systems in Critical Applications....Pages 362-362
Second Workshop on Theses and Dissertations in Dependable Computing....Pages 363-363
Development of Safety-Critical Systems and Model-Based Risk Analysis with UML....Pages 364-365
On the Cost of Fault-Tolerant Consensus When There Are No Faults – A Tutorial....Pages 366-368
A Practical Approach to Quality Assurance in Critical Systems....Pages 369-370
Back Matter....Pages -
