EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks
作者： Anh-Dung Phan , Michael R. Hansen , Jan Madsen
DOI: 10.1007/978-3-642-54624-2_26
关键词:
摘要: Although energy consumption of wireless sensor network has been studied extensively, we are far behind in understanding the dynamics power along with production using harvesters. We introduce Energy Harvesting Routing Analysis (EHRA) as a formal modelling framework to study networks (WSN) energy-harvesting capabilities. The purpose is analyze WSNs at high level abstraction, that is, before protocols implemented and WSN deployed. conceptual basis EHRA comprises environment, medium, computational physical components, it captures broad range energy-harvestingaware routing protocols. generic concepts captured by many-sorted signature, concrete specified corresponding algebras.
springer.com
core.ac.uk
sci-hub.st 参考文章(20)
Louis Mandel, Farid Benbadis, Simulation of Mobile Ad hoc Network Protocols in ReactiveML SLAP 2005 - 4th Workshop on Synchronous Languages, Applications, and Programming. ,(2005)
Michael R., Mikkel Koefoed, Jan Madse, A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks InTech. ,(2011) , 10.5772/26622
Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen, DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks 2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). pp. 1- 9 ,(2010) , 10.1109/WOWMOM.2010.5534899
Peter Csaba Ölveczky, Stian Thorvaldsen, Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude Theoretical Computer Science. ,vol. 410, pp. 254- 280 ,(2009) , 10.1016/J.TCS.2008.09.022
John S. Carson, Barry L. Nelson, David M. Nicol, Jerry Banks, Discrete-Event System Simulation ,(1995)
Farhan Simjee, Pai H. Chou, Everlast: long-life, supercapacitor-operated wireless sensor node international symposium on low power electronics and design. pp. 197- 202 ,(2006) , 10.1145/1165573.1165619
P. Derler, E. A. Lee, A. S. Vincentelli, Modeling Cyber–Physical Systems Proceedings of the IEEE. ,vol. 100, pp. 13- 28 ,(2012) , 10.1109/JPROC.2011.2160929
Peter Corke, Philip Valencia, Pavan Sikka, Tim Wark, Les Overs, Long-duration solar-powered wireless sensor networks Proceedings of the 4th workshop on Embedded networked sensors - EmNets '07. pp. 33- 37 ,(2007) , 10.1145/1278972.1278980
Aman Kansal, Dunny Potter, Mani B. Srivastava, Performance aware tasking for environmentally powered sensor networks Proceedings of the joint international conference on Measurement and modeling of computer systems - SIGMETRICS 2004/PERFORMANCE 2004. ,vol. 32, pp. 223- 234 ,(2004) , 10.1145/1005686.1005714
Joseph Polastre, David Culler, Xiaofan Jiang, Perpetual environmentally powered sensor networks information processing in sensor networks. pp. 463- 468 ,(2005) , 10.5555/1147685.1147765