Configuration of Sensor Networks by Energy Minimisation

Recent advances in wireless sensor networks have led to many new protocols specifically designed for sensor networks where energy awareness is an essential consideration. Attention has been mostly directed towards routing protocols. These protocols generally implement a view embracing a local energy reserve. This paper presents an algorithm for determining optimal paths connecting sensor nodes to the sink. These optimal paths contribute to minimizing intermediate hops and consider a global energy reserve. Most of these sensor networks will require application specific functionalities and performance requirements because of the wide range of their applications. Modelling sensor network behaviour before implementation and deployment is therefore crucial to programming efficiently the network application and to validating all its protocols. Existing works suffer from the problem of insufficient formal models for sensor network validations. Such models enable formal verification of all sensor network properties prior to deployment. This paper will also present a formal model representing sensor network behaviour.

[1]  David E. Culler,et al.  Telos: enabling ultra-low power wireless research , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[2]  R. G. Ogier.  Efficient routing protocols for packet-radio networks based on tree sharing , 1999, 1999 IEEE International Workshop on Mobile Multimedia Communications (MoMuC'99) (Cat. No.99EX384).

[3]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[4]  Ramesh Govindan,et al.  Networking support for query processing in sensor networks , 2004, CACM.

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

[6]  Anantha P. Chandrakasan,et al.  An architecture for a power-aware distributed microsensor node , 2000, 2000 IEEE Workshop on SiGNAL PROCESSING SYSTEMS. SiPS 2000. Design and Implementation (Cat. No.00TH8528).

[7]  Jan M. Rabaey,et al.  PicoRadio Supports Ad Hoc Ultra-Low Power Wireless Networking , 2000, Computer.

[8]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[9]  Andrzej Duda,et al.  Micro-Frame Preamble MAC for Multihop Wireless Sensor Networks , 2006, 2006 IEEE International Conference on Communications.

[10]  M. S. Corson,et al.  A highly adaptive distributed routing algorithm for mobile wireless networks , 1997, Proceedings of INFOCOM '97.

[11]  Philippe Jacquet,et al.  Optimized Link State Routing Protocol (OLSR) , 2003, RFC.

[12]  Anantha Chandrakasan,et al.  Low-power wireless sensor networks , 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.

[13]  Anantha Chandrakasan,et al.  Energy-scalable algorithms and protocols for wireless microsensor networks , 2000, 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100).

[14]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.