ゴール指向分析に基づくモデル検査のための外部環境の抽象化手法

スポンサーリンク

概要

論文の詳細を見る
本稿では,時系列の変化量に対して制約を設ける,外部環境モデルの抽象化手法を提案する.センサ・アクチュエータの組み込みシステムにおいて,複数の外部環境の情報を内部に保持するシステムの場合,静的な観点で外部環境の情報の範囲を削減する抽象化方法には限界がある.また,動的な観点で外部環境の情報の変化に制約を設ける抽象化方法は,制約の分析に必要なセンサとアクチュエータの振舞いを,検査記述から必要十分に抽出するのは困難である.さらに,センシング対象である水や色や音など,外部環境に関する必要十分な情報が検査記述にないため,その変化の分析が困難である.本稿では,この動的な観点での抽象化の2つの問題に対して,制約の分析に必要なセンサとアクチュエータの振舞いをゴール指向分析10)を用いて網羅的に抽出し,外部環境の情報に対する時系列の変化量をドメイン知識を用いて分析する,外部環境の情報の変化に制約を設ける抽象化手法を提案する.さらに,事例をもとにその有効性を示す.
2011-12-15

著者

関連論文

もっと見る

スポンサーリンク