Verificación de diseño con Simulink

Día 1 de 1

Descripción del flujo de trabajo de verificación

Objetivo: Familiarícese con el flujo de trabajo de verificación y aprenda a preparar un modelo y realizar un análisis simple con Simulink Design Verifier.

• Describir métodos formales de verificación
• Explorar el flujo de trabajo de Simulink Design Verifier
• Preparar modelos y garantizar la compatibilidad
• Configurar opciones de análisis
• Generar resultados

Detectar errores de diseño

Objetivo: Aprenda a utilizar la detección de errores de diseño para verificar un modelo.

• Describir tipos de errores de diseño
• Detectar errores de diseño
• Interpretar y notificar resultados
• Corregir errores de diseño
• Usar tablas de parámetros

Generar pruebas automáticamente

Objetivo: Revise los tipos de cobertura y aprenda a utilizar la generación automática de pruebas para completar el déficit de cobertura de modelo.

• Descripción de los tipos de cobertura
• Medir la cobertura del modelo
• Aumentar la cobertura con la generación automática de pruebas
• Interpretar y notificar resultados
• Aplicar objetivos y condiciones personalizados

Demostración de propiedades

Objetivo: Formalice los requisitos en propiedades y aprenda a utilizar demostración de propiedades para verificar que un diseño cumpla sus requisitos.

• Formalizar requisitos
• Probar propiedades
• Depurar propiedades falsificadas
• Utilizar operadores temporales

Gestionar la complejidad del modelo

Objetivo: Identifique las fuentes de complejidad del modelo y aprenda técnicas para mejorar el rendimiento del análisis.

• Identificar las fuentes de complejidad del modelo
• Implementar reemplazos de bloques
• Manejar no linealidades
• Gestionar la complejidad de la tabla de búsqueda
• Trabajar con contadores y temporizadores