実行時ゴールモデル追跡による想定外の検出

2016 年度 研究成果報告書

• 研究課題/領域番号: 15K12012
• 研究種目: 挑戦的萌芽研究
• 配分区分: 基金
• 研究分野: ソフトウェア
• 研究機関: 国立情報学研究所
• 研究代表者: 石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
• 研究期間 (年度): 2015-04-01 – 2017-03-31
• キーワード: ゴールモデル / 不確かさ / 障害原因分析 / サイバーフィジカルシステム

研究成果の概要

より深く物理的な環境や人の活動に踏み込むシステムでは，あらゆる状況や前提条件などを十分に想定し，システムによるゴールの達成方法やその適応を定めることが非常に難しい．これに対し本研究では，実行時にゴールの達成に関する追跡を行い，ゴールの達成に関する論理が想定と合わなくなっている箇所を検出することにより，原因追及を支援する手法を提案，評価する．これにより，「システム自身の助けを得て人と共に想定外をデバッグする」というアプローチの確立を目指す．

自由記述の分野

ソフトウェア工学