| 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
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
Robustness
Testing for Reactive Systems
COTS-based
Safety Critical Systems: challenges
and approaches
Fast
& Early Validation of VLSI Systems
Proactive
Resilience
|
| 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 |
|
