Final Programme

13th to 16th May 2014

Newcastle upon Tyne, UK

2

Greetings from the General and Programme Chairs

Welcome Thank you very much for your interest in our event, the 10th European Dependable Computing Conference - EDCC 2014 to be held in Newcastle upon Tyne during 13-16 May 2014. On behalf of the Programme and Organising Committees of EDCC 2014 we would like to welcome you to participate in the conferences as well as the associated workshops. In addition to an exciting scientific programme, we hope that you will join us for the Reception on Tuesday; and the Excursion and Banquet Dinner on Thursday. We look forward to welcoming and hosting you in Newcastle upon Tyne in May 2014, and hope that you will help us to make this event a thorough success. Alexander Romanovsky General Chair Marc-Olivier Killijian Programme Chair

Millennium Bridge Castle Keep

3

Conference Venue and Location Information

Conference Venue – The Thistle County Hotel The conference hotel is very conveniently located directly opposite Newcastles Central Rail Station. This provides access to all suburban and national trains, and also to the local Metro giving a direct link to the airport. The address of the hotel is: Neville Street, Newcastle upon Tyne, NE1 5DF. Telephone No: +44 (0) 871 3769029. Venue Web site: http://www.thistle.com/en/hotels/united_kingdom/newcastle/county_hotel/index.html

By Air – Newcastle International Airport 15 minutes by taxi (cost £15.00) The Metro train can also be taken from the Airport to Central Station (cost £4.00) By Rail – Central Station Newcastle is served by railway links to most of the UK; there is a frequent service from London (Kings Cross) which takes approximately three hours. By Road The satnav reference is NE1 5DF.

Conference Venue

4

Overview The overall conference programme encompasses four days of presentations, workshops, student forum and fast abstracts. An overview of the week “at a glance” is shown below. During the main three day conference period (Wednesday to Friday) there are two keynote invited presentations. The Wednesday afternoon conference runs in parallel to the student forum and fast abstract sessions. The conference welcome reception (Tuesday evening) will be held at the Laing Art Gallery. The conference excursion to Durham Cathedral and conference dinner in the magnificent setting of Lumley Castle will take place on Thursday evening (transport will be provided). Tuesday 13th May The Conference Reception on Tuesday evening will be held at the Laing Art Gallery in Newcastle upon Tyne, The Gallery's exceptional collection focuses on British oil paintings, watercolours, ceramics, silver and glassware. The collection has Designated Status in recognition of its national and international significance. Drinks and canapés will be served and delegates can take a look around the 18th and 19th century galleries. The Laing Art Gallery, New Bridge Street, Newcastle upon Tyne, NE1 8AG. Telephone: 0191 232 7734. Thursday 15th May The Conference Excursion will include a short walking tour around Durham and before dinner delegates will have the opportunity to visit Durham Cathedral, probably the finest example of a Norman cathedral in Europe. The Conference Dinner will be held at Lumley Castle, near Durham. Lumley Castle was built in 1388 by Sir Ralph Lumley, and the current Earl still plays an important part in the day to day running of the Castle. Set in beautiful landscaped grounds, with views across the River Wear and County Durham. After enjoying a tour of the castle and pre-dinner drinks, dinner will be served in the historic State Room. Coaches for the excursion and dinner will leave from the conference hotel at 1630. On the following pages you can read more about the keynote speakers, workshops and tutorials, the full details of the presentations in the conference programme.

Laing Art Gallery Lumley Castle

5

Overview Chart

6

