Table Of ContentMarco Vieira
João Carlos Cunha (Eds.)
Dependable
9
6
8
7
S Computing
C
N
L
14th European Workshop, EWDC 2013
Coimbra, Portugal, May 2013
Proceedings
123
Lecture Notes in Computer Science 7869
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
Marco Vieira
João Carlos Cunha (Eds.)
Dependable
Computing
14th European Workshop, EWDC 2013
Coimbra, Portugal, May 15-16, 2013
Proceedings
1 3
VolumeEditors
MarcoVieira
UniversityofCoimbra
DepartmentofInformaticsEngineering
PóloII,PinhaldeMarrocos,3030-290Coimbra,Portugal
E-mail:[email protected]
JoãoCarlosCunha
PolytechnicInstituteofCoimbra
CoimbraInstituteofEngineering
RuaPedroNunes,3030-199Coimbra,Portugal
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-38788-3 e-ISBN978-3-642-38789-0
DOI10.1007/978-3-642-38789-0
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2013939190
CRSubjectClassification(1998):C.2,F.2,G.2
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
©Springer-VerlagBerlinHeidelberg2013
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,
evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws
andregulationsandthereforefreeforgeneraluse.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
Welcome to the proceedings of the 14th European Workshop on Dependable
Computing, held in Coimbra, Portugal.
EWDC is a privileged forum for discussion of current and emerging trends
on dependability area,fostering a close and fruitful contactbetween researchers
frombothacademiaandindustry.Afterthe firstseries,startedin1989andheld
onayearlybasisuntil2000,EWDCwasrevivedin2009,runningsincethenevery
two years, alternatively with the European Dependable Computing Conference
(EDCC). In 2009 EWDC was held in Toulouse, and in 2011 in Pisa.
TheUniversityofCoimbrahadthepleasureofhostingthe2013editionofthe
workshop.Establishedin1289,thisisoneoftheoldestuniversitiesinEurope.It
is located in Coimbra, a small city built around the university, again along the
European tradition of university towns.
EWDC 2013 focused on dependability and security of software and services.
This is a challenging theme, especially when considering that information sys-
tems are more and more based on complex, heterogeneous, dynamic software
and services, which are characterized by demanding quality attributes. Inter-
operability in the presence of dependability and security guarantees, as well as
techniques and tools to assess the impact of accidental and malicious threats,
are among the crucial aspects to be addressed.
The technical program included nine full papers and six short papers, ac-
ceptedfrom24submissions,withsomeinterestingcontributionsfromjointwork
betweenacademiaandindustry.Allthesepaperswereblind-reviewedbythePro-
gram Committee (PC) members and external reviewers. A total of 72 reviews
were received, and each paper was reviewed by three referees.
For the first time in EWDC, some authors were invited to submit fast-
abstracts, having the opportunity to present at the workshop work in progress
or new ideas addressing very interesting issues in the dependability area. Six
fast-abstracts were accepted.
We thank the PC members and external reviewers for their invaluable con-
tribution in the rigorous review process. A special appreciation to the EWDC
Steering Committee members for their precious guidance.
We hope EWDC 2013 yields a positive impact in the research projects and
careers of all participants, and that these proceedings will be a valuable source
of knowledge for future readers.
May 2013 Marco Vieira
Joa˜o Carlos Cunha
Organization
Organization
University of Coimbra
Committees
Workshop Chair
Marco Vieira University of Coimbra, Portugal
Publication Chair
Joa˜o Carlos Cunha Polytechnic Institute of Coimbra, Portugal
Local Arrangements Chair
Nuno Laranjeiro University of Coimbra, Portugal
Publicity Chair
Bruno Cabral University of Coimbra, Portugal
Steering Committee
Karama Kanoun LAAS-CNRS, France
Algirdas Avizienis Vytautas Magnus University, Lithuania
Jean-Charles Fabre LAAS-CNRS, France
Felicita Di Giandomenico ISTI, 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
Program Committee
Alexander Romanovski University of Newcastle, UK
Ana Rugina ESA, Netherlands
Anto´nio Casimiro Faculdade de Ciˆencias da Universidade de
Lisboa, Portugal
VIII Organization
Corrado Leita Symantec, France
Domenico Cotroneo University of Naples, Italy
Elena Troubitsyna ˚Abo Akademi University, Finland
Erland Jonsson Erland Jonsson, Sweden
Felicita Di Giandomenico ISTI, Italy
Felix Salfner Humboldt-Universit¨at zu Berlin, Germany
Frank Ortmeier University of Magdebourg,Germany
Hans-Peter Schwefel FTW, Austria
Ilir Gashi City University, UK
Istv´an Majzik Budapest University of Technology and
Economics, Hungary
Janusz G´orski Gdansk University of Technology,Poland
Jos´e Orlando Pereira University of Minho, Portugal
Juan-Carlos Ruiz Technical University of Valencia, Spain
Marco Serafini Yahoo! Research, Spain
Marta Patin˜o-Mart´ınez University of Madrid, Spain
Michael Paulitch EADS IW, Germany
Nicolas Rivi`ere LAAS-CNRS, France
Paolo Lollini University of Florence, Italy
Simin Nadjm-Tehrani Link¨oping University, Sweden
Tomas Bures Charles University, Czech Republic
Vincent Nicomette LAAS-CNRS, France
External Reviewers
Ivan Studnia LAAS-CNRS, France
Jeremie Guiochet LAAS-CNRS, France
Jos´e Lu´ıs Nunes Polytechnic Institute of Coimbra, Portugal
Linas Labinis ˚Abo Akademi University, Finland
Raul Barbosa University of Coimbra, Portugal
Thibaut Probst LAAS, France
Table of Contents
Wireless Sensor Networks
Enhancing Intrusion Detection in Wireless Sensor Networks
through Decision Trees ........................................... 1
Alessia Garofalo, Cesario Di Sarno, and Valerio Formicola
Middleware Support for Adaptive Real-Time Applications in Wireless
Sensor Networks ................................................. 16
Jo˜ao Alves, Ant´onio Casimiro, and Lu´ıs Marques
Cloud Computing and Services
Formal Analysis of Dynamic Domain Establishment Protocol in Cloud
Logging Service.................................................. 24
Wei Hu and Dongyao Ji
Model-Driven Evaluation of User-PerceivedService Availability ........ 39
Andreas Dittrich and Rafael Rezende
Exploiting SDN Approach to Tackle Cloud Computing Security Issues
in the ATC Scenario.............................................. 54
Gabriella Carrozza, Vittorio Manetti, Antonio Marotta,
Roberto Canonico, and Stefano Avallone
Testing and Fault Detection
Intercept: Profiling Windows Network Device Drivers................. 61
Manuel Mendonc¸a and Nuno Neves
The Challenge of Detection and Diagnosis of Fugacious Hardware
Faults in VLSI Designs ........................................... 76
Jaime Espinosa, David de Andr´es, Juan-Carlos Ruiz, and Pedro Gil
GraphSeq Revisited: More Efficient Search for Patterns in Mobility
Traces.......................................................... 88
Pierre Andr´e, Nicolas Rivi`ere, and H´el`ene Waeselynck
Fault Injection and Benchmarking
Issues and Ongoing Work on State-Driven Workload Generation
for Distributed Systems........................................... 96
Roberto Natella and Fabio Scippacercola
X Table of Contents
Towards Benchmarking of Functional Safety in the Automotive
Industry ........................................................ 111
Mafijul Md. Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi,
Daniel Skarin, Jonny Vinter, Fredrik T¨orner, Andreas K¨ack,
Mattias Nyberg, Emilia Villani, Johan Haraldsson,
Patrik Isaksson, and Johan Karlsson
Fault Injection in the Automotive Standard ISO 26262: An Initial
Approach ....................................................... 126
Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun,
Michel Leeman, and Matthieu Roy
Dependable and Secure Computing
A GPS Spoofing Resilient WAMS for Smart Grid .................... 134
Alessia Garofalo, Cesario Di Sarno, Luigi Coppolino, and
Salvatore D’Antonio
A Dependable Alternative to the Spanning Tree Protocol ............. 148
Jo˜ao Lopes, Susana Sargento, and Andr´e Zu´quete
Understanding (Mis)Information Spreading for Improving Corporate
Network Trustworthiness.......................................... 165
Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna,
Luca Montanari, and Mara Sorella
Software Component Replication for Improved Fault-Tolerance: Can
Multicore ProcessorsMake It Work? ............................... 173
Jo˜ao Soares, Jo˜ao Louren¸co, and Nuno Preguic¸a
Fast Abstracts
GRIMACE: GeneRIc MetAmodel for Domain Component modElling ... 181
Rahma Bouaziz
Improving the Transfer of Safety and Security Competences to
Industry: The RISKY Approach ................................... 185
Joaqu´ın Gracia-Mora´n, Juan-Carlos Ruiz,
Juan-Carlos Baraza-Calvo, David de Andr´es, and
Pedro Gil
Towards Dependable Measurements in Coastal Sensors Networks....... 190
Gonc¸alo Jesus, Ant´onio Casimiro, and Anabela Oliveira
Open Challenges in the Resilience Evaluation of Ad Hoc Networks ..... 194
Miquel Mart´ınez, Jesu´s Friginal, David de Andr´es, and
Juan-Carlos Ruiz
Table of Contents XI
Using Interleaving to Avoid the Effects of Multiple Adjacent Faults
in On-Chip Interconnection Lines .................................. 198
Luis-J. Saiz-Adalid, Pedro Gil, Joaqu´ın Gracia-Mora´n, and
Juan-Carlos Baraza-Calvo
csXception(cid:2)R: First Steps to Provide Fault Injection for the
Development of Safe Systems in Automotive Industry ................ 202
Ricardo Barbosa, Nuno Silva, and Joa˜o M´ario Cunha
Author Index.................................................. 207
