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 |
| Journal | Journal of Heuristics |
| ISSN | 1381-1231 |
| Publication dates | |
| Online | 14 Aug 2014 |
| 01 Apr 2015 | |
| Publication process dates | |
| Submitted | 30 Dec 2013 |
| Accepted | 24 Jul 2014 |
| Deposited | 09 Feb 2016 |
| Output status | Published |
| Accepted author manuscript | File Access Level Open |
| Copyright Statement | The final publication is available at Springer via http://dx.doi.org/10.1007/s10732-014-9258-x |
| Digital Object Identifier (DOI) | https://doi.org/10.1007/s10732-014-9258-x |
| Language | English |
https://repository.mdx.ac.uk/item/861z8
Download files
302
total views82
total downloads0
views this month0
downloads this month