組込みシステムにおけるモデルベース開発の試行