Simulink Verification and Validation

Vérification des modèles et du code généré

Simulink Verification and Validation™ automatise la traçabilité des exigences, la vérification de la conformité aux normes de modélisation et l’analyse de couverture de modèle.

Vous pouvez créer des rapports détaillés pour la traçabilité des exigences, vérifier 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 tests et au code généré. Vous pouvez générer un modèle harnais afin de tester des composants de modèles et le code correspondant et utiliser l’analyse de couverture de modèle pour vous assurer que les modèles ont été complètement couverts par les tests.

Simulink Verification and Validation propose la vérification de standards de modélisation pour les normes DO-178, ISO 26262, IEC 61508 et les normes industrielles associées. Le kit de qualification DO et le kit de certification IEC prennent en charge des fonctionnalités supplémentaires.

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

Visionner le webinar

Essayer Simulink Verification and Validation

Obtenir une version d'évaluation
Nishaat Vasi

Dernières actus

de Nishaat Vasi, expert technique de Simulink Verification and Validation