Table of Cantents
Wireless Sensor Networks
Enhancing Intrusion Detection in Wireless Sensor Networks
through Decision Trees
...................................
Alessia Garofalo, Cesario Di Sarno, and Vale rio Formicola
1
Middleware Support for Adaptive Real-Time Applications in Wireless
Sensor Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
João Alves, António Casimiro, and Luís Marques
16
Cloud Computing and Services
Formal Analysis of Dynamic Domain Establishment Protocol in Cloud
Logging Service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Wei Hu and Dongyao Ji
Model-Driven Evaluation of User-Perceived
A ndreas Dittrich and Rafael Rezende
Service Availability
........
Exploiting SDN Approach to Tackle Cloud Computing Security Issues
in the ATC Scenario. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Gabriella Carrozza, Vittorio M anetti, Antonio M arotta,
Roberto Canonico, and Stefano A vallone
24
39
54
Testing and Fault Detection
Intercept: Profiling Windows Network Device Drivers . . . . . . . . . . . . . . . . .
Manuel Mendonça and Nuno Neves
61
The Challenge of Detection and Diagnosis of Fugacious Hardware
Faults in VLSI Designs .... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Jaime Espinosa, David de Andrés, Juan-Carlos Ruiz, and Pedra Gil
76
GraphSeq Revisited: More Efficient Search for Patterns in Mobility
Traces. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Pierre André, Nicolas Rioiêre, and Héléiie Waeselynck
88
Fault Injection and Benchmarking
Issues and Ongoing Work on State-Driven Workload Generation
for Distributed Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Roberto Natella and Fabio Scippacercola
96
X
Table of Contents
Towards Benchmarking of Functional Safety in the Automotive
Industry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Mafijul Md. Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi,
Daniel Skarin, Jonny Vinter, Fredrik Torne r, Andreas Kiick,
Mattias Nyberg, Emilia Villani, Johan Haraldsson,
Patrik Isaksson, and Johan Karlsson
Fault Injection in the Automotive Standard ISO 26262: An Initial
Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ludovic Pintard, J ean- Charles Febre, K aram a K anoun,
Michel Leeman, and M atthieu Roy
111
126
Dependable and Secure Computing
A GPS Spoofing Resilient WAMS for Smart Grid ... . . . . . . . . . . . . . . . . .
Alessia Carojalo, Cesario Di Sarno, Luigi Coppolino, and
Salvatore D 'A ntonio
134
A Dependable Alternative to the Spanning Tree Protocol
João Lopes, Susana Sargento, and André Zúquete
148
Understanding (Mis)Information Spreading for Improving Corporate
Network Trustworthíness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna,
Luca Montanari, and Mara Sorella
Software Component Replication for Improved Fault- Tolerance: Can
Multicore Processors Make It Work?
João Soares, João Lourenço, and Nuno Preguiça
165
173
Fast Abstracts
GRIMACE: GeneRIc MetAmodel
Rahma Bouaziz
for Domain Component
modlslling.
..
Improving the Transfer of Safety and Security Competences to
Industry: The RISKY Approach .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Joaquín Gracia-Morán,
Juan-Carlos
Ruiz,
Juan-Carlos Baraza-Calvo,
David de Andrés, and
Pedra Gil
181
185
Towards Dependable Measurements in Coastal Sensors Networks. . . . . . .
Gonçalo Jesus, António Casimiro, and Anabela Oliveira
190
Open Challenges in the Resilience Evaluation of Ad Hoc Networks
Miquel Martínez, Jesús Friginal, David de Andrés, and
Juan-Carlos Ruiz
194
Table of Contents
Using Interleaving to Avoid the Effects of Multiple Adjacent Faults
in On-Chip Interconnection Lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Luis-I, Saiz-Adalid, Pedra Gil, Joaquín Gracia-Morán, and
Juan- Carlos Baraza- Calvo
XI
198
csXception@: First Steps to Provide Fault Injection for the
Development of Safe Systems in Automotive Industry
Ricardo Barbosa, Nuno Silva, and João Mário Cunha
202
Author Index. . . . . . . . . . . .. . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
207