Invited Keynote Speakers Wednesday 14th May 2014 Dr. John Rowlands, Typhoon Engineering Integration Manager, BAE SYSTEMS The Changing Shape of Products and Their Safety Cases Dr. John Rowlands is the BAE SYSTEMS Technical Integration Manager responsible for identifying technologies and capabilities that will be integrated into Eurofighter Typhoon in 2020 and beyond. Abstract: This presentation will describe some of the ways in which the company’s products have evolved and the impact that has on the way we think about safety. Those challenges result from the need to support multiple customers with diverse needs, to extract the maximum performance from the product and to update the product rapidly in response to new requirements. This will hopefully stimulate some thoughts regarding the way in which these challenges can be approached and the synergy with other products and industries. Thursday 15th May 2014 Prof Ian Phillips, Principal Staff Engineer, ARM Ltd Where did all the errors go? Abstract: As the physical process geometry got smaller on an 18mth tick, the number of transistors on a chip grew inexorably to the low billions we encounter today. Can we honestly say we are 99.9999999% sure our designs are correct? And the transistors got smaller not only were there more of them on a chip, but each becomes more susceptible to high energy particles. So how often do we have to wait before a stray particle causes a bit to flip, and how many bit-flips before a functional error occurs? And how about software, we know that even the best quality code has more than one error per thousand lines of source, so how many of them translates to unexpected state and timing errors? And what is the consequence of a failure? ... Then there’s reliability; hot electrons, electromigration and spikes; making transistors wear out in use. And then there’s intrinsic variability caused as the statistical nature of matter becomes obvious as device geometries approach atomic dimensions. This produces predictable Gaussian spreads of device parametrics, including the odd ones that have no transistor action at all! And finaly there is good old fashioned noise, arbitrarily producing supply glitches as multiple outputs are called to swing in unison; effecting the timing of countless gates as they experience reduced supply voltages for the odd uS. Clearly in the 21C, design-it-right has its limitations, and so does keep-it-right ... when will this perfect storm strike? In fact, pundits with calculators have been predicting the ‘end of the world’ since about 130nm. A point beyond which the pact between silicon and mathematics would become inadequate to support our design methodology based on a “100% correct” model. So here we are today at 20/24nm, with an abundance of evidence that disaster has not struck. With 14nm on the drawing boards; commercially, it is business as usual! So where did all the errors go? St Marys Lighthouse, Whitley Bay

7

Workshop Programme 0verview

Tuesday 13th May

0830 0900

Workshop Registration

0900 1030

(Room: Strauss) (Room: Symphony) (Room: Grainger) (Room: Boardroom)

EDSos 2014 Opening and invited

talk

AESSCS 2014 Opening and two invited keynotes

PASM’14 Welcome, invited talk

and one paper

BIG4CIP 2014 Welcome and three

papers

1030 1100

Coffee Break

1100 1230

EDSos 2014 Three papers

AESSCS 2014: Q&A keynote

speakers, two papers and group discussion

PASM’14: Four papers

BIG4CIP 2014 Three papers

1230 1400

Lunch Break

1400 1530

EDSos 2014 Two papers and one

invited talk

AESSCS 2014: Three papers and group discussions

PASM’14:

Invited talk and one paper

BIG4CIP 2014 Three papers

1530 1600

Coffee Break

1600 1730

AESSCS 2014: Two papers, group

discussions and forward planning

session

PASM’14: Three papers

BIG4CIP 2014 Two papers

Tuesday 13th May - Evening 1830 2030

Welcome Reception

The Laing Art Gallery

Drinks and canapés

8

EDSoS 2014 - Programme

Tuesday 13th May

0830 0900

Workshop Registration

0900 1030

(Room: Strauss)

Session 1: Opening and invited talk

Welcome Richard Payne, Zoe Andrews and Uwe Schulze

Why a Global Time is Needed in a Dependable SoS?

Invited Speaker: Hermann Kopetz, Vienna University of Technology

1030 1100

Coffee Break

1100 1230

Session 2: Engineering Dependable SoSs –applications

SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study Claire Ingram, Steve Riddle, John Fitzgerald, Sakina Al-Lawati and Afra Alrbaiyan

Deployment Calculation and Analysis for a Fail-Operational Automotive Platform

Klaus Becker, Michael Armbruster, Bernhard Schaetz and Christian Buckl

Fault Modelling in System-of-Systems Contracts Zoe Andrews, Jeremy Bryans, Richard Payne and Klaus Kristensen

1230 1400

Lunch Break

1400 1530

Session 3: Engineering Dependable SoSs –foundations

A Flow Sensitive Security Model for Cloud Computing Systems Wen Zeng, Chunyan Mu, Maciej Koutny and Paul Watson

Towards Verification of Constituent Systems through Automated Proof

LuÌs Diogo Couto, Simon Foster and Richard Payne

Towards a roadmap of modelling and simulation in SoSs Invited talk: Claire Ingram

1530 1600

Coffee Break

9

AESSCS 2014 - Programme

Tuesday 13th May

0830 0900

Workshop Registration

0900 1030

(Room: Symphony)

Opening remarks

Keynote: Who’s Using Your Software? Pippa Moore

Keynote: Nothing is Certain but Doubt and Tests

John McDermid

1030 1100

Coffee Break

1100 1230

Q&A with keynote speakers Pippa Moore and John McDermid

On the Efficacy of Safety-related Software Standards Mario Fusani and Giuseppe Lami

