Abstract
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
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Banks, J., Carson, J., Nelson, B.L., Nicol, D.: Discrete-Event System Simulation, 5th edn. Prentice Hall (2010)
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)
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)
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)
Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.L.: Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1), 13–28 (2012)
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)
Hansen, M.R., Rischel, H.: Functional Programming Using F#. Cambridge University Press (2013)
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)
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)
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)
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)
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)
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)
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)
Ö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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Phan, AD., Hansen, M.R., Madsen, J. (2014). EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. In: Iida, S., Meseguer, J., Ogata, K. (eds) Specification, Algebra, and Software. Lecture Notes in Computer Science, vol 8373. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54624-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-54624-2_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54623-5
Online ISBN: 978-3-642-54624-2
eBook Packages: Computer ScienceComputer Science (R0)