| IoT/CPSシステム設計、自己適応ソフトウェア、スマートシティ、ソフトウェアアーキテクチャ、要求分析に興味を持つ。 近年は自己適応ソフトウェアのソフトウェアアーキテクチャ、ソフトウェア仕様・設計の自動生成技術、実行時ソフトウェア検証に関する研究を行っています。
|
実行環境における保証可能な安全性を解析することは、自己適応システムの意思決定を助ける
安全特性解析に必要な情報を保持したまま、状態をマージする新たな削減手法の研究 | |
| 自己修復・自己最適化・自己防御することでしなやかに耐える自律エージェント型ソフトウェアがまさに求められている |
IoT,自動運転システム,スマートシティなど様々な次世代システムを安全かつ高品質に実現する「しなやかなソフトウェア」を開発するための技術を研究
IoT
人工生態系の既存の産業利用研究は、安定した環境と人間の干渉がないことを前提に、水耕栽培を中心に行われてきた。そのため、「環境の不確実性」や「人間の存在」が考慮されていない | |
| そのため、「環境の不確実性」や「人間の存在」が考慮されていない |
これらの具体的な欠点を解決するために、水耕栽培の環境を制御するIoTベースの自己適応型水耕栽培ケアシステムを提案
自己適応ソフトウェアは,環境の変化に対して,自身を最適化し,その変化に対処できるソフトウェアを指す
ソフトウェアが提供する機能を表すアプリケーションロジックに加え,変化に対してソフトウェアをどのように変更するかを表す適応ロジックを開発する必要がある | |
| 新たな開発対象である”適応ロジック”を高品質に,かつ正しさの保証を伴った開発方法を明らかにする必要がある |
自己適応ソフトウェアは,環境の変化に対処できるシステムへ更新する作業を自動化し, ソフトウェアが自分自身で環境の変化に対処するシステムを目指します