EAVS: Energy aware virtual sensing for wireless sensor networks

In order to extend the operational span of wireless sensor networks, we propose to trade energy consumption for average response time by extending the deactivation periods of sensors with a particularly high energy consumption. To compensate for the temporal inavailability of these sensors, alternative, low-power hybrid sensors generate estimates on the probabilities of the occurrence of interesting events, waking up the corresponding main sensor when detection probability justifies it. We demonstrate the principle on a case study of gas detection and analyze its efficiency formally using probabilistic model checking, which is able to compute probabilistic quantified properties pertaining to energy consumption, lifetime expectancy, and response time. The preliminary results confirm significant savings in energy consumption while retaining an acceptable average response time.

[1]  Gang Wang,et al.  A New Approach to Sensor Node Localization Using RSS Measurements in Wireless Sensor Networks , 2011, IEEE Transactions on Wireless Communications.

[2]  Edward Y. Chang,et al.  Adaptive sampling for sensor networks , 2004, DMSN '04.

[3]  Gang Zhang,et al.  The network nodes design of gas wireless sensor monitor , 2011, 2011 Second International Conference on Mechanic Automation and Control Engineering.

[4]  Carlos F. García-Hernández,et al.  Wireless Sensor Networks and Applications: a Survey , 2007 .

[5]  Partha Roy,et al.  Energy Saving Methods in Wireless Sensor Networks , 2008 .

[6]  Roberto Passerone,et al.  Development of wireless sensor network for combustible gas monitoring , 2011 .

[7]  Qi Han,et al.  Journal of Network and Systems Management ( c ○ 2007) DOI: 10.1007/s10922-007-9062-0 A Survey of Fault Management in Wireless Sensor Networks , 2022 .

[8]  Jun Pang,et al.  Comparative Analysis of Clustering Protocols with Probabilistic Model Checking , 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

[9]  Zheng Xiaodan,et al.  An Energy Effective Adaptive Spatial Sampling Algorithm for Wireless Sensor Networks , .

[10]  J. V. Stafford,et al.  How wireless will change agriculture. , 2007 .

[11]  D. Diamond,et al.  Evaluation of a low cost wireless chemical sensor network for environmental monitoring , 2008, 2008 IEEE Sensors.

[12]  Dario Pompili,et al.  Underwater acoustic sensor networks: research challenges , 2005, Ad Hoc Networks.

[13]  Mario Di Francesco,et al.  Energy conservation in wireless sensor networks: A survey , 2009, Ad Hoc Networks.

[14]  Panos J. Antsaklis,et al.  Wireless Sensor Networks for Structural Health Monitoring: A Multi-Scale Approach , 2006 .

[15]  Dimitrios Gunopulos,et al.  Region Sampling: Continuous Adaptive Sampling on Sensor Networks , 2008, 2008 IEEE 24th International Conference on Data Engineering.

[16]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[17]  Laurence Tianruo Yang,et al.  Fuzzy Logic with Engineering Applications , 1999 .

[18]  Ian F. Akyildiz,et al.  Wireless sensor networks: a survey , 2002, Comput. Networks.

[19]  Joel J. P. C. Rodrigues,et al.  Wireless Sensor Networks: a Survey on Environmental Monitoring , 2011, J. Commun..

[20]  Philip S. Yu,et al.  ASAP: An Adaptive Sampling Approach to Data Collection in Sensor Networks , 2007, IEEE Transactions on Parallel and Distributed Systems.

[21]  Joost-Pieter Katoen,et al.  A Markov reward model checker , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

[22]  Sandeep K. Shukla,et al.  Using probabilistic model checking for dynamic power management , 2005, Formal Aspects of Computing.