Probabilistic Analysis of a Calculus for Wireless Sensor Networks

In the context of Wireless Sensor Networks (WSNs), the ability to detect an intrusion event is the most desired characteristic. Due to the randomness in nodes scheduling algorithm and sensor deployment, probabilistic techniques are used to analyze the detection properties of WSNs. However, traditional probabilistic analysis techniques, such as simulation and model checking, do not ensure accurate results, which is a severe limitation considering the mission-critical nature of most of the WSNs. In this chapter, the authors overcome these limitations by using higher-order-logic theorem proving to formally analyze the detection properties of randomly deployed WSNs using the randomized scheduling of nodes. Based on the probability theory, described in Chapters 5, they first formally reason about the intrusion period of any occurring event. This characteristic is then built upon to develop the fundamental formalizations of the key detection metrics: the detection probability and the detection delay. For illustration purposes, the authors formally analyze the detection performance of a WSN deployed for border security monitoring.

Download Full-text

Formal probabilistic analysis of detection properties in wireless sensor networks

Formal Aspects of Computing ◽

10.1007/s00165-014-0304-0 ◽

2014 ◽

Vol 27 (1) ◽

pp. 79-102 ◽

Cited By ~ 6

Author(s):

Maissa Elleuch ◽

Osman Hasan ◽

Sofiène Tahar ◽

Mohamed Abid

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Probabilistic Analysis ◽

Wireless Sensor

Download Full-text

Scenarios of Lifetime Extension Algorithms for Wireless Ad Hoc Networks

International journal of Computer Networks & Communications ◽

10.5121/ijcnc.2020.12606 ◽

2020 ◽

Vol 12 (6) ◽

pp. 83-97

Author(s):

Amir J. Majid

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Case Studies ◽

Wireless Ad Hoc Networks ◽

Probabilistic Analysis ◽

Ad Hoc ◽

Wireless Sensor ◽

Hoc Networks ◽

Extension Algorithms ◽

Lifetime Extension

An Algorithm to extend sensor lifetime and energy is implemented for different scenarios of ad hoc and wireless sensor networks. The goal is to prolong the lifetimes of sensors, covering a number of targeted zones by creating subsets of sensors, in which each subset covers entirely the targeted zones. Probabilistic analysis is assumed in which each sensor covers one or more targets, according to their coverage failure probabilities. Case studies of different sensor subsets arrangements are considered such as load switching, variable target load demands as well as a perturbation in sensor planner locations.

Download Full-text