A Formal Experiment

Virginie Wiels

Discussion: What does it mean for a standard to ‘work’?

1230 1400

Lunch Break

1400 1530

The Utility and Practicality of Quantifying Software Reliability Rob Ashmore

Evaluating the Assessment of Software Fault-Freeness

John Rushby, Bev Littlewood, and Lorenzo Strigini

Discussion: Should we be following recipes or quantifying software performance?

The Efficacy of DO-178B Dewi Daniels

Discussion: Can we assess a standard as a whole (much as system-level testing assesses software)?

1530 1600

Coffee Break

1600 1730

Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From? Ibrahim Habli and Andrew Rae

Towards Assessing Necessary Competence: A Position Statement

C. Michael Holloway and Chris W. Johnson

Discussion: How can we assess the human performance aspects of the standard process?

Discussion: What is the most effective way to establish the needed evidence of standards’ efficacy?

Plans for a summary paper and closing remarks

10

PASM’14 - Programme

Tuesday 13th May

0830 0900

Workshop Registration

0900 1030

(Room: Grainger)

Welcome to PASM

Session 1: Will Knottenbelt (chair)

Invited talk: All-time Greatest Tennis Player Estimation Dr Ian McHale (University of Salford, UK)

Obtaining Optimal Thresholds for Processors with Speed-Scaling

Ronny Polansky, Samyukta Sethuraman and Natarajan Gautam

1030 1100

Coffee Break

1100 1240

Session 2: Nigel Thomas (chair)

Exploiting Bayesian Networks for the efficient analysis of Attack Trees Marco Gribaudo, Mauro Iacono and Stefano Marrone

Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso and Andrea Bondavalli

Survivability Evaluation of Smart City Infrastructures

Boudewijn Haverkort

Fluid Performability Analysis of Nested Automata Models Luca Bortolussi, Jane Hillston and Mirco Tribastone

1240 1400

Lunch Break

1400 1530

Session 3: Nigel Thomas (chair)

Three Case Studies on the Application of Queueing Models in Healthcare Invited talk: Dr Navid Izady, (University of Southampton, UK)

Model-checking Edinburgh buses

Ludovica Luisa Vissat, Allan Clark and Stephen Gilmore

1530 1600

Coffee Break

1600 1730

Session 4: Jeremy Bradley (chair)

Patch-based modelling of city-centre bus movement with phase-type distributions Daniel Reijsbergen, Stephen Gilmore and Jane Hillston

Asymptotic behavior and performance constraints of replication policies

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla and Giuseppe Serazzi

Energy-efficient checkpointing in high-throughput cycle-stealing distributed systems Matthew Forshaw and Stephen McGough

Closing remarks

11

BIG4CIP 2014 - Programme

Tuesday 13th May

0830 0900

Workshop Registration

0900 1030

(Room: Boardroom)

Semantic Support for Log Analysis of Safety-Critical Embedded Systems Alessio Venticinque, Nicola Mazzocca, Salvatore Venticinque and Ficco Massimo

Monitoring service quality: methods and solutions to implement a managerial dash-board to improve software development -

A case study in the banking and financial sector David Fuschi, Manuela TvaronaviČienĖ and Salvatore D'Antonio

Big Data Analytics for QoS Prediction Through Probabilistic Model Checking

Luigi Coppolino, Salvatore D'Antonio, Luigi Romano and Giuseppe Cicotti

1030 1100

Coffee Break

1100 1230

A Complex Event Processing Approach for Crisis-Management Systems Massimiliano Leone Itria, Alessandro Daidone and Andrea Ceccarelli

Integrated Maintenance: analysis and perspective of innovation in railway sector

Roberto Nappi

Correlating power consumption and network traffic for improving data centers resiliency Roberto Baldoni, Mario Caruso, Adriano Cerocchi, Claudio Ciccotelli, Luca Montanari and Luca Nicoletti

1230 1400

Lunch Break

1400 1530

Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities Marcello Cinque, Flavio Frattini, Antonio Pecchia, Stefano Russo, Leonardo Querzoni, Leonardo Aniello, Claudio Ciccottelli, Andrea

Ceccarelli, Andrea Bondavalli, Andrea Pugliese and Antonella Guzzo

End-users needs and requirements for tools to support critical infrastructures protection Michal Choras and Rafal Kozik

Closing the loop of SIEM analysis to Secure Critical Infrastructures

Alessia Garofalo, Cesario Di Sarno, Ilaria Matteucci, Marco Vallini and Valerio Formicola

