EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks

  • Anh-Dung Phan
  • Michael R. Hansen
  • Jan Madsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8373)


Although energy consumption of wireless sensor network has been studied extensively, we are far behind in understanding the dynamics of the power consumption along with energy production using harvesters. We introduce Energy Harvesting Routing Analysis (EHRA) as a formal modelling framework to study wireless sensor networks (WSN) with energy-harvesting capabilities. The purpose of the framework is to analyze WSNs at a high level of abstraction, that is, before the protocols are implemented and before the WSN is deployed. The conceptual basis of EHRA comprises the environment, the medium, computational and physical components, and it captures a broad range of energy-harvestingaware routing protocols. The generic concepts of protocols are captured by a many-sorted signature, and concrete routing protocols are specified by corresponding many-sorted algebras.

A first analysis tool for EHRA is developed as a simulator implemented using the functional programming language F#. This simulator is used to analyze global properties of WSNs such as network fragmentation, routing trends, and energy profiles for the nodes. Three routing protocols, with a progression in the energy-harvesting awareness, are analyzed on a network that is placed in a heterogeneous environment


Sensor Network Sensor Node Wireless Sensor Network Medium Access Control Computational State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Banks, J., Carson, J., Nelson, B.L., Nicol, D.: Discrete-Event System Simulation, 5th edn. Prentice Hall (2010)Google Scholar
  2. 2.
    Bulychev, P.E., David, A., Larsen, K.G., Mikucionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: Statistical model checking for priced timed automata. In: Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems. EPTCS, vol. 85, pp. 1–16 (2012)Google Scholar
  3. 3.
    Coleri, S., Ergen, M., Koo, T.J.: Lifetime analysis of a sensor network with hybrid automata modelling. In: Proceedings of the 1st ACM International Workshop on Wireless Sensor Networks and Applications, WSNA 2002, pp. 98–104. ACM (2002)Google Scholar
  4. 4.
    Corke, P., Valencia, P., Sikka, P., Wark, T., Overs, L.: Long-duration solar-powered wireless sensor networks. In: Proceedings of the 4th Workshop on Embedded Networked Sensors, EmNets 2007, pp. 33–37. ACM (2007)Google Scholar
  5. 5.
    Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1), 13–28 (2012)CrossRefGoogle Scholar
  6. 6.
    Hansen, M.R., Jakobsen, M.K., Madsen, J.: A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks. In: Sustainable Energy HarvestingTechnologies - Past, Present and Future, pp. 3–24. INTECH (2011)Google Scholar
  7. 7.
    Hansen, M.R., Rischel, H.: Functional Programming Using F#. Cambridge University Press (2013)Google Scholar
  8. 8.
    Intanagonwiwat, C., Govindan, R., Estrin, D., Heidemann, J., Silva, F.: Directed diffusion for wireless sensor networking. IEEE/ACM Transactions on Networking 11(1), 2–16 (2003)CrossRefGoogle Scholar
  9. 9.
    Jakobsen, M.K., Madsen, J., Hansen, M.R.: DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. In: Proceedings of the 2010 IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WOWMOM 2010, pp. 1–9. IEEE (2010)Google Scholar
  10. 10.
    Jiang, X., Polastre, J., Culler, D.: Perpetual environmentally powered sensor networks. In: Proceedings of the 4th International Symposium on Information Processing in Sensor Networks, IPSN 2005, pp. 463–468. IEEE (2005)Google Scholar
  11. 11.
    Kansal, A., Potter, D., Srivastava, M.B.: Performance aware tasking for environmentally powered sensor networks. In: Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2004/Performance 2004, pp. 223–234. ACM (2004)Google Scholar
  12. 12.
    Lin, L., Shroff, N.B., Srikant, R.: Asymptotically optimal energy-aware routing for multihop wireless networks with renewable energy sources. IEEE/ACM Transactions on Networking 15(5), 1021–1034 (2007)CrossRefGoogle Scholar
  13. 13.
    Mandel, L., Benbadis, F.: Simulation of mobile ad hoc network protocols in ReactiveML. In: Proceedings of Synchronous Languages, Applications, and Programming (SLAP 2005), Edinburgh, Scotland. Electronic Notes in Theoretical Computer Science (April 2005)Google Scholar
  14. 14.
    Moser, C., Thiele, L., Benini, L., Brunelli, D.: Real-time scheduling with regenerative energy. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems, ECRTS 2006, pp. 261–270. IEEE Computer Society (2006)Google Scholar
  15. 15.
    Ölveczky, P.C., Thorvaldsen, S.: Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theoretical Computer Science 410(2-3), 254–280 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Samper, L., Maraninchi, F., Mounier, L., Mandel, L.: GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks. In: Proceedings of the First International Conference on Integrated Internet Ad Hoc and Sensor Networks (InterSense 2006). ACM (2006)Google Scholar
  17. 17.
    Shah, R.C., Rabaey, J.M.: Energy aware routing for low energy ad hoc sensor networks. In: IEEE Wireless Communications and Networking Conference Record, pp. 350–355 (2002)Google Scholar
  18. 18.
    Simjee, F., Chou, P.H.: Everlast: Long-life, supercapacitor-operated wireless sensor node. In: Proceedings of the International Symposium on Low Power Electronics and Design, ISLPED 2006, pp. 197–202. ACM (2006)Google Scholar
  19. 19.
    Titzer, B.L., Lee, D.K., Palsberg, J.: Avrora: Scalable sensor network simulation with precise timing. In: Proceedings of the 4th International Symposium on Information Processing in Sensor Networks (IPSN 2005), pp. 477–482. IEEE (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Anh-Dung Phan
    • 1
  • Michael R. Hansen
    • 1
  • Jan Madsen
    • 1
  1. 1.DTU ComputeTechnical University of DenmarkDenmark

Personalised recommendations