General Chair
João Gabriel Silva
University of Coimbra

Program Chair
Johan Karlsson
Chalmers University

Preliminary EDC-6 Program

19:00 - 21:00 Welcome Reception (conference venue)

08:30 - 09:00 Conference Registration
09:00 - 09:30 Welcome Address and Introduction
09:30 - 10:30

Keynote Address: A Business Case for Dependability
     João Carreira

10:30 - 11:00 Coffee break
11:00 - 12:30 Session 1: Robustness and Fault Tolerance
     Design of a Highly Dependable Operating System
  Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg and Andrew S. Tanenbaum
     Automatically Finding and Patching Bad Error Handling
  Martin Suesskraut and Christof Fetzer
     Communication Integrity in Networks for Critical Control Systems
  Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert and Patrice Brot
12:30 - 13:30 Lunch
13:30 - 15:00 Session 2A: Practical Experience Reports and Tools
     A fault tolerant VoIP PBX on standards based COTS platform
  Anand Gorti
     Lessons learned from the deployment of a high-interaction honeypot
  Eric Alata, Vincent Nicomette, Mohamed Kaâniche and Marc Dacier

Session 2B: Fast Abstracts I
15:00 - 15:15 Coffee break
15:15 - 16:15 Session 3: Fault Injection
     Temporal Characterization of Embedded Systems Using Nexus
  Juan Pardo, Jose-Carlos Campelo, Juan-Carlos Ruiz and Pedro Gil
     Injection of faults at component interfaces and inside the
     component code: are they equivalent?
  Regina Moraes, Ricardo Barbosa, João Durães, Naaliel Mendes, Eliane Martins and Henrique Madeira
16:15 - 16:30 Coffee break
16:30 - 18:00

Panel 1: In Search of Real Data on Faults, Errors and Failures
     Chair: Miroslaw Malek

18:00 - 19:00

Visit to the Physics Museum of the University of Coimbra

09:00 - 10:30 Session 4A: Hardware Implemented Fault Tolerance
     SEU Mitigation Techniques for Microprocessor Control Logic
  Ganesh T S, Viswanathan Subramanian and Arun Somani
     Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip
  Matthias Függer, Ulrich Schmid, Gottfried Fuchs and Gerald Kempf
     Dynamic Derivation of Application-Specific Error Detectors
     and their Implementation in Hardware
  Karthik Pattabiraman, Giacinto Paulo Saggese, Daniel Chen, Zbigniew Kalbarczyk and Ravishankar Iyer

Session 4B:
Fast Abstracts II
10:30 - 11:00 Coffee break
11:00 - 13:00 Session 5: Student Forum
     N/2+1 Alive Nodes Progress Condition
  Rubén De Juan Marín
     Robustness Testing for Reactive Systems
  Saad Khorchef Fares
     COTS-based Safety Critical Systems: challenges and approaches
  Gabriella Carrozza
     Fast & Early Validation of VLSI Systems
  Luis J. Saiz
     Proactive Resilience
  Paulo Sousa
13:00 - 14:30 Lunch
14:30 - 15:30 Special session: Research on Trust and Security in FP7
15:30 - 16:00 Coffee break
16:00 - 16:30 EDCC Business meeting
16:30 - 19:00 Local tour
20:00 - ... Conference banquet

08:30 - 10:00 Panel: Education in Dependable and Resilient Computing – Meeting the Needs of the Information Society.
10:00 - 10:30 Coffee break
10:30 - 12:30 Session 6A: Dependable Storage and Services
     Impact of WAN Channel Behavior on End-to-end Latency
     of Replication Protocols
  Roberto Baldoni, Carlo Marchetti and Antonino Virgillito
     Customizable Service State Durability for Service Oriented Architectures
  Xianan Zhang, Matti Hiltunen, Keith Marzullo and Richard Schlichting
     Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices
  Ludovic Courtès, Marc-Olivier Killijian and David Powell
     Rephrasing Rules for Off-The-Shelf SQL Database Servers
  Ilir Gashi and Peter Popov

Session 6B:
Fast Abstracts III
12:30 - 14:00 Lunch


 EDCC-6 Registration:

   Late registrations are
   allowed <register here>

 October 17:
   Welcome Reception

  October 09
  EDCC-6 program has
  been updated  

  October 09
  Attendees are invited to the
  Welcome Reception   (October 17 at the
  conference venue)