Dependable Computing: First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science, Band 2847) - Softcover

Lemos, Le

Softcover

ISBN 10: 3540202242 ISBN 13: 9783540202240

Verlag: Springer, 2003

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2003
• Sprache: Englisch
• ISBN 10: 3540202242
• ISBN 13: 9783540202240
• Einband: Taschenbuch
• Anzahl der Seiten: 392
• Herausgeber: Lemos Rogério Le, Silva Weber Taisy, Camargo Jr. Joao Batista
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland