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