SCOPE
LADC is the major Latin-American event dedicated to discussing the many issues related to computer system dependability. This symposium succeedsthe well established Brazilian Symposium on Fault Tolerant Computers. Its objective is to provide a forum for international and Latin-American scientists and engineers to present their latest research results and application experience in this very dynamic field. The first LADC was held in São Paulo, Brazil, in October 2003, while the second was held in Salvador, Brazil, in October 2005. In its third edition the symposium is going to take place in Morelia, Mexico.

PROGRAM
The LADC program wil present invited talks, tutorials, panels, technical sessions, and fast abstracts.

Invited Talks:

• Philip Koopman (CMU, USA)
  
  Reliability, Safety, and Security in Everyday Embedded Systems

  Jean Arlat (LAAS-CNRS, France)
  

  Technologies: Prospect or Hazard to Dependable and Secure Computing

Tutorials:

• Lorenzo Alvisi (UT Austin, USA)
• Eduardo B. Fernandez (FAU, USA)
• Marco Vieira and Henrique Madeira (U Coimbra, Portugal)

Panels:

• Chair: Henrique Madeira (U Coimbra, Portugal)
  "Assessment, Measurements and Benchmarking of Dependability and Resiliency"
• Rogério de Lemos (U Kent, UK)
  "Dependable and Secure Ad Hoc Networking"

Technical Sessions:

• Fault-tolerant Algorithms
• Software Engineering of Dependable Systems
• Networking and Mobile Computing
• Experimental Dependability Evaluation
• Intrusion Tolerance and Security

CALL FOR FAST ABSTRACTS:
Fast Abstracts are short presentations, either on new ideas or work in progress, or opinion pieces that can address any issue relevant to dependability. For further details on how to submit a fast abstract, refer to the website, or contact Fabíola Greve
(fabiola@ufba.br).
REGISTRATION AND ADDITIONAL INFORMATION
Please see the website for registration, hotel, and travel information.




TECHNICAL SESSIONS

Fault-tolerant Algorithms
Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation
Jonatan Schroeder, Elias P. Duarte Jr., UFPR, Brazil.
On the implementation of communication-optimal failure detectors
Mikel Larrea, Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas, The University of the Basque Country, Spain
Joachim Wieland, RWTH Aachen University, Germany.
Connectivity in Eventually Quiescent Dynamic Distributed Systems
Sara Tucci Piergiovanni, University of Rome, Italy.

Software Engineering of Dependable Systems
Implementing fault tolerance using aspect oriented programming
Ruben Alexandersson, Peter Ohman, Chalmers University of Technology, Sweden.
Architecture-Centric Fault Tolerance with Exception Handling
Patrick Brito, State University of Campinas, Brazil
Rogerio de Lemos, University of Kent, Great Britain
Eliane Martins, Cecilia Rubira, UNICAMP, Brazil.
Coverage-Oriented, Prioritized Testing A Fuzzy Clustering Approach and Case Study
Fevzi Belli, University of Paderborn, Germany
Mübariz Eminov, Nida Gokce, Mugla University, Turkey.

Networking and Mobile Computing
Error Propagation Monitoring on Windows Mobile-based Devices
José Carlos Ribeiro, Polytechnic Institute of Leiria, Portugal
Bruno Luís, Mário Zenha-Rela, University of Coimbra, Portugal.
Gossiping: Adaptive and Reliable Broadcasting in MANETs
Abdelmajid Khelil, Neeraj Suri, Technical University of Darmstadt, Germany.
On the Behavior of Broadcasting Protocols for MANETs When Under Scenarios of Omission Faults
Talmai Oliveira, Victor Costa, Fabíola Greve, Universidade Federal da Bahia, Brazil.

Experimental Dependability Evaluation
Fail Boundedness in Discrete Applications
Mário Zenha-Rela, University of Coimbra, Portugal.
Space Application Fault Injection Experiments supported by Finite State Machine
Ana Maria Ambrosio, Instituto Nacional de Pesquisas Espaciais, Brazil
Maria Mattiello-Francisco, Brazilian Institute for Space Research, Brazil
Valdivino Santiago Junior, INPE, Brazil
Wendell Silva, Instituto Nacional de Pesquisas Espaciais, Brazil
Eliane Martins, UNICAMP, Brazil.
Component-based Software Certification based on Experimental Risk Assessment
Regina Moraes, Universidade Estadual de Campinas, Brazil
João Durães, CISUC / DEIS-ISEC, Portugal
Eliane Martins, UNICAMP, Brazil
Henrique Madeira, University of Coimbra, Portugal.

Intrusion Tolerance and Security
Integrated Intrusion Detection in Databases
José Fonseca, CISUC - University of Coimbra, Portugal
Marco Vieira, Henrique Madeira, University of Coimbra, Portugal.
Security Rationale for a Cooperative Backup Service for Mobile Devices
Ludovic Courtès, Marc-Olivier Kil ijian, David Powel , LAAS-CNRS, France.