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

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos ORCID logoORCID: (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 [Article] (doi:10.1007/s10732-014-9258-x)

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


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
Useful Links:
Depositing User: Juan Augusto
Date Deposited: 09 Feb 2016 16:11
Last Modified: 29 Nov 2022 22:54

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.