Grâce à l’approche Model-Based Design, les produits Simulink® Vérification et Validation vous permettent de prouver que vos conceptions sont fonctionnellement correctes, conformes aux normes et correctement implémentées sur le hardware.

Accédez à ces documents pour apprendre à :

  • Automatiser les étapes manuelles pour vérifier la conformité aux normes (telles que ISO 26262, DO-178, CEI 61508 et CEI 62304)
  • Capturer les exigences et établir une traçabilité entre exigences, conception, test et code
  • Prouver que votre conception répond aux exigences et générer automatiquement des tests
  • Vérifier la conformité des modèles et du code en utilisant une analyse statique et des méthodes formelles
  • Mesurer la complexité et la qualité du modèle