nach oben

Erschienen in:

2017 | OriginalPaper | Buchkapitel

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

verfasst von : Enrico Eugenio, Agostino Cortesi

Erschienen in: Distributed Computing and Internet Technology

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Gathering Multiple Robots in a Ring and an Infinite Grid

Nächstes Kapitel 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)

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

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

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

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner