Programme

Overview

Workshops Day I Day II Day III
Tuesday
27/4/10		 Wednesday
28/04/2010		 Thursday
29/04/2010		 Friday
30/04/2010
08:15 Bus service (Hotels -> Conference)
8:00-8:30 Registration Registration Registration
8:30-9:00 Workshop
I
9:00-9:30 Conf. Opening &
Keynote 1		 Keynote 2 S4 (I):
Dist.
Protocols
9:30-10:00
10:00-10:30
10:30-11:00 Break Break Break Break
(taxi calls
if needed)
11:00-11:30 Workshop
II		 S1: Fault
Injection		 SF +
FA
(I)		 S6: Dep.
modelling		 S4 (II):
Dist.
Protocols
11:30-12:00
12:00-12:30 S7: Embedded
sys. & HW
12:30-13:00 Closing sess.
13:00-13:30 Lunch Lunch Lunch Lunch
(taxi calls
if needed)
13:30-14:00
14:00-14:30
14:30-15:00 Workshop
III		 S2:
MW &
mechanisms		 SF +
FA
(II)		 S3:
Approaches &
Methodologies
15:00-15:30
15:30-16:00
16:00-16:30 Excursion
& dinner
16:30-17:00 Break Break
17:00-17:30 Workshop
IV		 S5:
Diag. &
monitoring		 SF +
FA
(III)
17:30-18:00
18:00-18:30
18:30-19:00
19:15 Bus service
(Conference -> Hotels)
20h30 Welcome
reception
.

Note: The whole conference will take place the 3rd floor of the building 8E of the Ciudad Politécnica de la Innovación on the Campus of the Universidad Politécnica de Valencia (UPV).

Tuesday 27 April 2010 (EDCC Workshops)

8:00-8:30 Registration
8:30-19:00 CARS@EDCC2010 (preliminary programme)
1st Workshop on Critical Automotive applications: Robustness & Safety
8:30-19:00 DYADEM-FTS 2010 (programme)
1st Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
14:30-19:00 DD4LLCI 2010
Workshop on Data Distribution for Large-Scale Complex Critical Infrastructures

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: Felicita Di Giandomenico)
  • 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