Modelo do sistema operacional

Um modelo ou arreio do sistema operacional SDV consiste em segmentos parciais e abstraídos de código do Windows que atuam como o sistema operacional durante uma verificação. O SDV inclui um modelo de sistema operacional padrão e vários modelos especializados que são usados para verificar regras específicas. O SDV monta o modelo do sistema operacional para uma verificação durante a etapa Verificar do processo de verificação.

Também há um arreio que executa partes do driver da mesma maneira que o Sistema Operacional Windows chamando pontos de entrada no driver.