Operációsrendszer-modell

Az SDV operációsrendszer-modell vagy -heveder a Windows-kód részleges és absztrakciós szegmenseiből áll, amelyek operációs rendszerként működnek az ellenőrzés során. Az SDV tartalmaz egy alapértelmezett operációsrendszer-modellt és számos speciális modellt, amelyek bizonyos szabályok ellenőrzésére szolgálnak. Az SDV összeállítja az operációs rendszer modelljét egy ellenőrzéshez az ellenőrzési folyamatellenőrzési lépése során.

Van egy keretprogram is, amely az illesztőprogram egyes részeit ugyanúgy hajtja végre, mint a Windows operációs rendszer azáltal, hogy behívja az illesztőprogram belépési pontjait.