Dependable computing : first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings

ISSN 0302-9743

Dependability Benchmarking: How Far Are We? / Karama Kanoun (LAAS-CNRS, France) -- Safety-Critical Systems in Air Traffic Management / Eno Siewerdt (ATECH - Tecnologias Críticas, Brazil) -- Managed Utility Computing: The Grid as Management Backplane / Vijay Machiraju, Akhil Sahai, Aad van Moorsel (HP Labs, USA) -- Plug and Play Fault Injector for Dependability Benchmarking / Pedro Costa (ISCAC, Portugal), Marco Vieira (ISEC, Portugal), Henrique Madeira, Joao Gabriel Silva (University of Coimbra, Portugal) -- Non-intrusive Software Implemented Fault Injection in Embedded Systems / Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil (Technical University of Valencia, Spain) -- Constraints on the Use of Boundary-Scan for Fault Injection / Luís Santos (ISEC, Portugal), Mário Zenha Rela (University of Coimbra, Portugal) -- A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool / Regina Lúcia de Oliveira Moraes, Eliane Martins (Unicamp, Brazil) -- Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol / Hakan Sivencrona (SP Swedish National Testing and Research Institute,Sweden), Per Johannessen (Volvo Car Corporation, Sweden), Mattias Persson, Jan Torin (Chalmers University of Technology, Sweden) -- Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures / Vishu Gupta, Vinh Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh (UIUC, USA) -- Building Trust Chains between CORBA Objects / Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira (UFSC, Brazil) -- An Architecture for On-the-Fly File Integrity Checking / Mauro Borchardt, Carlos Maziero, Edgard Jamhour (PUC-PR, Brazil) -- Fault Injection Tool for Network Security Evaluation / Paulo César Herrmann Wanner, Raul Fernando Webe (UFRGS, Brazil) -- Emulation of Software Faults: Representativeness and Usefulness (Invited Paper) / Henrique Madeira, Joao Duraes, Marco Vieira (University of Coimbra, Portugal) -- Managing Adaptive Fault Tolerant CORBA Applications / Marcos A.M. de Moura (USP, Brazil), Markus Endler (PUC-RJ, Brazil) -- Adaptable Objects for Dependability / Jose Lino Contreras (UTFSM, Chile), Jean Louis Sourrouille (INSA de Lyon, France) -- A Genetic Algorithm for Fault-Tolerant System Design / Klaus Echtle, Irene Eusgeld (University of Duisburg-Essen, Germany) -- Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage / Ricardo Marcelín-Jiménez, Sergio Rajsbaum (UNAM, Mexico) -- DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services / Lásaro J. Camargos, Edmundo R.M. Madeira (Unicamp, Brazil) -- A Lightweight Interface to Predict Communication Delays Using Time Series / Raul Ceretta Nunes (UFSM, Brazil), Ingrid Jansch-Porto (UFRGS, Brazil) -- A New Diagnosis Algorithm for Regular Interconnected Structures / Antonio Caruso, Luiz Albini, Piero Maestrini (ISTI-CNR and University of Pisa, Italy) -- A Tool for Fault Injection and Conformance Testing of Distributed -- Systems (Invited Paper) / Eliane Martins (Unicamp, Brazil), Maria de Fátima Mattiello-Francisco (INPE, Brazil) -- A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation / Andrea Bondavalli (Universitá di Firenze, Italy), Silvano Chiaradonna (ISTI-CNR, Italy), Domenico Cotroneo, Luigi Romano (Universitá di Napoli Federico II, Italy) -- An Architectural-Level Exception Handling System for Component-Based Applications / Fernando Castor Filho, Paulo Asterio de C. Guerra, Cecília Mary F. Rubira (Unicamp, Brazil) -- On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems / Fernando L. Dotti, Osmar M. dos Santos, Eduardo T. Röde (PUC-RS, Brazil) -- Dependability Benchmarks – Can You Rely on Them? / Joao Gabriel Silva (University of Coimbra, Portugal) -- Workshop on Safety: Computer Systems in Critical Applications / Joao Batista Camargo Jr. (USP, Brazil), Rogério de Lemos (University of Kent, UK) -- Second Workshop on Theses and Dissertations in Dependable Computing / Avelino Zorzo (PUC-RS, Brazil), Francisco Brasileiro (UFCG, Brazil), Ingrid Jansch-Porto (UFRGS, Brazil) -- Development of Safety-Critical Systems and Model-Based Risk Analysis with UML / Jan Jürjens, Siv Hilde Houmb (Munich University of Technology, Germany) -- On the Cost of Fault-Tolerant Consensus when There Are No Faults – A Tutorial / Idit Keidar (Technion, Israel), Sergio Rajsbaum (UNAM, Mexico) -- A Practical Approach to Quality Assurance in Critical Systems / Carlos Augusto Teixeira de Moura (CLA, Brazil), Carlos Henrique Netto Lahoz, Martha Adriana Dias Abdala (IAE/CTA, Brazil) -- Author Index