| 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)
|
|---|
| 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.
|
