Power consumption is the main concern in developing Wireless Sensor Network (WSN) applications. Consequently, several strategies have been proposed for investigating the power consumption of this kind of application. These strategies can help to predict the WSN lifetime, provide recommendations to application developers and may optimize the energy consumed by the WSN applications. While measurement is a known and precise strategy for power consumption evaluation, it is very costly, tedious and may be unfeasible considering the (usual) large number of WSN nodes. Furthermore, due to the inherent dynamism of WSNs, the instrumentation required by measurement techniques makes difficult their use in several different scenarios. In this context, this paper presents an approach for evaluating the power consumption of WSN applications by using simulation models along with a set of tools to automate the proposed approach. Starting from a programming language code, we automatically generate consumption models used to predict the power consumption of WSN applications. In order to evaluate the proposed approach, we compare the results obtained by using the generated models against ones obtained by measurement.
References
[1]
Chang, C.-C.; Nagel, D.; Muftic, S. Assessment of Energy Consumption in Wireless Sensor Networks: A Case Study for Security Algorithms. Proceedings of IEEE International Conference on Mobile Ad hoc and Sensor Systems, MASS, Pisa, Italy, 8– 11 October 2007; pp. 1–6.
[2]
Hiltunen, J.; Ala-Louko, M.; Taumberger, M. Experimental performance evaluation of POBICOS middleware for wireless sensor networks. Commun. Netw. 2012, doi:10.5402/2012/180369.
[3]
Lajara, R.; Pelegrí-Sebastiá, J.; Solano, J.J.P. Power consumption analysis of operating systems for wireless sensor networks. Sensors 2010, 10, 5809–5826.
[4]
Shinghal, K.; Noor, A.; Srivastava, N.; Singh, R. Power measurements of Wireless Sensor Network node. Int. J. Comput. Eng. Sci. (IJCES) 2011, 1, 8–13.
[5]
Yeap, G. Practical Low Power Digital VLSI Design; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1998.
[6]
Jensen, K.; Kristensen, L. Coloured Petri Nets: Modelling and Validation of Concurrent Systems; Springer: New York, NY, USA, 2009.
[7]
Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use; Springer Verlag: London, UK, 1995; Volume 2.
[8]
Jensen, K.; Kristensen, L.; Wells, L. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer. 2007, 9, 213–254.
[9]
Murata, T. Petri nets: Properties, analysis and applications. Proc. IEEE 1989, 77, 541–580.
[10]
Silva, M.; Terue, E.; Colom, J. Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. In Lectures on Petri Nets I: Basic Models; Reisig, W., Rozenberg, G., Eds.; Springer: Berlin/Heidelberg, Germany, 1998; pp. 309–373.
[11]
Desel, J.; Reisig, W. Place/Transition Petri Nets. In Lectures on Petri Nets I: Basic Models: Advances in Petri Nets.; Reisig, W., Rozenberg, G., Eds.; Springer: Berlin/Heidelberg, Germany, 1998; pp. 122–173.
[12]
Milner, R.; Tofte, M.; Macqueen, D. The Definition of Standard ML; MIT Press: Cambridge, MA, USA, 1997.
[13]
CPN Tools. Available online: http://cpntools.org/ (accessed on 22 November 2012).
[14]
Valmari, A. Stubborn Set Methods for Process Algebras. Proceedings of the DIMACS Workshop on Partial Order Methods in Verification, New York, NY, USA, 24– 26 July 1997; pp. 213–231.
[15]
Clarke, E.; Enders, R.; Filkorn, T.; Jha, S. Exploiting symmetry in temporal logic model checking. Form. Meth. Syst. Des. 1996, 9, 77–104.
[16]
Valmari, A. The State Explosion Problem. In Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, Volumes Based on the Advanced Course on Petri Nets.; Springer-Verlag: London, UK, 1996; pp. 429–528.
[17]
Beyer, D. Improvements in BDD-Based Reachability Analysis of Timed Automata. In Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity; Springer-Verlag: London, UK, 2001; pp. 318–343.
[18]
Asmussen, S.; Glynn, P.W. Stochastic Simulation: Algorithms and Analysis; Springer: New York, NY, USA, 2007.
[19]
Haas, P. Stochastic Petri Nets: Modeling, Stability, Simulation; Springer: New York, NY, USA, 2010.
[20]
Agre, J.; Clare, L. An integrated architecture for cooperative sensing networks. Computer 2000, 33, 106–108.
[21]
Akyildiz, I.; Su, W.; Sankarasubramaniam, Y.; Cayirci, E. Wireless sensor networks: A survey. Computer Networks 2002, 38, 393–422.
Levis, P.; Madden, S.; Polastre, J.; Szewczyk, R.; Whitehouse, K.; Woo, A.; Gay, D.; Hill, J.; Welsh, M.; Brewer, E.; Culler, D. TinyOS: An Operating System for Sensor Networks. In Ambient Intelligence; Weber, W., Rabaey, J.M., Aarts, E., Eds.; Springer: Berlin/Heidelberg, Germany; pp. 115–148.
[24]
MEMSIC. Wireless Module Iris: Iris Datasheet. Available online: http://www.memsic.com (accessed on 22 November 2012).
[25]
Gay, D.; Levis, P.; von Behren, R.; Welsh, M.; Brewer, E.; Culler, D. The nesC Language: A Holistic Approach to Networked Embedded Systems. Proceedings of the Conference on Programming Language Design and Implementation, ACM SIGPLAN, New York, NY, USA, May 2003; pp. 1–11.
[26]
Silicon Graphics Inc. C Language Reference Manual. SGI？, Document Number: 007–0701–150, Available online: http://techpubs.sgi.com (accessed on 22 November 2012).
[27]
Trivedi, K.S. Probability and Statistics with Reliability. Queuing and Computer Science Applications; John Wiley & Sons: New York, NY, USA, 2002.
[28]
Tavares, E.; Silva, B.; Maciel, P. An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. Proceedings of Sixth IEEE International Conference on Software Engineering and Formal Methods, (SEFM 08), Cape Town, South Africa, 10– 14 November 2008; pp. 291–300.
[29]
Titzer, B.; Lee, D.; Palsberg, J. Avrora: Scalable Sensor Network Simulation with Precise Timing. Fourth International Symposium on Information Processing in Sensor Networks (IPSN), Los Angeles, CA, USA, 25– 27 April 2005; pp. 477–482.
[30]
Somov, A.; Minakov, I.; Simalatsar, A.; Fontana, G.; Passerone, R. A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. Proceedings of IEEE Conference on Emerging Technologies Factory Automation, (ETFA), Mallorca, Spain, 22– 26 September 2009; pp. 1–8.
[31]
Haase, J.; Molina, J.; Dietrich, D. Power-aware system design of wireless sensor networks: Power estimation and power profiling strategies. IEEE Tran. Indust. Inform. 2011, 7, 601–613.
[32]
Levis, P.; Lee, N.; Welsh, M.; Culler, D. TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, New York, NY, USA, 5– 7 November 2003; pp. 126–137.
[33]
Shareef, A.; Zhu, Y. Energy Modelling of Wireless Sensor Nodes Based on Petri Nets. Proceedings of the 39th International Conference on Parallel Processing (ICPP), San Diego, CA, USA, 13– 16 September 2010; pp. 101–110.
[34]
ISI. The Network Simulator—NS2; University of Southern California: Los Angeles, CA, USA. Available online: http://www.isi.edu/nsnam/ns (accessed on 15 September 2012).
[35]
Chang, X. Network Simulations with OPNET. Proceedings of the 1999 Winter Simulation Conference, Squaw Peak, Phoenix, AZ, USA, 5– 8 December 1999; pp. 307–314.
[36]
Rusli, M.; Harris, R.; Punchihewa, A. Markov Chain-Based Analytical Model of Opportunistic Routing Protocol for Wireless Sensor Networks. Proceedings of IEEE Region 10 Conference TENCON 2010, Fukuoka, Japan, 21– 24 November 2010; pp. 257–262.
[37]
Biswas, S.; Morris, R. Opportunistic routing in multi-hop wireless networks. Computer Communication Review, ACM SIGCOMM, Portland, Oregon, USA, 30 August– 3 September 2004. Volume 34; pp. 69–74.
[38]
Manjeshwar, A.; Zeng, Q.-A.; Agrawal, D. An analytical model for information retrieval in wireless sensor networks using enhanced APTEEN protocol. IEEE Trans. Parall. Distrib. Syst. 2002, 13, 1290–1302.
[39]
Heinzelman, W. Application-Specific Protocol Architectures for Wireless Networks. Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2000.
[40]
Heinzelman, W.; Chandrakasan, A.; Balakrishnan, H. Energy-Efficient Communication Protocol for Wireless Microsensor Networks. Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), Island of Maui, Hawaii, USA, 4– 7 January 2000; pp. 3005–3014.
[41]
Manjeshwar, A.; Agrawal, D. APTEEN: A Hybrid Protocol for Efficient Routing and Comprehensive Information Retrieval in Wireless Sensor Networks. Proceedings of International Parallel and Distributed Processing Symposium (IPDPS), Fort Lauderdale, FL, USA, 15– 19 April 2002; pp. 195–202.
[42]
Sahota, H.; Kumar, R.; Kamal, A. A wireless sensor network for precision agriculture and its performance. Wirel. Commun. Mobile Comput. 2011, 12, 1628–1645.
[43]
Lin, P.; Qiao, C.; Wang, X. Medium Access Control with a Dynamic Duty Cycle for Sensor Networks. Proceedings of IEEE Wireless Communications and Networking Conference (WCNC), Atlanta, GA, USA, 21– 25 March 2004; pp. 1534–1539.
[44]
Cano, C.; Bellalta, B.; Barcelo, J.; Oliver, M.; Sfairopoulou, A. Analytical Model of the LPL with Wake up after Transmissions MAC Protocol for WSNs. Proceedings of 6th International Symposium on Wireless Communication Systems (ISWCS), Siena-Tuscany, University of Siena, Siena, Italy, 7– 10 September 2009; pp. 146–150.
[45]
Hill, J.; Culler, D. Mica: A wireless platform for deeply embedded networks. IEEE Micro 2002, 22, 12–24.
