The heuristic strategies for assessing wireless sensor network: an event-based formal approach
Article
Testa, A., Cinque, M., Coronato, A., De Pietro, G. and Augusto, J. 2015. The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics. 21 (2), pp. 145-175. https://doi.org/10.1007/s10732-014-9258-x
Type | Article |
---|---|
Title | The heuristic strategies for assessing wireless sensor network: an event-based formal approach |
Authors | Testa, A., Cinque, M., Coronato, A., De Pietro, G. and Augusto, J. |
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. |
Research Group | Research Group on Development of Intelligent Environments |
Publisher | Springer US |
Journal | Journal of Heuristics |
ISSN | 1381-1231 |
Publication dates | |
Online | 14 Aug 2014 |
01 Apr 2015 | |
Publication process dates | |
Deposited | 09 Feb 2016 |
Accepted | 24 Jul 2014 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | The final publication is available at Springer via http://dx.doi.org/10.1007/s10732-014-9258-x |
Additional information | First published online: 14 August 2014 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/s10732-014-9258-x |
Language | English |
https://repository.mdx.ac.uk/item/861z8
Download files
96
total views23
total downloads1
views this month4
downloads this month