作業系統模型

SDV 作業系統模型 或 控管 是由 Windows 程式碼的部分和抽象區段所組成，這些區段會在驗證期間作為作業系統。 SDV 包含預設作業系統模型和數個用來驗證特定 規則的特殊模型。 SDV 會在驗證程式的檢查步驟期間組合作業系統模型以進行驗證。

此外，還有一個利用與 Windows 作業系統相同的方式執行驅動程式的元件，方法是呼叫驅動程式中的進入點。