Paris, September 2015

Event programme

September 7th September 8th September 9th September 10th September 11th
Monday Tuesday Wednesday Thursday Friday
Workshop Workshops EDCC Main Conference

The Fast Abstract + Student Forum session program is now available here.

Tuesday 8th September 2015

17.00-18.00 Registration

19.00-20.00 "Mairie de Paris" visit

Wednesday 9th September 2015

08.30-9.00 Registration

09.00-9.15 Opening session
Pierre Sens, Pierre et Marie Curie University, Juan Carlos Ruiz García, Technical University of Valencia

09.15-10.15 Invited Speaker (Session Chair: Johan Karlsson)
Thomas Granlund (Saab Group)
Soft Errors in Electronics Induced by Atmospheric Radiation - a reliability issue?

10.15-10.45 Coffee break

10.45-12.45 Session 1 - Distinguished papers (Session Chair: Karama Kanoun)
  • Flexible Intrusion Detection Systems for Memory Constrained Embedded Systems
    Farid Molazem Tabrizi and Karthik Pattabiraman
  • Exploiting Synergies between Static Analysis and Model-Based Testing
    Sayali Salvi, Daniel Kästner, Tom Bienmüller and Christian Ferdinand
  • Recovery for Virtualized Environments
    Frederico Cerveira, Raul Barbosa, Henrique Madeira and Filipe Araujo

12.45-14.00 Lunch Break

14.00-15.30 Session 2 - Cloud computing reliability and security (Session Chair: Marco Vieira)
  • Error Diagnosis of Cloud Application Operation Using Bayesian Networks and Online Optimisation
    Xiwei Xu, Liming Zhu, Daniel Sun, An Binh Tran, Ingo Weber, Min Fu and Len Bass
  • Automated Evaluation of NIDS in Cloud Computing Virtual Infrastructures
    Thibaut Probst, Eric Alata, Mohamed Kaâniche and Vincent Nicomette
  • Dynamic VM Dependability Monitoring Using Hypervisor Probes
    Zachary J Estrada, Cuong Pham, Fei Deng, Lok Yan, Zbigniew Kalbarczyk and Ravishankar K. Iyer

15.30-16.00 Coffee break

16.00-17.30 Session 3 - Dependable embedded and real-time systems (Session Chair: Mattias Nyberg)
  • Partial Updates of AUTOSAR Embedded Applications - To What Extent?
    Hélène Martorell, Jean-Charles Fabre, Michael Lauer, Matthieu Roy and Régis Valentin
  • On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms
    Thorsten Piper, Stefan Winter, Neeraj Suri and Thomas E. Fuhrman
  • LATED: Lifetime-Aware Tag for Enduring Design
    Seyedeh Golsana Ghaemi, Amir Mahdi Hosseini Monazzah, Hamed Farbeh and Seyed Ghassem Miremadi

17.30-18.30 Steering committee meeting

19.00-21.00 Cocktail Jussieu Tower

Thursday 10th September 2015

09.00-10.00 Invited speaker (Session Chair: Jean-Charles Fabre)
Marc Gatti (Thales Avionics SAS, Advanced R&T Director)
DSM impact on Reliability for Avionics Use

10.00-10.30 Coffee

10.30-12.30 Session 4 - Dependability modeling and tools (Session Chair: Felicita Di Giandomenico)
  • Failure Propagation Modeling based on Contracts Theory
    Mattias Nyberg and Jonas Westman
  • Data Stream Clustering for Online Anomaly Detection in Cloud Applications
    Carla Sauvanaud, Guthemberg Silvestre, Mohamed Kaâniche and Karama Kanoun
  • Increasing Automation in the Backporting of Linux Drivers Using Coccinelle
    Luis R. Rodriguez and Julia Lawall
  • Ultrafast Single Error Correction Codes for Protecting Processor Registers
    Luis-J. Saiz-Adalid, Pedro Gil Vicente, Joaquin Gracia, Daniel Gil and Juan C. Baraza

12.30-13.45 Lunch Break

13.45-15.45 Session 5 - Hardware dependability (Session Chair: Karthik Pattabiraman)

  • Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware
    Yanyan Shen and Kevin Elphinstone
  • Towards a Fault-Tolerant Framework for COTS Many-Core Systems
    Peter Munk, Mohammad Shadi Alhakeem, Raphael Lisicki, Helge Parzyjegla, Jan Richling and Hans-Ulrich Heiß
  • A Comparison of Inject-on-Read and Inject-on-Write in ISA-Level Fault Injection
    Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson and Johan Karlsson
  • Increasing the Safety of VLSI Systems Through Early Detection of Fugacious Faults
    Jaime Espinosa, David de Andrés and Pedro Gil

15.45-16.15 Coffee Break

16.15-17.30 Fast abstract and Student forum

19.00-23.00 Conference dinner on boat

Friday 11th September 2015

08.30-10.00 Session 6 - Fault-tolerance and Secure systems and networks (Session Chair: Zbigniew Kalbarczyk)
  • Reducing the Energy Footprint of a Distributed Consensus Algorithm
    Jehan-Francois Paris and Darrell Long
  • Security of ISP Access Networks: practical experiments
    Yann Bachy, Vincent Nicomette, Eric Alata, Mohamed Kaaniche and Jean-Christophe Courrège
  • Composing Patterns to Construct Secure Systems
    Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz and Steve Reeves

10.00-10.30 Coffee Break
10.30-12.30 Session 7 - Characterisation, verification and validation methods (Session: Julia Lawall)

  • Insights into the Diagnosis of System Failures from Cluster Message Logs
    Edward Chuah, Arshad Jhumka, James C. Browne, Bill Barth and Sai Narasimhamurthy
  • Evaluating and Optimizing Stabilizing Dining Philosophers
    Jordan Adamek, Mikhail Nesterenko and Sébastien Tixeuil
  • Fail*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance
    Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann and Olaf Spinczyk
  • On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad hoc Networks
    Negin Fathollah Nejad Asl, Risat Pathan and Johan Karlsson

12.30-12.40 Closing session

12.40-14.00 Lunch

Organized by

Organized by

Organized by


Supported by

Supported by

Supported by

Supported by