組み込みシステム開発用多機能behaviorモデラーの開発(第一報): Statecharts、シナリオ及び機能モデルの連携による組み込みシステムの挙動仕様記述手法の研究

摘要

本報告では、機能仕様のモデル化のために機能関係を導入し、機能関係と挙動仕様を表すStatechartsとの論理的関係を明らかにすることにより体系的な挙動仕様記述手法を提案した。また、具体的な例により有効性を確認できた。今後は本手法を自動的に行うことが可能なツールの開発を行っていきたい。