Preparar modelo para análisis de detección de errores de diseño
Prepare el modelo para el análisis de detección de errores de diseño comprobando la compatibilidad del modelo y configurando los ajustes del análisis de detección de errores de diseño.
Configurar ajustes de un modelo
Configure los ajustes del modelo para prepararlo para detectar errores de diseño.
1. Abra el modelo sldvexDetectDesignErrorsExample.
open_system("sldvexDetectDesignErrorsExample");
2. En la pestaña Apps, haga clic en la flecha de la derecha de la sección Apps. En Model Verification, Validation, and Test, haga clic en Design Verifier.
3. En la pestaña Design Verifier, en la sección Prepare, haga clic en Error Detection Settings.
4. En el cuadro de diálogo Configuration Parameters, en el panel Diagnostics > Data Validity, establezca Wrap on overflow, Saturate on overflow y Detect overflow en error.
5. Haga clic en Apply y OK para guardar los cambios.
Comprobar compatibilidad de un modelo
Cuando se analiza un modelo, Simulink Design Verifier primero realiza una comprobación de la compatibilidad. El modelo es compatible con el análisis si se compila sin errores. Si el modelo no es compatible, el software no puede analizarlo.
Puede comprobar la compatibilidad del modelo antes del análisis. En el editor de Simulink, en la pestaña Design Verifier, haga clic en Check Compatibility. La ventana Results Summary de Simulink Design Verifier muestra que el modelo es compatible para el análisis.
Si el modelo es incompatible con Simulink Design Verifier, Diagnostic Viewer muestra mensajes sobre las incompatibilidades y cómo solucionarlas. Para obtener más información, consulte Handle Incompatibilities with Automatic Stubbing y Systematic Diagnosis of Errors and Warnings.
