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

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.

[1]  Letizia Tanca,et al.  Operational and abstract semantics of the query language G-Log , 2002, Theor. Comput. Sci..

[2]  Ming Zhang,et al.  Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices , 2011, HotNets-X.

[3]  Prasant Mohapatra,et al.  Improving energy efficiency of Wi-Fi sensing on smartphones , 2011, 2011 Proceedings IEEE INFOCOM.

[4]  Feng Qian,et al.  A close examination of performance and power characteristics of 4G LTE networks , 2012, MobiSys '12.

[5]  Agostino Cortesi,et al.  DAPA: Degradation-Aware Privacy Analysis of Android Apps , 2016, STM.

[6]  Agostino Cortesi,et al.  A suite of abstract domains for static analysis of string values , 2015, Softw. Pract. Exp..

[7]  Agostino Cortesi.  Widening Operators for Abstract Interpretation , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

[8]  Matti Siekkinen,et al.  Modeling Energy Consumption of Data Transmission Over Wi-Fi , 2014, IEEE Transactions on Mobile Computing.

[9]  Paramvir Bahl,et al.  A case for adapting channel width in wireless networks , 2008, SIGCOMM '08.

[10]  MoscibrodaThomas,et al.  A case for adapting channel width in wireless networks , 2008 .

[11]  Antti Ylä-Jääski,et al.  Characterize energy impact of concurrent network-intensive applications on mobile platforms , 2013, MobiArch '13.

[12]  Muhammad Ramlee Kamarudin,et al.  Transparent antenna for WiFi application: RSSI and throughput performances at ISM 2.4 GHz , 2016, Telecommun. Syst..

[13]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[14]  Agostino Cortesi,et al.  Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications , 2015, VMCAI.

[15]  Justin Manweiler,et al.  Avoiding the Rush Hours: WiFi Energy Management via Traffic Isolation , 2012, IEEE Trans. Mob. Comput..

[16]  Agostino Cortesi,et al.  Abstract Interpretation-Based Verification of Non-functional Requirements , 2005, COORDINATION.

[17]  Agostino Cortesi,et al.  Abstract interpretation of database query languages , 2012, Comput. Lang. Syst. Struct..

[18]  Agostino Cortesi,et al.  The abstract domain of Trapezoid Step Functions , 2015, Comput. Lang. Syst. Struct..

[19]  Gernot Heiser,et al.  An Analysis of Power Consumption in a Smartphone , 2010, USENIX Annual Technical Conference.

[20]  Ning Ding,et al.  Characterizing and modeling the impact of wireless signal strength on smartphone battery drain , 2013, SIGMETRICS '13.

[21]  Justin Manweiler,et al.  Avoiding the Rush Hours: WiFi Energy Management via Traffic Isolation , 2011, IEEE Transactions on Mobile Computing.

[22]  Agostino Cortesi,et al.  SAILS: static analysis of information leakage with sample , 2012, SAC '12.

[23]  Agostino Cortesi,et al.  Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis , 2015, CISIM.