自動車用シート制御システムにおける仮想ECUのモデルベース設計および検証フレームワーク | Synapse