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

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 2017 AND 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 2017 AND ICTCC
    Springer
    DOI: 10.1007/978-3-319-77818-1_5
Anh-Tu Bui1,*, Hong-Anh Le2,*, Ninh-Thuan Truong1,*
  • 1: VNU, University of Engineering and Technology
  • 2: Hanoi University of Mining and Geology
*Contact email: batu@ictu.edu.vn, lehonganh@humg.edu.vn, thuantn@vnu.edu.vn

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.