Accelerating the pace of engineering and science

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. Vous pouvez visualiser les blocs qui affectent la sortie d'un sous-système ainsi que les chemins suivis par les signaux traversant des commutateurs et des conditions logiques.

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).

Designing Displays using Model-Based Design

Visionner le webinar

Essayer Simulink Design Verifier

Obtenir une version d'évaluation
Paul Urban

Dernières actus

de Paul Urban, expert technique de Simulink Design Verifier