{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T22:11:36Z","timestamp":1760220696198,"version":"build-2065373602"},"reference-count":45,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T00:00:00Z","timestamp":1363132800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/s130303473","type":"journal-article","created":{"date-parts":[[2013,3,13]],"date-time":"2013-03-13T12:14:49Z","timestamp":1363176889000},"page":"3473-3500","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":43,"title":["Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models"],"prefix":"10.3390","volume":"13","author":[{"given":"Ant\u00f4nio","family":"D\u00e2maso","sequence":"first","affiliation":[{"name":"Centre of Informatics, Federal University of Pernambuco, 50740-540, Recife, PE, Brazil"}]},{"given":"Davi","family":"Freitas","sequence":"additional","affiliation":[{"name":"Centre of Informatics, Federal University of Pernambuco, 50740-540, Recife, PE, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9374-6351","authenticated-orcid":false,"given":"Nelson","family":"Rosa","sequence":"additional","affiliation":[{"name":"Centre of Informatics, Federal University of Pernambuco, 50740-540, Recife, PE, Brazil"}]},{"given":"Bruno","family":"Silva","sequence":"additional","affiliation":[{"name":"Centre of Informatics, Federal University of Pernambuco, 50740-540, Recife, PE, Brazil"}]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[{"name":"Centre of Informatics, Federal University of Pernambuco, 50740-540, Recife, PE, Brazil"}]}],"member":"1968","published-online":{"date-parts":[[2013,3,13]]},"reference":[{"key":"ref_1","unstructured":"Chang, C.-C., Nagel, D., and Muftic, S. (October, January 8\u2013). Assessment of Energy Consumption in Wireless Sensor Networks: A Case Study for Security Algorithms. MASS, Pisa, Italy."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Hiltunen, J., Ala-Louko, M., and Taumberger, M. (2012). Experimental performance evaluation of POBICOS middleware for wireless sensor networks. Commun. Netw.","DOI":"10.5402\/2012\/180369"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"5809","DOI":"10.3390\/s100605809","article-title":"Power consumption analysis of operating systems for wireless sensor networks","volume":"10","author":"Lajara","year":"2010","journal-title":"Sensors"},{"key":"ref_4","first-page":"8","article-title":"Power measurements of Wireless Sensor Network node","volume":"1","author":"Shinghal","year":"2011","journal-title":"Int. J. Comput. Eng. Sci. (IJCES)"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Yeap, G. (1998). Practical Low Power Digital VLSI Design, Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4615-6065-4"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Jensen, K., and Kristensen, L. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer.","DOI":"10.1007\/b95112"},{"key":"ref_7","unstructured":"Jensen, K. (1995). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer Verlag."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems","volume":"9","author":"Jensen","year":"2007","journal-title":"Int. J. Softw. Tools Technol. Transfer."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Reisig, W., and Rozenberg, G. (1998). Lectures on Petri Nets I: Basic Models, Springer.","DOI":"10.1007\/3-540-65306-6"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Reisig, W., and Rozenberg, G. (1998). Lectures on Petri Nets I: Basic Models: Advances in Petri Nets., Springer.","DOI":"10.1007\/3-540-65306-6"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., and Macqueen, D. (1997). The Definition of Standard ML, MIT Press.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"ref_13","unstructured":"CPN Tools. Available online: http:\/\/cpntools.org\/ (accessed on 22 November 2012)."},{"key":"ref_14","unstructured":"Valmari, A. (July, January 24\u2013). Stubborn Set Methods for Process Algebras. New York, NY, USA."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF00625969","article-title":"Exploiting symmetry in temporal logic model checking","volume":"9","author":"Clarke","year":"1996","journal-title":"Form. Meth. Syst. Des."},{"key":"ref_16","unstructured":"Valmari, A. (1996). Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, Volumes Based on the Advanced Course on Petri Nets., Springer-Verlag."},{"key":"ref_17","unstructured":"Beyer, D. (2001). Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, Springer-Verlag."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Asmussen, S., and Glynn, P.W. (2007). Stochastic Simulation: Algorithms and Analysis, Springer.","DOI":"10.1007\/978-0-387-69033-9"},{"key":"ref_19","unstructured":"Haas, P. (2010). Stochastic Petri Nets: Modeling, Stability, Simulation, Springer."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/2.841788","article-title":"An integrated architecture for cooperative sensing networks","volume":"33","author":"Agre","year":"2000","journal-title":"Computer"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S1389-1286(01)00302-4","article-title":"Wireless sensor networks: A survey","volume":"38","author":"Akyildiz","year":"2002","journal-title":"Computer Networks"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/332833.332838","article-title":"Embedding the Internet: Wireless integrated network sensors","volume":"43","author":"Pottie","year":"2000","journal-title":"Commun. ACM"},{"key":"ref_23","unstructured":"Weber, W., Rabaey, J.M., and Aarts, E. Ambient Intelligence, Springer."},{"key":"ref_24","unstructured":"Wireless Module Iris: Iris Datasheet. Available online: http:\/\/www.memsic.com (accessed on 22 November 2012)."},{"key":"ref_25","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., and Culler, D. (, January May). The nesC Language: A Holistic Approach to Networked Embedded Systems. New York, NY, USA."},{"key":"ref_26","unstructured":"Available online: http:\/\/techpubs.sgi.com (accessed on 22 November 2012)."},{"key":"ref_27","unstructured":"Trivedi, K.S. (2002). Probability and Statistics with Reliability. Queuing and Computer Science Applications, John Wiley & Sons."},{"key":"ref_28","unstructured":"Tavares, E., Silva, B., and Maciel, P. (November, January 10\u2013). An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints. Cape Town, South Africa."},{"key":"ref_29","unstructured":"Titzer, B., Lee, D., and Palsberg, J. (April, January 25\u2013). Avrora: Scalable Sensor Network Simulation with Precise Timing. Los Angeles, CA, USA."},{"key":"ref_30","unstructured":"Somov, A., Minakov, I., Simalatsar, A., Fontana, G., and Passerone, R. (September, January 22\u2013). A Methodology for Power Consumption Evaluation of Wireless Sensor Networks. Mallorca, Spain."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1109\/TII.2011.2166793","article-title":"Power-aware system design of wireless sensor networks: Power estimation and power profiling strategies","volume":"7","author":"Haase","year":"2011","journal-title":"IEEE Tran. Indust. Inform."},{"key":"ref_32","unstructured":"Levis, P., Lee, N., Welsh, M., and Culler, D. (November, January 5\u2013). TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. New York, NY, USA."},{"key":"ref_33","unstructured":"Shareef, A., and Zhu, Y. (September, January 13\u2013). Energy Modelling of Wireless Sensor Nodes Based on Petri Nets. San Diego, CA, USA."},{"key":"ref_34","unstructured":"Available online: http:\/\/www.isi.edu\/nsnam\/ns (accessed on 15 September 2012)."},{"key":"ref_35","unstructured":"Chang, X. (December, January 5\u2013). Network Simulations with OPNET. Squaw Peak, Phoenix, AZ, USA."},{"key":"ref_36","unstructured":"Rusli, M., Harris, R., and Punchihewa, A. (November, January 21\u2013). Markov Chain-Based Analytical Model of Opportunistic Routing Protocol for Wireless Sensor Networks. Fukuoka, Japan."},{"key":"ref_37","unstructured":"Biswas, S., and Morris, R. (3, January 30). Opportunistic routing in multi-hop wireless networks. Portland, Oregon, USA. Volume 34."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"1290","DOI":"10.1109\/TPDS.2002.1158266","article-title":"An analytical model for information retrieval in wireless sensor networks using enhanced APTEEN protocol","volume":"13","author":"Manjeshwar","year":"2002","journal-title":"IEEE Trans. Parall. Distrib. Syst."},{"key":"ref_39","unstructured":"Heinzelman, W. (2000). Application-Specific Protocol Architectures for Wireless Networks. [Ph.D. Thesis, Massachusetts Institute of Technology]."},{"key":"ref_40","unstructured":"Heinzelman, W., Chandrakasan, A., and Balakrishnan, H. (January, January 4\u2013). Energy-Efficient Communication Protocol for Wireless Microsensor Networks. Island of Maui, Hawaii, USA."},{"key":"ref_41","unstructured":"Manjeshwar, A., and Agrawal, D. (April, January 15\u2013). APTEEN: A Hybrid Protocol for Efficient Routing and Comprehensive Information Retrieval in Wireless Sensor Networks. Fort Lauderdale, FL, USA."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"1628","DOI":"10.1002\/wcm.1229","article-title":"A wireless sensor network for precision agriculture and its performance","volume":"12","author":"Sahota","year":"2011","journal-title":"Wirel. Commun. Mobile Comput."},{"key":"ref_43","unstructured":"Lin, P., Qiao, C., and Wang, X. (March, January 21\u2013). Medium Access Control with a Dynamic Duty Cycle for Sensor Networks. Atlanta, GA, USA."},{"key":"ref_44","unstructured":"Cano, C., Bellalta, B., Barcelo, J., Oliver, M., and Sfairopoulou, A. (September, January 7\u2013). Analytical Model of the LPL with Wake up after Transmissions MAC Protocol for WSNs. Siena, Italy."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MM.2002.1134340","article-title":"Mica: A wireless platform for deeply embedded networks","volume":"22","author":"Hill","year":"2002","journal-title":"IEEE Micro"}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/13\/3\/3473\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:45:30Z","timestamp":1760219130000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/13\/3\/3473"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,13]]},"references-count":45,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2013,3]]}},"alternative-id":["s130303473"],"URL":"https:\/\/doi.org\/10.3390\/s130303473","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2013,3,13]]}}}