研究課題
基盤研究(C)
電力消費はバッテリー駆動システムにおける代表的な機能外要求に関係する。バッテリー容量は小さいことから、長期間の作動を実現するには、電力消費を低減する必要がある。電力を消費する実体はハードウェア部品であるが、その部品を利用するアプリケーション・プログラムに不具合があると、予期しない量の電力が消費されてしまう。このような電力バグは、プログラム設計の欠陥に起因するので、開発上流工程で早期に除去したい。本研究課題は、電力消費のモデルベース解析の方法を検討する。重み付き時間オートマトンをベースとする形式モデルを用いることで、電力消費解析をロジック・モデル検査の問題に帰着できることがわかった。
すべて 2016 2015 2014
すべて 雑誌論文 (7件) (うち査読あり 7件、 謝辞記載あり 6件) 学会発表 (10件) (うち国際学会 1件、 招待講演 2件)
Trustworthy Cyber-Physical Systems Engineering
巻: - ページ: 271-305
Proc. 20th International Symposium on Formal Methods
巻: - ページ: 378-394
Proc. 3rd International Conference on Cyber-Physical Systems, Networks, and Applications
巻: - ページ: 7-12
Proc. Fifth International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
巻: - ページ: 99-115
Proc.1st International Conference on Complex Systems Design and Management (CSD&M Asia 2014)
巻: 1 ページ: 3-14
Proc. Specification, Algebra, and Software (SAS2014)
巻: 8373 ページ: 478-493
Ada User Journal
巻: 35 ページ: 266-271
