Model-based Analysis of Energy Consumption in Smartphone Applications
| Project/Area Number |
26330095
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
Nakajima Shin 国立情報学研究所, 情報社会相関研究系, 教授 (60350211)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Project Status |
Completed (Fiscal Year 2016)
|
| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Keywords | モデルベース開発 / 機能外要求 / 電力消費 / モデル検査 / ハイブリッドシステム / スマートフォン |
|---|
| Outline of Final Research Achievements |
Energy consumption is one of the primary non-functional concerns in systems equipped with batteries. The capacity of batteries is limited and reducing the consumption of battery power is mandatory for the systems to be long-lived. The hardware components consume the battery power directly. However, application programs are responsible for the energy consumption because they control the usage of the hardware components. If the programs have some hidden bugs in them, unexpected large amount of energy may be consumed. These energy bugs must be eliminated at early stages of developing application programs. We study a model-based analysis method of energy consumption behavior. Using a variant of weighted timed-automata as a rigorous model, we reduce the problem of detecting anomalies in the energy consumption behavior to logic model checking.
|
Report
(4 results)
Research Products
(17 results)
