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: https://orcid.org/0000-0002-0321-9150 (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)

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

281Downloads

6 month trend

967Hits

Additional statistics are available via IRStats2.