Simulink Design Verifier

Identification des erreurs de conception, génération de cas de test et vérification de la conformité des conceptions aux spécifications

Simulink Design Verifier™ utilise des méthodes formelles afin d'identifier les erreurs de conception cachées dans les modèles, le tout sans exécution de simulations extensives. Il détecte les blocs au sein du modèle qui entraînent des erreurs telles que le dépassement d'entier, la logique morte, les violations de l'accès aux tableaux, la division par zéro et les violations des spécifications. Pour chaque erreur rencontrée, il produit un cas de test de simulation permettant le débogage.

Simulink Design Verifier génère des jeux de tests pour la couverture de modèle et les objectifs personnalisés. Il vous permet également de compléter et développer les cas de test déjà existants. Grâce à ces cas de test, vous pouvez vous assurer que votre modèle satisfait aux conditions, décisions, conditions/décisions modifiées (MCDC) et objectifs de couverture personnalisés.

L'outil Model Slicer de Simulink Design Verifier isole les comportements problématiques au sein d'un modèle en combinant des analyses dynamiques et statiques. Il vous permet de mettre en évidence les dépendances fonctionnelles des ports, signaux et blocs et d'assurer leur traçabilité, mais également de diviser un modèle de grande taille en modèles autonomes de plus petite taille afin de réaliser des analyses. L’outil Variant Reducer vous permet de simplifier vos modèles contenant de multiples variants en créant des sous-modèles basés sur des configurations actives de variants.

La prise en charge des normes industrielles est assurée via le IEC Certification Kit (ISO 26262 et IEC 61508) et le DO Qualification Kit (pour DO-178).


Fonctionnalités

Détection des erreurs de conception

Détectez si des scénarios d'exécution dynamique spécifiques peuvent se produire, et sous quelles conditions.

En savoir plus

Génération de cas de test

Utilisez des techniques de vérification structurelle telles que la couverture de modèle pour vous aider à identifier les chemins de simulation non utilisés dans le modèle.

En savoir plus

Isolement des comportements problématiques à l'aide de Model Slicer

Isolez les comportements problématiques au sein d'un modèle en utilisant une association d'analyses dynamiques et statiques pour assurer la traçabilité des dépendances.

En savoir plus

Vérification basée sur les spécifications

Exprimez des spécifications formelles à l'aide des fonctions MATLAB, Simulink et Stateflow.

En savoir plus

Ressources produits

Découvrez-en davantage sur Simulink Design Verifier en consultant ces ressources.

Documentation

Consultez notre documentation pour connaître les fonctions et les caractéristiques de Simulink Design Verifier, notamment les notes de version et des exemples.

Fonctions

Parcourez la liste des fonctions disponibles de Simulink Design Verifier.

Blocs

Affichez une bibliothèque Simulink de blocs pris en charge par Simulink Design Verifier.

Exigences du système

Affichez les spécifications système requises pour la dernière version de Simulink Design Verifier.

Articles techniques

Consultez les notes expliquant les avantages techniques de l'utilisation d'Simulink Design Verifier.

Témoignages d'utilisateurs

Découvrez comment Simulink Design Verifier accélère la recherche et le développement de votre industrie.

Communauté et soutien

Trouvez les réponses à vos questions et consultez nos ressources dédiées à la résolution des problèmes.


Essayer ou Acheter

Vous pouvez commencer à utiliser les Simulink Design Verifier de nombreuses façons. Téléchargez gratuitement la version d'essai, or consultez les tarifs et les options de licence.

Obtenez gratuitement la version d'essai

Essayez Simulink Design Verifier.

Essayer une version d'évaluation

Prêt à acheter?

Achetez Simulink Design Verifier et découvrez les produits complémentaires.

Contact commercial
Tarifs et licences

Vous avez des questions ?

Paul

Contacter Paul Urban,
expert technique Simulink Design Verifier

Envoyer un e-mail à Paul

Simulink Design Verifier requires MATLAB, Simulink, and Simulink Verification and Validation.


 Solutions associées

Utilisez Simulink Design Verifier pour relever des défis scientifiques et d'ingénierie :


Au fil des événements

Découvrez l'avis d'un ingénieur MathWorks sur Simulink et la conception basée sur les modèles

Increasing Robustness of your Software Designs with Simulink