Modeling and Optimization of the IEEE 802.15.4 Protocol for Reliable and Timely Communications

Abstract

This is an author produced version of a paper published in IEEE Transactions on Parallel and Distributed Systems.This paper has been peer-reviewed but does not include the final publisher proofcorrections or proceedings pagination.© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Abstract-Distributed processing through ad hoc and sensor networks is having a major impact on scale and applications of computing. The creation of new cyber-physical services based on wireless sensor devices relies heavily on how well communication protocols can be adapted and optimized to meet quality constraints under limited energy resources. The IEEE 802.15.4 medium access control protocol for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by a parallel and distributed tuning of the medium access control parameters. Such a tuning is difficult, because simple and accurate models of the influence of these parameters on the probability of successful packet transmission, packet delay, and energy consumption are not available. Moreover, it is not clear how to adapt the parameters to the changes of the network and traffic regimes by algorithms that can run on resource-constrained devices. In this paper, a Markov chain is proposed to model these relations by simple expressions without giving up the accuracy. In contrast to previous work, the presence of limited number of retransmissions, acknowledgments, unsaturated traffic, packet size, and packet copying delay due to hardware limitations is accounted for. The model is then used to derive a distributed adaptive algorithm for minimizing the power consumption while guaranteeing a given successful packet reception probability and delay constraints in the packet transmission. The algorithm does not require any modification of the IEEE 802.15.4 medium access control and can be easily implemented on network devices. The algorithm has been experimentally implemented and evaluated on a test-bed with off-the-shelf wireless sensor devices. Experimental results show that the analysis is accurate, that the proposed algorithm satisfies reliability and delay constraints, and that the approach reduces the energy consumption of the network under both stationary and transient conditions. Specifically, even if the number of devices and traffic configuration change sharply, the proposed parallel and distributed algorithm allows the system to operate close to its optimal state by estimating the busy channel and channel access probabilities. Furthermore, results indicate that the protocol reacts promptly to errors in the estimation of the number of devices and in the traffic load that can appear due to device mobility. It is also sh...

A Pattern-Based Approach for Designing Reliable Cyber-Physical Systems

“…A very important part of the component composition is the connectivity between the different components and it can be either wired or wireless. Reliability in networks is the probability of successful packet reception [26]. Different network topologies such as star, hierarchical/tree or mesh networks affect the reliability of the network and of the system respectively.…”

A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Networks

“…We focus on a distributed solution where nodes control their parameter values independent of each other, which allows for heterogeneity among nodes. In [Park et al 2013] a distributed adaptive algorithm that minimizes power consumption, while guaranteeing a given successful packet reception probability and delay is proposed. It only considers the adaptation of the parameters of the IEEE 802.15.4 MAC.…”

Harmonizing MAC and routing in low power and lossy networks

“…The importance of a mathematical modeling of MAC protocol has been advocated in recent literature [6], [7]. In [6], a Markov chain model approach is used to provide a distributed adaptive algorithm for minimizing the power consumption of single hop star networks using the CAP of the IEEE 802.15.4 MAC, while guaranteeing a given successful packet reception probability and delay constraints. In [7], an automatic MAC protocol selection is proposed.…”