Analysing and improving energy efficiency of distributed slotted Aloha

Authors:
Haidi Yue;Henrik Bohnenkamp;Malte Kampschulte;Joost-Pieter Katoen
Affiliations:
Dept. of Computer Science, RWTH Aachen University, Aachen, Germany;Dept. of Computer Science, RWTH Aachen University, Aachen, Germany;Dept. of Computer Science, RWTH Aachen University, Aachen, Germany;Dept. of Computer Science, RWTH Aachen University, Aachen, Germany
Venue:
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Year:
2011

Citing 10
Cited 2

Performance analysis of local computer networks

Performance analysis of local computer networks
On the accuracy of MANET simulators

Proceedings of the second ACM international workshop on Principles of mobile computing
The Möbius Framework and Its Implementation

IEEE Transactions on Software Engineering
ALOHA packet system with and without slots and capture

ACM SIGCOMM Computer Communication Review
On the Credibility of Manet Simulations

Computer
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems

IEEE Transactions on Software Engineering
Oblivious interference scheduling

Proceedings of the 28th ACM symposium on Principles of distributed computing
MOTOR: the MODEST tool environment

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Analyzing energy consumption in a gossiping MAC protocol

MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
The capacity of wireless networks

IEEE Transactions on Information Theory

mctau: bridging the gap between modest and UPPAAL

SPIN'12 Proceedings of the 19th international conference on Model Checking Software
A compositional modelling and analysis framework for stochastic hybrid systems

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is concerned with the formal modelling and simulative analysis of an energy-efficient MAC protocol for gossip-based wireless sensor networks. This protocol is a variant of classical slotted Aloha in which the number of active TDMA slots is dynamically changed depending on the number of neighbours of a node. We provide a formal model of this protocol, and analyse energy consumption under the signal-to-interference plus noise ratio (SINR) radio model. We propose an amendment of the distributed slotted Aloha protocol by a simple dynamic power assignment scheme, and show that this significantly reduces the energy consumption (30%) and speeds up the message transmission.