Marco 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