IMPORTANT DATES

Submission deadline:
Submission expired

18 March 2011
22 March 2011
Notification

5 April 2011
Camera ready

11-12 May 2011
Workshop date

Workshop Program

Downloadable (PDF) EWDC 2011 Workshop Programme

Wednesday, May 11, 2011
8:30 – 9:15 Registration
9:15 – 9:30 Opening
9:30 – 11:00
Session 1: Critical Systems/Infrastructures
Chair: Takashi Nanya
  Salvatore D'Antonio, Luigi Coppolino, Ivano Alessandro Elia and Valerio Formicola.
Security Issues of a Phasor Data Concentrator for Smart Grid Infrastructure
  Kossi Tiassou, Karama Kanoun, Mohamed Kaaniche, Christel Seguin and Chris Papadopoulos.
Operational Reliability of an Aircraft with Adaptive Missions
  Massimo Ficco, Alessandro Daidone, Luigi Coppolino, Luigi Romano and Andrea Bondavalli.
An Event Correlation Approach for Fault Diagnosis in SCADA Infrastructures
11:00 – 11:30 Coffee Break
11:30 – 13:00
Session 2: Benchmarking and Simulation
Chair: Karama Kanoun
  Jesús Friginal, David De Andrés, Juan-Carlos Ruiz and Pedro Gil.
Coarse-Grained Resilience Benchmarking Using Logic Score of Preferences: Ad Hoc Networks as a Case Study
  Afonso Araújo Neto and Marco Vieira.
Towards Benchmarking the Trustworthiness of Web Applications Code
  Fabrizio Baiardi, Claudio Telmon and Daniele Sgandurra.
A Simulation-Driven Approach for Assessing Risks of Complex Systems
13:00 – 14:00 Lunch
14:00 – 15:30
Session 3: Fault Tolerant Systems
Chair: Juan Carlos Ruiz
  Adrienne Tankeu-Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre and Yannick Deleris.
Self-Checking Widgets for Interactive Cockpits
  Minh Duc Nguyen, Gilles Fritz, Oum-El-Kheir Aktouf, Vincent Beroulle and David Hély.
Towards middleware-based fault-tolerance in RFID systems
  Hananeh Aliee and Hamid Reza Zarandi.
An Efficient, Dynamically Adaptive Method to Tolerate Transient Faults in Multi-core Systems
15:30 – 16:00 Coffee Break
16:00 – 23:30 Excursion to Lucca and Banquet
Thursday, May 12, 2011
9:00 – 11:00 Session 4: Monitoring, Detection and Debugging
Chair: Mario Dal Cin
  Antonio Bovenzi, Gabriella Carrozza, Domenico Cotroneo and Roberto Pietrantuono.
Error Detection Framework for Complex Software Systems
  Leonardo Aniello, Giorgia Lodi and Roberto Baldoni.
Inter-Domain Stealthy Port Scan Detection through Complex Event Processing
  Antonia Bertolino, Antonello Calabrò, Francesca Lonetti and Antonino Sabetta.
GLIMPSE: A Generic and Flexible Monitoring Infrastructure
  Midori Sugaya, Ken Igarashi, Masaaki Goshima, Shinpei Nakata, Kimio Kuramitsu, Yoichi Ishiwata and Satoshi Kagami.
Extensible Online Log Analysis System for Improving Adaptation Cycles
11:00 – 11:30 Coffee Break
11:30 – 13:00 Session 5: Distributed Systems, Protocols and Programs
Chair: Paolo Masci
  João Antunes and Nuno Neves.
Automatically Complementing Protocol Specifications From Network Traces
  Jimmy Lauret, Jean-Charles Fabre and Helene Waeselynck.
Detecting interferences in aspect oriented programs
  Roberto Baldoni, Silvia Bonomi and Michel Raynal.
k-bounded Set Objects in Eventually Synchronous Distributed Systems with Churn and Continuous Accesses
13:00 – 14:15 Lunch
14:15 – 15:15 Session 6: Short Papers
Chair: Gabriella Carrozza
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss, Huayi Huang, Atish Rajkomar and Rimvydas Ruksenas.
Towards a Formal Framework for Reasoning about the Resilience of Dynamic Interactive Systems
José Luís Nunes, João Carlos Cunha, Raul Barbosa and Mário Zenha-Rela.
Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability
Jin Nakazawa, Yutaka Matsuno and Hideyuki Tokuda.
Evaluating Degree of Systems' Dependability with Semi-Structured Assurance Case
15:15 – 15:30 Wrap-up

Downloadable (PDF) EWDC 2011 Workshop Programme