1530 1600

Coffee Break

1600 1730

Critical Infrastructure Protection: having SIEM technology cope with network heterogeneity Valerio Formicola, Pietro Iamiglio, Gianfranco Cerullo and Luigi Sgaglione

Investigating SCADA Failures in Interdependent Critical Infrastructure Systems

Razgar Ebrahimy

12

Conference Programme

Wednesday 14th May

0745 0900 Registration and Coffee

0900 0915

Opening Welcome:

Alexander Romanovsky, Newcastle University, Marc-Olivier Killijian, LAAS-CNRS and Brian Randell, Newcastle University

0915 1015

Invited Speaker:

Dr. John Rowlands, Typhoon Engineering Integration Manager, BAE SYSTEMS

The Changing Shape of Products and Their Safety Cases Session chaired by Tom Anderson

1015 1045

Coffee Break

1045 1305

Session 1 - Distributed Systems & Networking

Session chaired by Juan-Carlos Ruiz Garcia

An Autonomic Implementation of Reliable Broadcast Based on Dynamic Spanning Trees Luiz A. Rodrigues, Luciana Arantes and Elias P. Duarte Jr.

Improving the Kuo-Lu-Yeh algorithm for assessing Two-Terminal Reliability

Minh Le, Max Walter and Josef Weidendorfer

On probabilistic analysis of disagreement in synchronous consensus protocols Negin Fathollahnejad, Emilia Villani, Risat Pathan, Raul Barbosa and Johan Karlsson

From Resilient Computing Architectural Concepts to Wireless Sensor Network-based Applications (short paper)

Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy and Animesh Pathak

Deviation Estimation between Distributed Data Streams Emmanuelle Anceaume and Yann Busnel

1305 1415 Lunch Break

1415 1535

Session 2 – Online Fault and

Failure Management Session chaired by Lorenzo Strigini

Mining Invariants from SaaS Application Logs

Santonu Sarkar, Rajeshwari Ganesan, Marcello Cinque, Flavio Frattini, Stefano Russo and Agostino Savignano

Towards a Dependability Control Center for Large

Software Landscapes (short paper) Florian Fittkau, André van Hoorn and Wilhelm Hasselbring

Modified Hamming Codes to Enhance Short Burst Error

Detection in Semiconductor Memories (short paper)

Luis-J. Saiz-Adalid, Pedro Gil Vicente, Juan C. Baraza, Juan Carlos Ruiz, Daniel Gil and Joaquin Gracia

Increasing Dependability of Component-based Software

Systems by Online Failure Prediction (short paper) Teerat Pitakrat, André van Hoorn and Lars Grunske

Fast Abstract Session Session chaired by Peter Puschner

The Impact Failure Detector

Anubis G. M. Rossetto, Claudio F. R. Geyer (Federal University of Rio Grande do Sul, Brazil), Luciana Arantes, Pierre Sens

Faster Transaction Commit even when Nodes Crash

Ryan Emerson, Paul Ezhilchelvan

A Formal Approach to System Integration Testing Susanne Kandl, Martin Elshuber

On Formalisms for Dynamic Reconfiguration of

Dependable Systems Marcello M. Bersani, Luca Ferrucci, Manuel Mazzara, Anirban

Bhattacharyya, Andrey Mokhov, Ken Pierce

An Approach to Maintaining Safety Case Evidence after a System Change

Omar Jaradat, Patrick Graydon and Iain Bate

13

Wednesday 14th May continued

1535 1600

Coffee Break

1600 1730

Session 3 – Resilient Systems Modelling

Session chaired by Felicita Giandomenico

Do I need to fix a failed component now, or can I wait until tomorrow?

Muffy Calder and Michele Sevegnani

A DSL-Supported Workflow for the Automated Assembly of Large Performability Models

Leonardo Montecchi, Paolo Lollini and Andrea Bondavalli

Markov Modeling of Availability and Unavailability Data Peter Buchholz and Jan Kriege

Software diversity as a measure for

reducing development risk Peter Popov, Andrey Povyakalo, Vladimir Stankovic

and Lorenzo Strigini

Student Forum

Session chaired by Elena Troubitsyna

A formal correct-by-construction approach for system substitution

Guillaume Babin

On Cloud-Based Engineering of Dependable Systems Sami Alajrami

Orthogonal Fault Tolerance for Dynamically Adaptive Systems

Sobia Khan

Unit verification procedure as a test of real time messaging-based processes

