내장형 시스템의 통합 설계를 위한 검증 및 구현