Static worst-case energy and lifetime estimation of wireless sensor networks

With the advance of computer and communication technologies, wireless sensor networks (WSNs) are increasingly used in many aspects of our daily life. However, since the battery lifetime of WSN nodes is restricted, the WSN lifetime is also limited. Therefore, it is crucial to determine this limited lifetime in advance for preventing service interruptions in critical applications. This paper proposes a feasible static analysis approach to estimate the worst-case lifetime of a WSN. Assuming known routes with a given sensor network topology and S-MAC as the underlying MAC protocol, we statically estimate the lifetime of each sensor node with a fixed initial energy budget. These estimations are then compared with the results obtained through simulation which run with the same energy budget on each node. Experimental results of our research on TinyOS applications indicate that our approach can safely and accurately estimate the worst-case lifetime of WSNs. To the best of our knowledge, our work is the first one to estimate the worst-case lifetime of WSNs through static analysis method.

[1]  Maurizio Valle,et al.  Evaluating Energy Consumption in Wireless Sensor Networks Applications , 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).

[2]  Qin Wang,et al.  A Realistic Power Consumption Model for Wireless Sensor Network Devices , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[3]  Pavan Nuggehalli,et al.  Worst-Case Interactive Communication and Enhancing Sensor Network Lifetime , 2007, ArXiv.

[4]  Loren Schwiebert,et al.  Power efficient topologies for wireless sensor networks , 2001, International Conference on Parallel Processing, 2001..

[5]  Jens Palsberg,et al.  Nonintrusive precision instrumentation of microcontroller software , 2005, LCTES '05.

[6]  John Heidemann,et al.  MAC Stability in Sensor Networks at High Network Densities , 2007 .

[7]  Ting Chen,et al.  Efficient detection and exploitation of infeasible paths for software timing analysis , 2006, 2006 43rd ACM/IEEE Design Automation Conference.

[8]  Klaus Wehrle,et al.  Enabling Detailed Modeling and Analysis of Sensor Networks , 2005, PIK Prax. Informationsverarbeitung Kommun..

[9]  Xianfeng Li,et al.  Estimating the Worst-Case Energy Consumption of Embedded Software , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[10]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[11]  Bhaskar Krishnamachari,et al.  An adaptive energy-efficient and low-latency MAC for data gathering in wireless sensor networks , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[12]  Sharad Malik,et al.  Performance Analysis of Embedded Software Using Implicit Path Enumeration , 1995, 32nd Design Automation Conference.

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

[14]  Jens Palsberg,et al.  Avrora: scalable sensor network simulation with precise timing , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[15]  Weisong Shi,et al.  Modeling the Lifetime of Wireless Sensor Networks , 2005 .

[16]  S.A. Khan,et al.  Analyzing & Enhancing energy Efficient Communication Protocol for Wireless Micro-sensor Networks , 2005, 2005 International Conference on Information and Communication Technologies.

[17]  Ludovic Samper,et al.  Worst-case lifetime computation of a wireless sensor network by model-checking , 2007, PE-WASUN '07.

[18]  David B. Whalley,et al.  Timing analysis for sensor network nodes of the Atmega processor family , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[19]  Falko Dressler,et al.  On the lifetime of wireless sensor networks , 2009, TOSN.