Event programme

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

Support