Abstract
The huge increase in the usage of mobile devices has led to the need of sophisticated optimization techniques in order to minimize energy wastage. In this paper we analyze energy consumption of mobile devices during the exchange of data, while walking in a WiFi network area, in order to study the dynamic of the power absorption. This analysis can be used in particular to develop suitable optimizations in case of poor signal. The analysis is obtained as an instance of the Abstract Interpretation framework for semantics-based software verification, and the results are validated by a preliminary real-case experimental evaluation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Azini, A.S., Kamarudin, M.R., Jusoh, M.: RSSI and throughput performances. Telecommun. Syst. 61(3), 569–577 (2016)
Barbon, G., Cortesi, A., Ferrara, P., Pistoia, M., Tripp, O.: Privacy analysis of android apps: implicit flows and quantitative analysis. In: Saeed, K., Homenda, W. (eds.) Computer Information Systems and Industrial Management. LNCS, vol. 9339, pp. 3–23. Springer, Heidelberg (2015). doi:10.1007/978-3-319-24369-6_1
Barbon, G., Cortesi, A., Ferrara, P., Steffinlongo, E.: DAPA: degradation-aware privacy analysis of android apps. In: Barthe, G., Markatos, E., Samarati, P. (eds.) Security and Trust Management. LNCS, vol. 9871, pp. 32–46. Springer, Heidelberg (2016). doi:10.1007/978-3-319-46598-2_3
Carroll, A., Heiser, G.: An analysis of power consumption in a smartphone. In: Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, pp. 21–21 (2010)
Chandra, R., Mahajan, R., Moscibroda, T., Raghavendra, R., Bahl, P.: A case for adapting channel width in wireless networks SIGCOMM. Comput. Commun. Rev. 38, 135–146 (2008)
Cortesi, A.: Widening operators for abstract interpretation. In: Proceedings of 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, pp. 31–40 (2008)
Cortesi, A., Costantini, G., Ferrara, P.: The abstract domain of trapezoid step functions. Comput. Lang. Syst. Struct. 43, 41–68 (2015)
Cortesi, A., Ferrara, P., Pistoia, M., Tripp, O.: Datacentric semantics for verification of privacy policy compliance by mobile applications. In: D’Souza, D., Lal, A., Larsen, K.G. (eds.) VMCAI 2015. LNCS, vol. 8931, pp. 61–79. Springer, Heidelberg (2015). doi:10.1007/978-3-662-46081-8_4
Cortesi, A., Logozzo, F.: Abstract interpretation-based verification of non-functional requirements. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 49–62. Springer, Heidelberg (2005). doi:10.1007/11417019_4
Cortesi, A., Dovier, A., Quintarelli, E., Tanca, L.: Operational and abstract semantics of the query language G-Log. Theoret. Comput. Sci. 275(1–2), 521–560 (2002)
Costantini, G., Ferrara, P., Cortesi, A.: A suite of abstract domains for static analysis of string values. Softw. Pract. Exper. 45(2), 245–287 (2015)
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238–252 (1977)
Ding, N., Wagner, D., Chen, X., Pathak, A., Hu, Y.C., Rice, A.: Characterizing and modeling the impact of wireless signal strength on smartphone battery drain. ACM SIGMETRICS Perform. Eval. Rev. 41, 29–40 (2013)
Huang, J., Qian, F., Gerber, A., Mao, Z., Morley, Z., Sen, S., Spatscheck, O.: A close examination of performance and power characteristics of 4G LTE networks. In: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services, pp. 225–238 (2012)
Halder, R., Cortesi, A.: Abstract interpretation of database query languages. Comput. Lang. Syst. Struct. 38(2), 123–157 (2012)
Kim, K.H., Min, A.W., Gupta, D., Mohapatra, P., Pal Singh, J.: Improving energy efficiency of Wi-Fi sensing on smartphones. In: 2011 Proceedings of INFOCOM, pp. 2930–2938. IEEE (2011)
Manweiler, J., Roy Choudhury, R.: Avoiding the rush hours: WiFi energy management via traffic isolation. In: Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services, pp. 253–266 (2011)
Pathak, A., Hu, Y.C., Zhang, M.: Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices. In: Proceedings of Hotnets 2011 (2011)
Ou, Z., Dong, S., Dong, J., Nurminen, J.K., Ylä-Jääski, A., Wang, R.: Characterize energy impact of concurrent network-intensive applications on mobile platforms. In: Proceedings of the Eighth ACM International Workshop on Mobility in the Evolving Internet Architecture, pp. 23–28 (2013)
Xiao, Y., Cui, Y., Savolainen, P., Siekkinen, M., Wang, A., Yang, L., Ylä-Jääski, A., Tarkoma, S.: Modeling energy consumption of data transmission over Wi-Fi. In: IEEE Transactions on Mobile Computing, pp. 1760–1773 (2014)
Zanioli, M., Ferrara, P., Cortesi, A.: SAILS: static analysis of information leakage ith sample. In: Proceedings of the ACM Symposium on Applied Computing, pp. 1308–1313. ACM Press (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Eugenio, E., Cortesi, A. (2017). WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation. In: Krishnan, P., Radha Krishna, P., Parida, L. (eds) Distributed Computing and Internet Technology. ICDCIT 2017. Lecture Notes in Computer Science(), vol 10109. Springer, Cham. https://doi.org/10.1007/978-3-319-50472-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-50472-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50471-1
Online ISBN: 978-3-319-50472-8
eBook Packages: Computer ScienceComputer Science (R0)