Simulink Design Verifier

Valider les exigences

Vérifiez les exigences modélisées pour assurer leur cohérence et leur exhaustivité avant de commencer votre design.

Détecter les erreurs run-time et de diagnostic

Avant même d'exécuter des simulations, vous pouvez détecter les erreurs de modélisation et run-time, notamment le dépassement d'entier, la division par zéro, l'indexation de tableaux hors limites, les valeurs dénormalisées et les erreurs de virgule flottante, ainsi que les erreurs de validité des données.

Trouver la logique morte

Trouvez dans votre modèle les objets qui ne peuvent pas être activés pendant la simulation et l'exécution du code généré.

Analyser la couverture de test manquante

Améliorez et étendez les cas de test existants créés manuellement pour résoudre les problèmes de couverture manquante dans les modèles, le code généré et le code C/C++ appelé depuis les blocs Simulink® et dans les diagrammes  Stateflow®.

Vérifier les exigences formelles de sécurité

Vérifiez que votre design se comporte conformément aux exigences de sécurité définies formellement avec MATLAB®, Simulink et Stateflow.

Créer des cas de test basés sur les exigences

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

Simplifier les modèles pour le déploiement

Une fois que vous avez complètement validé votre modèle de variants principal, utilisez l'outil Variant Reducer afin de générer un modèle réduit pour un sous-ensemble de configurations valides. Tous les fichiers associés et les dépendances des variables sont également réduits. Les artefacts réduits sont packagés dans un dossier séparé pour permettre un déploiement facile et un partage avec des clients et des partenaires.

« En nous permettant d'analyser rapidement les exigences, de réutiliser les designs de produits précédents et d'éliminer les erreurs de codage manuel, l'approche Model-Based Design a réduit nos temps de développement. Ainsi, nous pouvons désormais répondre plus rapidement aux demandes de nos clients. »

MyoungSuk Ko, LS Automotive