Programme

Important notes:

The Student Forum and Fast-Abtracts will run in parallel sessions during the first 2 days of the main conference (Wednesday 28 April and Thursday 29 April). A separate programme for these sessions will soon be published.

Tuesday 27 April 2010

EDCC Workshops

Wednesday 28 April 2010

Morning
8:00-9:00 Registration
9:00-10:30 Conference Opening and Keynote 1:
Brendan Murphy (Microsoft Research Centre in Cambridge)
11:00-13:00 Session 1: Fault Injection (Chair: Cristian Constantinescu)
  • Comparing and Validating Measurements of Dependability Attributes.
    Daniel Skarin, Raul Barbosa and Johan Karlsson
  • Slice Your Bug: Debugging Error Detection Mechanisms using Error Injection Slicing.
    Ute Schiffel, André Schmitt, Martin Süßkraut and Christof Fetzer
  • Emulation of Transient Software Faults for Dependability Assessment: A Case Study.
    Roberto Natella and Domenico Cotroneo
  • Evaluating and comparing the impact of software faults on web servers.
    Naaliel Mendes, Joao Duraes and Henrique Madeira
Afternoon
14:30-16:30 Session 2: Middleware and mechanisms (Chair: Algirdas Avizienis)
  • Towards On-Line Adaptation of Fault Tolerance Mechanisms.
    Jean-Charles Fabre, Marc-Olivier Killijian and Thomas Pareaud
  • Scalability Evaluation of the Replication Support for JOnAS, an Industrial J2EE Application Server (Practical Experience Report).
    Alberto Paz, Francisco Perez-Sorrosal, Marta Patino-Martinez and Ricardo Jimenez-Peris
  • On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance (Practical Experience Report).
    Ruben Alexandersson and Peter Öhman
  • Partitioned Embedded Architecture based on Hypervisor: the XtratuM approach (Prototype-Tool description).
    Ismael Ripoll, Miguel Masmano and Alfons Crespo
17:00-19:00 Session 5: Diagnosis and monitoring (Chair: Luca Simoncini)
  • Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach.
    Jesper Grønbæk, Hans-Peter Schwefel, Jens Kristian Kjærgård and Thomas S. Toftegaard
  • Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels.
    Roberto Jung Drebes and Takashi Nanya
  • Narrowing Down Possible Causes of Performance Anomaly in Web Applications (Practical Experience Report).
    Satoshi Iwata and Kenji Kono
  • Finding Error Handling Bugs in OpenSSL using Coccinelle (Practical Experience Report).
    Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix and Gilles Muller

Thursday 29 April 2010

Morning
8:00-9:00 Registration
9:00-10:30 Keynote 2:
Prof. Jose Duato Marín (Universidad Politécnica de Valencia)
11:00-12:00 Session 6: Dependability modelling (Chair: TBA)
  • Beyond attack trees: dynamic security modeling with Boolean logic Driven Markov Processes (BDMP).
    Ludovic Piètre-Cambacédès and Marc Bouissou
  • Online Monitoring of Software System Reliability.
    Roberto Pietrantuono, Stefano Russo and Kishor S. Trivedi
12:00-13:00 Session 7: Embedded systems and hardware (Chair: David de Andrés Martínez)
  • Codesign and simulated fault injection of safety-critical embedded systems using SystemC.
    Jon Perez, Mikel Azkarate-askasua and Antonio Perez
  • How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining.
    Matthias Függer, Andreas Dielacher and Ulrich Schmid
Afternoon
14:30-16:00 Session 3: Approaches & Methodologies (Chair: Jean-Claude Laprie)
  • Software Process Synthesis in Assurance Based Development of Dependable Systems.
    Patrick Graydon and John Knight
  • Towards Understanding the Importance of Variables in Dependable Software.
    Matthew Leeke and Arshad Jhumka
  • Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile.
    Simona Bernardi, José Merseguer and Robyn Lutz
16:00-late Social Event: Excursion and dinner

Friday 30 April 2010

Morning
9:00-10:30 Session 4 (I): Distributed Protocols (Chair: Mikel Larrea)
  • Early Consensus in Message-passing Systems Enriched with a Perfect Failure Detector and its Application in the Theta Model.
    François Bonnet and Michel Raynal
  • HP: Hybrid Paxos for WANs.
    Dan Dobre, Matthias Majuntke, Marco Serafini and Neeraj Suri
  • Eventual Leader Election in Infinite Arrival Message-passing System Model with Bounded Concurrency.
    Sara Tucci-Piergiovanni and Roberto Baldoni
11:00-12:30 Session 4 (II): Distributed Protocols (Chair: Ricardo Jimenez Peris)
  • D2HT: the best of both worlds Integrating RPS and DHT.
    Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri and Michel Raynal
  • Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
    Paolo Masci, Silvano Chiaradonna and Felicita Di Giandomenico
  • A Membership Service for a Distributed, Embedded System based on a Time-Triggered FlexRay Network (Industrial Track Paper).
    Martin Mitzlaff, Rüdiger Kapitza, Michael Lang and Wolfgang Schröder-Preikschat
12:30-13:00 Closing Session