14:00-14:30 Opening Remarks
Joao Batista Camargo Jr., General Chair (USP, Brazil)
Rogerio de Lemos, Program Co-Chair (University of Kent, UK)
Taisy Weber, Program Co-Chair (UFRGS, Brazil)

14:30-15:30 Keynote Talk - Karama Kanoun (LAAS-CNRS, France)
Dependability Benchmarking: How Far Are We?
Chair: Eliane Martins (Unicamp, Brazil)

15:30-16:00 Coffee break

16:00-18:30 Session 1: Fault Injection
Chair: William H. Sanders (UIUC,USA)

* Plug and Play Fault Injector for Dependability Benchmarking
Pedro Costa (ISCAC, Portugal), Marco Vieira (ISEC, Portugal), Henrique Madeira, João Gabriel Silva (University of Coimbra, Portugal)

* Non-Intrusive Software Implemented Fault Injection in Embedded Systems
Pedro Yuste, Juan Ruiz, Lenin Lemus, Pedro Gil (Technical University of Valencia, Spain)

* Constraints on the use of Boundary-Scan for Fault Injection
Luis Santos (ISEC, Portugal), Mario Zenha Rela (University of Coimbra, Portugal)

* A Strategy for Validating an ODBMS Component using a High-Level Software Fault Injection Tool
Regina Lucia de Oliveira Moraes, Eliane Martins (Unicamp, Brazil)

* Heavy-ion Fault Injections in the Time-triggered Communication Protocol
Håkan Sivencrona (SP Swedish National Testing and
Research Institute, Sweden), Per Johannessen (Volvo Car Corporation, Sweden), Mattias Persson, Jan Torin (Chalmers University of Technology, Sweden)

9:00-10:00 Keynote Talk - Eno Siewerdt (ATECH - Tecnologias Críticas, Brazil)
Safety-Critical Systems in Air Traffic Management
Chair: Joao Batista Camargo Jr. (USP, Brazil)

10:00-10:30 Coffee break

10:30-12:30 Session 2: Security
Chair: Paulo Lício de Geus (UNICAMP, Brazil)

* 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 Cesar Herrmann Wanner, Raul Fernando Weber (UFRGS, Brazil)

12:30-14:00 Lunch

14:00-14:30 "TECHNOLOGY CHALLENGE - WEB SERVICES"
João Carlos Serrano (VP - CONSIST Consultoria, Sistemas e Representações Ltda)
Click here to see more information

14:30-16:30 Session 3: Adaptive Fault Tolerance
Chair: Andrea Bondavalli (Universita di Firenze, Italy)

* Emulation of Software Faults: Representativeness and Usefulness
Henrique Madeira, João Durães, 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 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)

16:30-17:00 Coffee break

17:00-18:30 Panel: Dependability Benchmarks - Can you rely on them?
Moderator: João Gabriel Silva (University of Coimbra, Portugal)
Panellists:
Andrea Bondavalli (Universita di Firenze, Italy)
Eliane Martins UNICAMP, Brazil)
Henrique Madeira (University . of Coimbra, Portugal)
William H. Sanders (UIUC, USA)

9:00-10:00 Keynote Talk - Aad van Moorsel (HP Labs, USA)
Managed Utility Computing: The Grid as Management Backplane
Chair: Rogerio de Lemos (University of Kent, UK)

10:00-10:30 - Coffee break

10:30-12:30 - Session 4: Distributed Algorithms
Chair: Raimundo Macedo (UFBA, Brazil)

* 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)

12:30-14:30 Lunch

14:30-16:30 Session 5: Components and Fault Tolerance
Chair: Taisy Silva Weber, (UFRGS, Brazil)

* A Tool for Fault Injection and Conformance Testing of Distributed Systems
Eliane Martins (Unicamp, Brazil), Maria de Fatima Mattiello-Francisco (INPE, Brazil)

* A Fault-Tolerant Distributed Legacy-based System and Its Evaluation
Andrea Bondavalli (Universita di Firenze, Italy), Silvano Chiaradonna (ISTI-CNR, Italy), Domenico Cotroneo, Luigi Romano (Universita di Napoli Federico II, Italy)

* An Architectural-Level Exception Handling System for Component-Based Applications
Fernando Castor Filho, Paulo Asterio de C. Guerra, Cecilia Mary F. Rubira (Unicamp, Brazil)

* On the Use of Formal Specifications to Analyse Fault Behaviors of Distributed Systems
Fernando L. Dotti, Osmar M. dos Santos, Eduardo T. Rödel (PUC-RS, Brazil)

16:30-17:30 Symposium Closes and Open Meeting of Steering Committe