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

Front Cover
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

How Far Are We?
1
SafetyCritical Systems in Air Traffic Management
2
The Grid as Management Backplane
4
Plug and Play Fault Injector for Dependability Benchmarking
8
Nonintrusive SoftwareImplemented Fault Injection in Embedded Systems
23
Constraints on the Use of BoundaryScan for Fault Injection
39
A Strategy for Validating an ODBMS Component Using a HighLevel Software Fault Injection Tool
56
HeavyIon Fault Injections in the TimeTriggered Communication Protocol
69
Cyclic Strategies for Balanced and FaultTolerant Distributed Storage
214
Considering Modularity Genericness and Adaptation in the Development of Consensus and Fault Detection Services
234
A Lightweight Interface to Predict Communication Delays Using Time Series
254
A New Diagnosis Algorithm for Regular Interconnected Structures
264
A Tool for Fault Injection and Conformance Testing of Distributed Systems
282
A FaultTolerant Distributed LegacyBased System and Its Evaluation
303
An ArchitecturalLevel ExceptionHandling System for ComponentBased Applications
321
On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems
341

Dependability and Performance Evaluation of IntrusionTolerant Server Architectures
81
Building Trust Chains between CORBA Objects
102
An Architecture for OntheFly File Integrity Checking
117
Fault Injection Tool for Network Security Evaluation
127
Representativeness and Usefulness
137
Managing Adaptive Fault Tolerant CORBA Applications
160
Adaptable Objects for Dependability
181
A Genetic Algorithm for FaultTolerant System Design
197
Can We Rely on Them?
361
Computer Systems in Critical Applications
362
Second Workshop on Theses and Dissertations in Dependable Computing
363
Development of SafetyCritical Systems and ModelBased Risk Analysis with UML
364
On the Cost of FaultTolerant Consensus When There Are No Faults A Tutorial
366
A Practical Approach to Quality Assurance in Critical Systems
369
Author Index
371
Copyright

Other editions - View all

Common terms and phrases