The heuristic strategies for assessing wireless sensor network: an event-based formal approach

Testa, Alessandro and Cinque, Marcello and Coronato, Antonio and De Pietro, Giuseppe and Augusto, Juan Carlos (2015) The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics, 21 (2). pp. 145-175. ISSN 1381-1231

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (675kB) | Preview

Abstract

Wireless Sensor Networks (WSNs) are increasingly being adopted in critical applications. In these networks undesired events may undermine the reliability level; thus their effects need to be properly assessed from the early stages of the development process onwards to minimize the chances of unexpected problems during use. In this paper we propose two heuristic strategies: what-if analysis and robustness checking. They allow to drive designers towards optimal WSN deployment solutions, from the point of view of the connection and data delivery resiliency, exploiting a formal approach based on the event calculus formal language. The heuristics are backed up by a support tool aimed to simplify their adoption by system designers. The tool allows to specify the target WSN in a user-friendly way and it is able to elaborate the two heuristic strategies by means of the event calculus specifications automatically generated. The WSN reliability is assessed computing a set of specific metrics. The effectiveness of the strategies is shown in the context of three case studies.

Item Type: Article
Additional Information: First published online: 14 August 2014
Research Areas: A. > School of Science and Technology > Computer Science > Intelligent Environments group
Item ID: 18840
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/s10732-014-9258-x
Useful Links:
Depositing User: Juan Augusto
Date Deposited: 09 Feb 2016 16:11
Last Modified: 05 Sep 2018 20:40
URI: http://eprints.mdx.ac.uk/id/eprint/18840

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year