참고문헌
- Zhang, Lide, et al. "Accurate online power estimation and automatic battery behavior based power model generation for smartphones." Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2010 IEEE/ACM/IFIP International Conference on. IEEE, 2010.
- Falaki, Hossein, et al. "Diversity in smartphone usage." Proceedings of the 8th international conference on Mobile systems, applications, and services. ACM, 2010.
- Shye, Alex, Benjamin Scholbrock, and Gokhan Memik. "Into the wild: studying real user activity patterns to guide power optimizations for mobile architectures." Microarchitecture, 2009. MICRO-42. 42nd Annual IEEE/ACM International Symposium on. IEEE, 2009.
- Montgomery, Douglas C., Elizabeth A. Peck, and G. Geoffrey Vining. Introduction to linear regression analysis. John Wiley & Sons, 2015.
- https://en.wikipedia.org/wiki/Finite-state_machine
- Hoque, Mohammad Ashraful, et al. "Modeling, profiling, and debugging the energy consumption of mobile devic-es." ACM Computing Surveys (CSUR) 48.3 (2016): 39..
- Flinn, Jason, and Mahadev Satyanarayanan. "Powerscope: A tool for profiling the energy usage of mobile applications." Mobile Computing Systems and Applications, 1999. Proceedings. WMCSA'99. Second IEEE Workshop on. IEEE, 1999.
- Rice, Andrew Colin, and Simon Hay. "Decomposing power measurements for mobile devices." PerCom. Vol. 10. 2010.
- Carroll, Aaron, and Gernot Heiser. "An Analysis of Power Consumption in a Smartphone." USENIX annual technical conference. Vol. 14. 2010.
- Ding, Fangwei, et al. "Monitoring energy consumption of smartphones." Internet of Things (iThings/CPSCom), 2011 International Conference on and 4th International Conference on Cyber, Physical and Social Computing. IEEE, 2011.
- Kjaergaard, Mikkel Baun, and Henrik Blunck. "Unsupervised power profiling for mobile devices." International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services. Springer Berlin Heidelberg, 2011.
- Jung, Wonwoo, et al. "DevScope: a nonintrusive and online power analysis tool for smartphone hardware components." Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis. ACM, 2012.
- Yoon, Chanmin, et al. "AppScope: Application Energy Metering Framework for Android Smartphone Using Kernel Activity Monitoring." USENIX Annual Technical Conference. Vol. 12. 2012.
- Pathak, Abhinav, Y. Charlie Hu, and Ming Zhang. "Where is the energy spent inside my app?: fine grained energy accounting on smartphones with eprof." Proceedings of the 7th ACM european conference on Computer Systems. ACM, 2012.
- Xu, Fengyuan, et al. "V-edge: Fast Self-constructive Power Modeling of Smartphones Based on Battery Voltage Dynamics." NSDI. Vol. 13. 2013.
- Banerjee, Abhijeet, et al. "Detecting energy bugs and hotspots in mobile apps." Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 2014.
- Kim, Kitae, et al. "FEPMA: Fine-grained event-driven power meter for android smartphones based on device driver layer event monitoring." Proceedings of the conference on Design, Automation & Test in Europe. European Design and Automation Association, 2014.
- https://developer.android.com/studio/profile/hierarchy-viewer.html
- Machiry, Aravind, Rohan Tahiliani, and Mayur Naik. "Dynodroid: An input generation system for android apps." Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. ACM, 2013.
- Bengtsson, Johan, et al. "UPPAAL-a tool suite for automatic verification of real-time systems." Hybrid Systems III. Springer Berlin Heidelberg, 1996. 232-243.
- Kwiatkowska, Marta, Gethin Norman, and David Parker. "PRISM: Probabilistic symbolic model checker." International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Springer Berlin Heidelberg, 2002.
- Holzmann, Gerard J. "The model checker SPIN." IEEE Transactions on software engineering 23.5 (1997): 279-295. https://doi.org/10.1109/32.588521