Simulink Design Verifier

 

Simulink Design Verifier

Identifier les erreurs de design, prouver la conformité avec les exigences et générer des tests

En savoir plus:

Détection des erreurs de design

Détectez les erreurs de design dans votre modèle avant la simulation, notamment les erreurs d'exécution et de diagnostic, et la logique morte.

Erreurs d'exécution et de diagnostic

Avant d'exécuter des simulations, vous pouvez détecter les erreurs de modélisation et d'exécution, notamment les dépassements de capacité pour les entiers, les divisions par zéro, les accès hors limites, les valeurs sous-normales, les erreurs de virgule flottante et les erreurs de validité des données. 

Logique morte

Identifiez les objets de votre modèle qui ne peuvent pas s'activer pendant la simulation et l'exécution du code généré.

Détection de la logique morte dans vos modèles.

Génération de cas de test

Générez des cas de test pour la simulation dynamique afin d'atteindre vos objectifs de couverture structurelle et fonctionnelle.

Cas de test pour augmenter la couverture

Augmentez et étendez les cas de test existants créés manuellement afin de résoudre les problèmes liés à une couverture de modèle incomplète.

Cas de test basés sur les exigences

Générez des cas de test à partir des modèles d'exigences système.

Cas de test pour le code C/C++

Générez des cas de test pour améliorer la couverture du code généré et du code C/C++ appelé depuis les blocs Simulink® et dans les diagrammes Stateflow®.

Génération de tests pour les modèles qui appellent du code C.

Vérification basée sur les exigences

Vérifiez des exigences formelles exprimées dans MATLAB, Simulink et Stateflow.

Exigences de sûreté

Vérifiez que le comportement de votre design est conforme aux exigences de sûreté définies formellement que vous exprimez dans MATLAB®, Simulink et Stateflow.

Simplification de modèles variants

Utilisez l'outil Variant Reducer pour générer un modèle réduit pour un sous-ensemble de configurations valides.

Simplification de modèles pour le déploiement

Une fois votre modèle de variants principal entièrement validé, utilisez l'outil Variant Reducer pour générer un modèle réduit pour un sous-ensemble de configurations valides. Toutes les dépendances de fichiers et de variables associées sont également réduites. Les artefacts réduits sont packagés dans un dossier distinct pour faciliter le déploiement et le partage avec les clients et partenaires.

Création d'un modèle réduit.