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
Are You Still There? " A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Gossiping in distributed systems
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
An Energy-Efficient TDMA Protocol for Clustered Wireless Sensor Networks
CCCM '08 Proceedings of the 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - Volume 02
TreeMAC: Localized TDMA MAC protocol for real-time high-data-rate sensor networks
PERCOM '09 Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
FM '09 Proceedings of the 2nd World Congress on Formal Methods
MOTOR: the MODEST tool environment
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Does clock precision influence ZigBee's energy consumptions?
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Analysing and improving energy efficiency of distributed slotted Aloha
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Synthesizing efficient controllers
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
| Hi-index | 0.00 |
In this paper, we analyze the energy-efficiency of a TDMA protocol (gMAC) for gossiping-based wireless sensor networks. In contrast to most schedule-based TDMA protocols, slot allocation in gMAC is decentralized, allowing adaptation to evolving network configurations. The protocol, modeled in the MoDeST language, is evaluated using the discrete-event simulator of the Möbius tool suite. We investigate the impact of collision-detection mechanisms, initiator positioning, and random silence on the gMAC energy efficiency. As a result, we find the number of active slots that optimize the trade-off between low energy consumption and fast information dissemination.