時間オートマトンによるフェースディスプレイの上位設計と形式的検証

スポンサーリンク

概要

論文の詳細を見る
本稿では,フェースディスプレイの設計と検証の手法を提案している.フェースディスプレイとは,対象システムに同期して表情アニメーションを実行するものである.まず,フェースディスプレイのモデルは感性モデルと表現モデルの 2 階層により構成される.感性モデルは人間の心理状態の変化を記述し,表現モデルは人間の表情の変化を記述している.また,感性モデルと表現モデルは,それぞれ時間オートマトンにより定義している.さらに,対象システムのモデルについても,時間オートマトンにより構築している.最後に,CTL (Computation Tree Logic) 時相理論に基づくモデル検証ツールである UPPAAL を用いて,フェースディスプレイと対象システムを並列合成したシステム全体の到達可能性,安全性,および,活性を判定している.
2010-10-25

著者

関連論文

もっと見る

スポンサーリンク