Simulink Verification and Validation

Utilisation de Simulink Verification and Validation

L’interface de gestion des exigences crée des liens permettant de connecter des documents externes aux blocs Simulink®. Il est possible d’utiliser ces liens pour la revue des exigences, la revue de la conception, l’analyse de traçabilité et la documentation du projet.

L’interface de gestion des exigences permet d’effectuer les opérations suivantes :

  • Associer des objets Simulink et Stateflow® à des exigences
  • Passer d’un objet Simulink ou Stateflow aux exigences
  • Revue des liens entre exigences et modèle par un code couleur et à l’aide de marqueurs personnalisés
  • Créer des rapports indiquant les liens qui existent entre les objets du modèle Simulink et les exigences

Simulink Verification and Validation dispose d’une bibliothèque de règles de modélisation vérifiables automatiquement. Les règles sont préconfigurées pour la prise en charge des règles du MathWorks Automotive Advisory Board (MAAB) et des standards de modélisation pour le développement de logiciels à haute intégrité selon DO-178B et IEC 61508.

L’utilisation de Model Advisor et des vérifications des règles de modélisation permet d’effectuer les opérations suivantes :

  • Effectuer des vérifications par rapport à des modèles ou des composants de modèle afin de contrôler la conformité aux standards de modélisation
  • Créer et partager la vérification des règles de modélisation
  • Automatiser l’exécution de la vérification des règles à l’aide d’une interface de programmation
  • Élaborer la vérification de règles personnalisées

Simulink Verification and Validation dispose de fonctions de test de composants qui génèrent un modèle harnais et enregistrent les données des modèles existants pour faciliter la simulation des composants de modèles. Vous pouvez :

  • Automatiser les tests des composants de modèles
  • Extraire le contenu des sous-systèmes ou des sous-diagrammes dans un nouveau modèle en vue de son analyse
  • Enregistrer les valeurs des entrées dans une simulation
  • Simuler des modèles à l’aide de cas de tests
  • Exécuter des tests par rapport au code généré
  • Collecter et analyser la couverture de modèle
Point suivant: Traçabilité entre exigences, modèles, tests et code généré

Essayer Simulink Verification and Validation

Obtenir une version d'évaluation

Best Practices for DO-178 Compliant Software using Model-Based Design

Visionner le webinar