Simulink Verification and Validation™ automatise la traçabilité des exigences, la vérification de la conformité aux standards de modélisation ainsi que l'analyse de la couverture du modèle et du code généré.Vous pouvez créer des rapports détaillés pour la traçabilité des exigences, définir vos propres règles de modélisation et développer des configurations comportant les règles à partager avec les équipes techniques. Le document des exigences peut être relié aux modèles, aux cas de test et au code généré. Vous pouvez utiliser l’analyse de couverture pour confirmer que les modèles et le code généré ont été testés dans le détail.