Compartir a través de

Modelo de sistema operativo

  • Artículo

Un modelo o arnés del sistema operativo SDV consta de segmentos parciales y abstractos de código de Windows que actúan como sistema operativo durante una comprobación. SDV incluye un modelo de sistema operativo predeterminado y varios modelos especializados que se usan para comprobar reglas concretas. SDV ensambla el modelo de sistema operativo para una comprobación durante el paso Comprobación del proceso de comprobación.

También hay un arnés que ejecuta partes del controlador de la misma manera que el sistema operativo Windows llamando a los puntos de entrada del controlador.