Research Article
Generation of Power State Machine for Android Devices
@INPROCEEDINGS{10.1007/978-3-319-77818-1_5, author={Anh-Tu Bui and Hong-Anh Le and Ninh-Thuan Truong}, title={Generation of Power State Machine for Android Devices}, proceedings={Context-Aware Systems and Applications, and Nature of Computation and Communication. 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings}, proceedings_a={ICCASA \& ICTCC}, year={2018}, month={3}, keywords={Formal analysis Power automata Power consumption Mobile devices}, doi={10.1007/978-3-319-77818-1_5} }
- Anh-Tu Bui
Hong-Anh Le
Ninh-Thuan Truong
Year: 2018
Generation of Power State Machine for Android Devices
ICCASA & ICTCC
Springer
DOI: 10.1007/978-3-319-77818-1_5
Abstract
Power consumption is a major problem on mobile devices. When an application runs, it causes the mobile device to reach a specified state of power consumption. We can determine energy consumption states of mobile devices by analyzing source code of the application. In this paper, we introduce a new approach to modeling energy consumption states due to the impact of Android applications using state machines. The approach takes into account the power states at specific time of the running application. The paper also proposes to construct a finite automata of power states extracted from the source code of the application. We have implemented a plug-in (called PSA) which can be integrated in Android Studio and InteliJ to visualize the finite automata of power states.