抄録
組み込みシステムにおけるヒューマンインターフェイスの挙動仕様は，Statechart をベースとした記述で表現可能であると考えられる．この挙動仕様をディジタル化して，組み込みシステムのシミュレーションや実装へ流用するためのStatechart ベースの記述言語としては，SpecCやViewpointのmtxなどが挙げられる．本研究では，これらの言語を用いて，製品化されている組み込みシステムが持つヒューマンインターフェイスの挙動仕様を記述する事により，これらの記述能力と有用性について詳しく議論する．
