Dependable Computing

1. Front Matter

   PDF

2. Wireless Sensor Networks

   1. Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees

      • Alessia Garofalo, Cesario Di Sarno, Valerio Formicola

      Pages 1-15

   2. Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks

      • João Alves, António Casimiro, Luís Marques

      Pages 16-23

3. Cloud Computing and Services

   1. Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service

      • Wei Hu, Dongyao Ji

      Pages 24-38

   2. Model-Driven Evaluation of User-Perceived Service Availability

      • Andreas Dittrich, Rafael Rezende

      Pages 39-53

   3. Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario

      • Gabriella Carrozza, Vittorio Manetti, Antonio Marotta, Roberto Canonico, Stefano Avallone

      Pages 54-60

4. Testing and Fault Detection

   1. Intercept: Profiling Windows Network Device Drivers

      • Manuel Mendonça, Nuno Neves

      Pages 61-75

   2. The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs

      • Jaime Espinosa, David de Andrés, Juan-Carlos Ruiz, Pedro Gil

      Pages 76-87

   3. GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces

      • Pierre André, Nicolas Rivière, Hélène Waeselynck

      Pages 88-95

5. Fault Injection and Benchmarking

   1. Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems

      • Roberto Natella, Fabio Scippacercola

      Pages 96-110

   2. Towards Benchmarking of Functional Safety in the Automotive Industry

      • Mafijul Md. Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi, Daniel Skarin, Jonny Vinter, Fredrik Törner et al.

      Pages 111-125

   3. Fault Injection in the Automotive Standard ISO 26262: An Initial Approach

      • Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy

      Pages 126-133

6. Dependable and Secure Computing

   1. A GPS Spoofing Resilient WAMS for Smart Grid

      • Alessia Garofalo, Cesario Di Sarno, Luigi Coppolino, Salvatore D’Antonio

      Pages 134-147

   2. A Dependable Alternative to the Spanning Tree Protocol

      • João Lopes, Susana Sargento, André Zúquete

      Pages 148-164

   3. Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness

      • Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna, Luca Montanari, Mara Sorella

      Pages 165-172

   4. Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work?

      • João Soares, João Lourenço, Nuno Preguiça

      Pages 173-180

7. Fast Abstracts

   1. GRIMACE: GeneRIc MetAmodel for Domain Component modElling

      • Rahma Bouaziz

      Pages 181-184

   2. 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, Pedro Gil

      Pages 185-189

   3. Towards Dependable Measurements in Coastal Sensors Networks

      • Gonçalo Jesus, António Casimiro, Anabela Oliveira

      Pages 190-193

   4. Open Challenges in the Resilience Evaluation of Ad Hoc Networks

      • Miquel Martínez, Jesús Friginal, David de Andrés, Juan-Carlos Ruiz

      Pages 194-197

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.

• Department of Informatics Engineering, Polo II, University of Coimbra, Coimbra, Portugal

  Marco Vieira

• Coimbra Institute of Engineering, Polytechnic Institute of Coimbra, Coimbra, Portugal

  João Carlos Cunha

Policies and ethics