Preprint Article Version 1 NOT YET PEER-REVIEWED

A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks

  1. Middlesex University of London, UK
  2. University of Naples "Federico II", Italy
  3. CNR-ICAR, Italy
  4. Ministero dell’Economia e delle Finanze, Italy
Version 1 : Received: 11 November 2016 / Approved: 11 November 2016 / Online: 11 November 2016 (14:08:48 CET)

How to cite: Augusto, J.; Cinque, M.; Coronato, A.; Testa, A. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks. Preprints 2016, 2016110063 (doi: 10.20944/preprints201611.0063.v1). Augusto, J.; Cinque, M.; Coronato, A.; Testa, A. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks. Preprints 2016, 2016110063 (doi: 10.20944/preprints201611.0063.v1).

Abstract

Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs. Hence their effects need to be properly assessed before deployment to obtain a good level of expected performance and during the operation in order to avoid dangerous unexpected results. In this paper we propose a methodology to support design and deployment of dependable WSNs by means of an event-based formal verification technique. The methodology includes a process to guide designers towards the realization of a dependable WSN and a tool ("ADVISES") to simplify its adoption. The tool allows to generate automatically formal specifications used to check correctness properties and evaluate dependability metrics at design time and at runtime. During the runtime we can check the behavior of theWSN accordingly to the results obtained at design time and we can detect sudden and unexpected failures, in order to trigger recovery procedures. The effectiveness of the methodology is shown in the context of two case studies, aiming to illustrate how the tool is helpful to drive design choices and to check the correctness properties of theWSN at runtime

Subject Areas

Wireless Sensor Networks; Formal Methods; Dependability; Metrics; Modeling

Readers' Comments and Ratings (0)

Discuss and rate this article
Views 75
Downloads 63
Comments 0
Metrics 0
Discuss and rate this article

×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.