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.