Miklos Taliga

Seaburn Beach, Sunderland

14

Thursday 15th May

0830 0900

Welcome Coffee

0900 1000

Invited Speaker:

Prof Ian Phillips, Principal Staff Engineer, ARM Ltd

Where did all the errors go? Session chaired by Alex Yakovlev

1000 1030

Coffee Break

1030 1240

Session 4 – Testing, Fault-injection and Benchmarking

Session chaired by Jean-Charles Fabre

On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments Erik van der Kouwe, Cristiano Giuffrida and Andrew S. Tanenbaum

Gaining confidence on dependability benchmarks' conclusions through back-to-back testing

Miquel Martínez, David de Andrés and Juan Carlos Ruiz

Binary-Level Fault Injection for AUTOSAR Systems (short paper) Mafijul Md. Islam, Nithilan Meenakshi Karunakaran, Johan Haraldsson, Fredrik Bernin and Johan Karlsson

Session 5 - Compilation Session chaired by Jean-Charles Fabre

A Framework for Creating Binary Rewriting Tools (short paper)

Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin Rodes, Matthew Hall, Clark Coleman, John Knight and Jack Davidson

A Study of The Impact of Bit-flip Errors on Programs Compiled with Different Optimization Levels

Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson and Johan Karlsson

1240 1400

Lunch Break

1400 1520

Session 6 - Safety-Critical Systems

Session chaired by John Knight

Application of statistical testing to the Data Processing and Control System for the Dungeness B nuclear power plant Helen Gough and Silke Kuball

On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure

Silvano Chiaradonna, Felicita Di Giandomenico and Nadir Murru

A Layered Model for Structuring Automotive Safety Arguments (short paper) John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham,

Helen Monkhouse and Robert Palin

1520 1630

Refreshment Break

1630 Coaches leave for Conference Excursion and Dinner

2000 2300

Conference Dinner

Coaches will bring delegates back to Newcastle city centre

15

Friday 16th May

0830 0900

Welcome Coffee

0900 1020

Session 7 – Space and Aeronautics

Session chaired by Johan Karlsonn

On MILS I/O Sharing Targeting Avionic Systems Kevin Mueller, Georg Sigl, Benoit Triquet and Michael Paulitsch

Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (short paper)

Denise Azevedo, Ana Ambrosio and Marco Vieira

An approach for assessing the impact of dependability on usability: application to interactive cockpits Philippe Palanque, Célia Martinie, Jean-Charles Fabre, Yannick Déléris, Navarre David and Camille Fayollas

1020 1040

Coffee Break

1040 1230

Session 8 – Security Privacy

Session chaired by Paul Ezhilchelvan

Speculative Software Modification and Its Use in Securing SOUP Benjamin Rodes and John Knight

Geo-Location Inference Attacks: From Modelling to Privacy Risk Assessment (short paper)

Miguel Nunez Del Prado Cortez and Jesus Friginal

Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking Tushar Deshpande, Panagiotis Katsaros, Scott Smolka and Scott Stoller

To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing

Anh Nguyen-Tuong, Jason Hiser, Nathan Kennedy, Michele Co, Jack Davidson, John Knight, David Melski, William Ella and David Hyde

1230 1240

Closing Session

1240 1340

Lunch

The Cloisters, Durham Cathedral

16

The County Thistle Newcastle

Layout of the Conference Rooms

 

17

Local attractions include: The Baltic Art Gallery Located on the south bank of the River Tyne. The Baltic Art Gallery is housed in an impressive landmark building that fits the nature of the gallerys contemporary art theme. The building features glass walled areas that allow natural light to stream into the interior, glass walled lifts that afford visitors panoramic views of the quaysides and the river, and a top level viewing platform that overlooks the city of Newcastle. There is also a rooftop restaurant at the gallery, and a cafeteria on the ground floor. The Castle Keep The Castle in Newcastle was actually constructed on the site of a much older castle that was used during Roman times. The new structure was so significant that the town that sprang up around it was named after it, inheriting the name “New-castle”. The castle today presents a unique look into medieval architecture and perhaps even fuels the imagination toward life during medieval times. Being one of the finest examples of a surviving Norman keep, visitors can freely walk through the structure and its many exhibits. The castle is open to visitors 365 days of the year. The Millennium Bridge Linking Newcastle to Gateshead the Millennium Bridge is the worlds first and only tilting arch bridge and takes its place at the end of a line of distinguished bridges across the River Tyne, including the Tyne Bridge and Robert Stephensons High Level Bridge. The tilting mechanism of the bridge is operated on most evenings at 2100. The Sage Gateshead Featuring an extremely unusual external appearance, the Sage Music Centre provides an eye catching attraction that is located in Gateshead on the Quayside. Its reflective surface showcases the surrounding environment and the River Tyne. With a cutting edge design the building is regularly used for musical education events as well as performances.

