Top

Published in:

2017 | OriginalPaper | Chapter

WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation

Authors : Enrico Eugenio, Agostino Cortesi

Published in: Distributed Computing and Internet Technology

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Gathering Multiple Robots in a Ring and an Infinite Grid

next chapter A Collision of Beliefs: Investigating Linguistic Features for Religious Conflicts Identification on Tumblr

https://telegram.org/.

Azini, A.S., Kamarudin, M.R., Jusoh, M.: RSSI and throughput performances. Telecommun. Syst. 61(3), 569–577 (2016)CrossRef

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 CrossRef

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 CrossRef

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)CrossRef

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 CrossRef

10.

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)MathSciNetCrossRefMATH

11.

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)CrossRef

12.

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)

13.

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)CrossRef

14.

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)

15.

Halder, R., Cortesi, A.: Abstract interpretation of database query languages. Comput. Lang. Syst. Struct. 38(2), 123–157 (2012)MATH

16.

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)

17.

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)

18.

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)

19.

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)

20.

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)

21.

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)

Title: WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation
Authors: Enrico Eugenio
Agostino Cortesi
Publisher: Springer International Publishing
Book: Distributed Computing and Internet Technology
Print ISBN: 978-3-319-50471-1

Electronic ISBN: 978-3-319-50472-8

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-50472-8_3

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner