Vérification de conception avec Simulink

Cette formation d'une journée se concentre sur l'utilisation de Simulink Design Verifier™ pour s'assurer qu'un modèle est exempt d'erreurs de conception, qu'il est complètement testé et qu'il répond aux exigences nécessaires. Les sujets abordés contiennent :

  • Détection et correction d'erreurs de conception communes
  • Collecte de la couverture de modèle
  • Génération automatique de test pour compléter la couverture du modèle
  • Preuve de propriétés du modèle pour la vérification basée sur les exigences
  • Gestion de la complexité du modèle pour rendre l'analyse efficace

Pré-requis

Voir le détail des formations