A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks
AbstractWireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs. Hence, their effects need to be properly assessed before deployment, to obtain a good level of expected performance; and during the operation, in order to avoid dangerous unexpected results. In this paper, we propose a methodology that aims at assessing and improving the dependability level of WSNs by means of an event-based formal verification technique. The methodology includes a process to guide designers towards the realization of a dependable WSN and a tool (“ADVISES”) to simplify its adoption. The tool is applicable to homogeneous WSNs with static routing topologies. It allows the automatic generation of formal specifications used to check correctness properties and evaluate dependability metrics at design time and at runtime for WSNs where an acceptable percentage of faults can be defined. During the runtime, we can check the behavior of the WSN accordingly to the results obtained at design time and we can detect sudden and unexpected failures, in order to trigger recovery procedures. The effectiveness of the methodology is shown in the context of two case studies, as proof-of-concept, aiming to illustrate how the tool is helpful to drive design choices and to check the correctness properties of the WSN at runtime. Although the method scales up to very large WSNs, the applicability of the methodology may be compromised by the state space explosion of the reasoning model, which must be faced by partitioning large topologies into sub-topologies. View Full-Text
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Testa, A.; Cinque, M.; Coronato, A.; Augusto, J.C. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks. Sensors 2017, 17, 19.
Testa A, Cinque M, Coronato A, Augusto JC. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks. Sensors. 2017; 17(1):19.Chicago/Turabian Style
Testa, Alessandro; Cinque, Marcello; Coronato, Antonio; Augusto, Juan C. 2017. "A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks." Sensors 17, no. 1: 19.
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.