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
- 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
- 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 |