| 講演名 | 2014-03-11 省電力プロセッサのアンドロイド・アプリ電力消費モデルへの影響 中島 震, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | スマートフォンやタブレットは電池容量が小さい.プログラム実行に伴う電力消費は重要な機能外要求のひとつである.また,機能振る舞いが意図通りであっても予想外の電力消費を示すことがあり,電力バグと呼ばれている.そこで,開発上流工程で電力消費に関わる振る舞いを表現し解析するモデルベース解析の方法が提案された.一方,プロセッサの省電力化機能が組み込まれており,実行負荷状況に応じて動作電圧や周波数を変更する.アプリケーションが実行完了するまでにかかる時間が長くなり,電力バグの影響が大きくなることが予想できる.本稿では,Nexus7(2012モデル)を対象として,プロセッサの省電力化機能が電力バグに影響するか否かを定量的に測定した結果を報告する. |
| 抄録(英) | As the capacity of the battery is limited in smartphones or tablets, power consumption of application programs in them is one of the major non-functional concerns. Some programs, although functionally correct, may suffer from unexpected power consumption, namely contain ebugs. A model-based analysis of such ebugs was proposed, where a variant of hybrid automaton, PCA, played a central role. It, however, remained an open question whether the behavior of the power-saving processor had a large impact on the analysis model. This paper presents some preliminary results of the measurements, using Nexus? (2012 model), which provides a basis for considering possible extensions of PCA. |
| キーワード(和) | 電力消費 / アンドロイド / DVFS / ハイブリッドオートマトン |
| キーワード(英) | Power Consumption / Android / DVFS / Hybrid Automaton |
| 資料番号 | SS2013-78 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2014/3/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 省電力プロセッサのアンドロイド・アプリ電力消費モデルへの影響 |
| サブタイトル（和） | |
| タイトル（英） | Influence of Power-Saving Processor on Power Consumption Model of Android Applications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 電力消費 / Power Consumption |
| キーワード(2)（和/英） | アンドロイド / Android |
| キーワード(3)（和/英） | DVFS / DVFS |
| キーワード(4)（和/英） | ハイブリッドオートマトン / Hybrid Automaton |
| 第 1 著者 氏名（和/英） | 中島 震 / Shin NAKAJIMA |
| 第 1 著者 所属（和/英） | 国立情報学研究所 National Institute of Informatics |
| 発表年月日 | 2014-03-11 |
| 資料番号 | SS2013-78 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 489 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |