操作系統模型

SDV 作業系統模型 或 框架 包含部分和抽象的 Windows 程式代碼區段，在驗證期間用作作業系統。 SDV 包含預設作系統模型和數個特殊模型，可用來驗證特定 規則。 SDV 會在驗證過程的檢查步驟期間組裝作業系統模型以進行驗證。

此外，還有一個框架會以與 Windows 作業系統相同的方式執行驅動程式的部分，方法是呼叫驅動程式中的進入點。