Statecharts、シナリオ及び機能モデルの連携による組み込みシステムの挙動仕様記述手法の研究

抄録

本研究は、シナリオ、Statecharts及び機能モデルにより、組み込み型システムのヒューマンインターフェースの挙動を記述するモデリング手法を提案する。本報告では、組み込みシステムの挙動のモデリング向けに拡張されたStatechartsの定義、及び製品の機能モデルとシナリオからStatechartsを定義する手法を提案する。また、そのための簡易的なモデラ機能の開発事例も紹介する。