자동차 시트 제어 시스템에서 가상 ECU를 위한 모델 기반 설계 및 검증 프레임워크 | Synapse