The Baltic Art Gallery The Millennium Bridge

The Castle Keep The Sage

18

Committees Organisation Committee General Chair Finance Chair Alexander Romanovsky, Newcastle University, UK Jon Warwick, Newcastle University, UK Honorary Chair Workshops Chair Brian Randell, Newcastle University, UK Andrea Bondavalli, University of Florence, Italy Programme Chair Fast Abstract Chair Marc-Olivier Killijian, LAAS-CNRS, France Peter Puschner, TU Vienna, Austria Publications Chair Student Forum Chair Juan Carlos Ruiz García, Technical University of Valencia, Spain Elena Troubitsyna, Aabo Akademi, Finland Organisation Chair Newcastle Student Volunteers Claire Smith, Newcastle University, UK David Adjepon-Yamoah Sami Alajrami Local Arrangements Martin Mansfield Dee Carr, Newcastle University, UK Maryam Mehrnezhad Ana Mihut International Liaisons Ehsan Toreini Americas - Cecilia Rubira, University of Campinas, Brazil Asia - Tadashi Dohi, Hiroshima University, Japan Europe - Ilir Gashi, City University, UK Programme Committee Members Gordon Blair, Univ. Lancaster, UK Peter Buchholz, Univ. Dortmund, Germany Miguel Correia, Univ. Lisbon, Portugal Bernard Cousin, Univ. Rennes, France David de Andrés, Tech. Univ. Valencia, Spain Xavier Defago, JAIST, Japan Felicita Di Giandomenico, ISTI-CNR, Italy Giovanna Di Marzo Serugendo, Univ. Genève, Switzerland Tudor Dumitras, Symantec Research Labs, USA Paul Ezhilchelvan, Univ. Newcastle, UK Jean-Charles Fabre, LAAS-CNRS, France Sébastien Gambs, Univ. Rennes-INRIA, France Fabiola Gonçalves Pereira Greve, Univ. Bahia, Brazil Janusz Górski, Univ. Gdansk, Poland Jérémie Guiochet, LAAS-CNRS, France Mohamed Kaâniche, LAAS-CNRS, France Karama Kanoun, LAAS-CNRS, France Johan Karlsson, Univ. Chalmers, Sweden Tim Kelly, Univ. York, UK Igor Kotenko, Russian Academy of Sciences, Russia Henrique Madeira, Univ. Coimbra, Portugal Dimitris Nikolos, CTI, Greece Rui Olivera, Univ. Minho, Portugal Marta Patiño, Tech. Univ. Madrid, Spain Michael Paulitsch, EADS, Germany Peter Popov, City Univ. London, UK Wolfgang Reif, Univ. Augsburg, Germany Hans Reiser, Univ. Passau, Germany Luigi Romano, Univ. Naples, Italy Matthieu Roy, LAAS-CNRS, France Juan-Carlos Ruiz, Tech. Univ. Valencia, Spain Ulrich Schmid, Tech. Univ. Wien, Austria Hans-Peter Schwefel, Univ. Aalborg, Denmark Aad van Moorsel, Univ. Newcastle, UK Lucian Vintan, Univ. Sibiu, Romania Roman Vitenberg, Univ. Oslo, Norway Stefan Wagner, Univ. Stuttgart, Germany

EDCC Steering Committee Karama Kanoun, Chair, LAAS-CNRS, France Algirdas Avizienis, Vytautas Magnus University, Lithuania Jean-Charles Fabre, LAAS-CNRS, France Felicita Di Giandomenico, ISTI-CNR, Italy Ricardo Jimenez-Peris, Technical University of Madrid, Spain Johan Karlsson, Chalmers University of Technology, Sweden Henrique Madeira, University of Coimbra, Portugal Miroslaw Malek, University of Lugano, Switzerland Jaan Raik, Tallinn University of Technology, Estonia Brian Randell, Newcastle University, UK Luca Simoncini, University of Pisa, Italy Janusz Sosnowski, Warsaw University of Technology, Poland

19

Conference Supporters The conference organisers wish to thank everyone who helped to support this event, including:

Conference Organiser