+612 9045 4394
Dependable Computing : First Latin-American Symposium, Ladc 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings - Rogerio Le Lemos

Dependable Computing

First Latin-American Symposium, Ladc 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

Paperback Published: 29th September 2003
ISBN: 9783540202240
Number Of Pages: 374

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 7 to 10 business days

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.

Dependability Benchmarking: How Far Are We?p. 1
Safety-Critical Systems in Air Traffic Managementp. 2
Managed Utility Computing: The Grid as Management Backplanep. 4
Plug and Play Fault Injector for Dependability Benchmarkingp. 8
Non-intrusive Software Implemented Fault Injection in Embedded Systemsp. 23
Constraints on the Use of Boundary-Scan for Fault Injectionp. 39
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Toolp. 56
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocolp. 69
Dependability and Performance Evaluation of Intrusion-Tolerant Server Architecturesp. 81
Building Trust Chains between CORBA Objectsp. 102
An Architecture for On-the-Fly File Integrity Checkingp. 117
Fault Injection Tool for Network Security Evaluationp. 127
Emulation of Software Faults: Representativeness and Usefulnessp. 137
Managing Adaptive Fault Tolerant CORBA Applicationsp. 160
Adaptable Objects for Dependabilityp. 181
A Genetic Algorithm for Fault-Tolerant System Designp. 197
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storagep. 214
DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Servicesp. 234
A Lightweight Interface to Predict Communication Delays Using Time Seriesp. 254
A New Diagnosis Algorithm for Regular Interconnected Structuresp. 264
A Tool for Fault Injection and Conformance Testing of Distributed Systemsp. 282
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluationp. 303
An Architectural-Level Exception Handling System for Component-Based Applicationsp. 321
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systemsp. 341
Dependability Benchmarks - Can You Rely on Them?p. 361
Workshop on Safety: Computer Systems in Critical Applicationsp. 362
Second Workshop on Theses and Dissertations in Dependable Computingp. 363
Development of Safety-Critical Systems and Model-Based Risk Analysis with UMLp. 364
On the Cost of Fault-Tolerant Consensus when There Are No Faults - A Tutorialp. 366
A Practical Approach to Quality Assurance in Critical Systemsp. 369
Author Indexp. 371
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540202240
ISBN-10: 3540202242
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 374
Published: 29th September 2003
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.06
Weight (kg): 0.55