一般的なモデルベース開発における検証には確立された手法がある。上図のV字サイクルはそれをSKYACTIV開発に応用したもの。ここにはHILSやMILSシミュレーションも含まれる。SKYACTIV開発プログラムではHILSとMILSの両方を使用し、ASM(Automotive Simulation Model)を実装したdSPACEシミュレーターを採用。その結果、生産性は2倍以上になった。マツダでは、エンジン、トランスミッションの制御に関してはほぼ100%、dSPACE社の製品を使っているという。