組込みシステムの試作における挙動の形式的記述と動作検証

抄録

製品開発の初期段階では，筐体や操作システムの意匠的なデザインに重点が置かれるが，システムの挙動に関する分析は，重要視されていない．本報告では，設計初期段階において，システムの入力と出力の関係を形式的に記述し，挙動の安定性などに関する分析を行う方式の提案を行う．また具体的なマルティメディア機器を対象とした記述に関しても報告する．