2016 Fiscal Year Final Research Report
Detection of Unexpected by Runtime Goal Model Tracking
Project/Area Number |
15K12012
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
Software
|
Research Institution | National Institute of Informatics |
Principal Investigator |
Ishikawa Fuyuki 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
|
Project Period (FY) |
2015-04-01 – 2017-03-31
|
Keywords | ゴールモデル / 不確かさ / 障害原因分析 / サイバーフィジカルシステム |
Outline of Final Research Achievements |
It is very difficult to define the way of goal realization and its adaptation by supposing all possible situations and conditions as systems have increasingly intensive interactions with physical environments and human activities. In this work, we investigate methods to analyze root causes of gaps between the assumptions on the goal realization logic and the reality. For this purpose, we apply runtime monitoring of goal realization. Thus, we challenge to establish the collaboration between human and the system itself to debug the "unexpected."
|
Free Research Field |
ソフトウェア工学
|