A process calculus for energy‐aware multicast communications of mobile ad hoc networks

Abstract

Energy conservation is a critical issue in mobile ad hoc networks (MANETs) for both nodes and network lifetime, as only batteries power nodes. In this paper, we present the E‐BUM calculus, an Energy‐aware calculus for Broadcast, Unicast and Multicast communications of MANETs. In order to reason about cost‐effective ad hoc routing protocols, our calculus captures the possibility for a node to control the transmission radius of its communications. We show how to use the E‐BUM calculus in order to prove some useful connectivity properties of MANETs, to control network topology and to reason about the problem of reducing interference. In particular, we formalize the notions of sender‐centred and receiver‐centred interference and provide efficient proof techniques for verifying the absence of interference between a specific set of nodes. Copyright © 2012 John Wiley & Sons, Ltd.

An Energy-Efficient T-Based Routing Topology for Target Tracking in Battery Operated Mobile Wireless Sensor Networks

“…However, it could not be used directly to WSNs due to the restrictions imposed by sensor nodes. For the analysis of mobile ad-hoc networks, a probabilistic, energy-aware broadcast calculus is proposed in [ 19 , 20 ] to enhance topology control and lessen interference. The formulation and analysis of the connectivity and energy consumption is a challenging research topic in MANET.…”

Connectivity and energy-aware preorders for mobile ad-hoc networks

“…Drawing on earlier work on the subject [11,14,25,29], in the present paper we introduce a calculus to provide a formal basis for the analysis of connectivity and the evaluation of energy consumption in MANETs.…”

“…Here we present a calculus, named Probabilistic EBUM, for formally reasoning about Energy-aware Broadcast, Unicast and Multicast communications of mobile adhoc networks. This is an extension of the EBUM calculus presented in [14,12,13] where probability distributions are used to describe the movements of nodes. Like its predecessor [14,5], our calculus is built around nodes, representing the devices of the systems, and locations, identifying the position cells across which each device may move inside the network.…”

“…Recently, in [42] the same authors propose a new version of their calculus built upon a stochastic mobility function to model the stochastic changes of connectivity. As in our works [12,11,14] broadcast actions are associated with the loca-tions of the intended recipients of the message. However, differently from our calculus, in [42] any notion of transmission radius is introduced and any performance analysis is considered.…”