Analysing and Improving Energy Efficiency of Distributed Slotted Aloha

  • Haidi Yue
  • Henrik Bohnenkamp
  • Malte Kampschulte
  • Joost-Pieter Katoen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6869)


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.


WSNs Aloha formal modelling SINR simulation energy 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andel, T.R., Yasinac, A.: On the credibility of MANET simulations. IEEE Computer 39(7), 48–54 (2006)CrossRefGoogle Scholar
  2. 2.
    Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J.-P., Vi Lam, V., Sanders, B.: On integrating the Möbius and MoDeST modeling tools. In: Proceedings of the 2003 International Conference on Dependable Systems and Networks, vol. 4424. IEEE Computer Society Press, Los Alamitos (2003)Google Scholar
  3. 3.
    Bohnenkamp, H., D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Trans. on Software Engineering 32(10), 812–830 (2006)CrossRefGoogle Scholar
  4. 4.
    Bohnenkamp, H., Hermanns, H., Katoen, J.-P.: Motor: The MoDeST tool environment. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 500–504. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of MANET simulators. In: ACM Workshop on Principles of Mobile Computing, pp. 38–43 (2002)Google Scholar
  6. 6.
    Chen, Z., Khokhar, A.: Self organization and energy efficient TDMA MAC protocol by wake up for wireless sensor networks. In: Sensor and Ad Hoc Communications and Networks, pp. 335–341 (2004)Google Scholar
  7. 7.
    Deavours, D.D., Clark, G., Courtney, T., Daly, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The Möbius framework and its implementation. IEEE Trans. on Software Engineering 28(10), 956–969 (2002)CrossRefGoogle Scholar
  8. 8.
    Fanghänel, A., Kesselheim, T., Räcke, H., Vöcking, B.: Oblivious interference scheduling. In: ACM Symposium on Principles of Distributed Computing (PODC), pp. 220–229 (2009)Google Scholar
  9. 9.
    Hammond, J.L., O’Reilly, P.J.P.: Performance Analysis of Local Computer Networks. Addison-Wesley, Reading (1986)Google Scholar
  10. 10.
    Jongerden, M.R., Mereacre, A., Bohnenkamp, H., Haverkort, B.R., Katoen, J.-P.: Computing optimal schedules for battery usage in embedded systems. IEEE Trans. Industrial Informatics 6, 276–286 (2010)CrossRefGoogle Scholar
  11. 11.
    Gupta, P., Kumar, P.R.: The capacity of wireless networks. IEEE Transactions on Information Theory 46, 338–404 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Rashid, R.A., Mohd, W., Ehsan, A., Embong, W., Zaharim, A., Fisal, N.: Development of energy aware TDMA-Based MAC protocol for wireless sensor network system. European J. of Scientific Research, 571–578 (2009)Google Scholar
  13. 13.
    Roberts, L.G.: Aloha packet system with and without slots and capture. ACM SIGCOMM Computer Communication Review 5, 28–42 (1975)CrossRefGoogle Scholar
  14. 14.
    Nordic Semiconductors. nRF2401 Single-chip 2.4GHz Transceiver Data Sheet (2002)Google Scholar
  15. 15.
    Yue, H., Bohnenkamp, H., Katoen, J.-P.: Analyzing energy consumption in a gossiping MAC protocol. In: Müller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds.) MMB&DFT 2010. LNCS, vol. 5987, pp. 107–119. Springer, Heidelberg (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Haidi Yue
    • 1
  • Henrik Bohnenkamp
    • 1
  • Malte Kampschulte
    • 1
  • Joost-Pieter Katoen
    • 1
  1. 1.Software Modeling & Verification Dept. of Computer Science 2RWTH Aachen UniversityAachenGermany

Personalised recommendations