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
