Operativsystemmodell

En SDV-operativsystemmodell eller -sele består av partiella och abstrakta segment av Windows-kod som fungerar som operativsystem under en verifiering. SDV innehåller en standardoperativsystemmodell och flera specialiserade modeller som används för att verifiera vissa regler. SDV monterar operativsystemets modell för en verifiering under kontrollsteget i verifieringsprocessen.

Det finns också en sele som kör delar av drivrutinen på samma sätt som Windows-operativsystemet genom att anropa startpunkter i drivrutinen.