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

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 DO Qualification Kit et le IEC Certification Kit fournissent des fonctionnalités supplémentaires.


Fonctionnalités

Vérifier la qualité d’un modèle au moyen de standards et de mesures

Vérifiez la conformité aux standards de modélisation

En savoir plus

Mesurer la couverture de code et de modèle

Générer des rapports de couverture de code et de modèle pour identifier les éléments de conception qui n’ont pas été testés.

En savoir plus

Ressources produits

Découvrez-en davantage sur Simulink Verification and Validation en consultant ces ressources.

Documentation

Consultez notre documentation pour connaître les fonctions et les caractéristiques de Simulink Verification and Validation, notamment les notes de version et des exemples.

Fonctions

Parcourez la liste des fonctions disponibles de Simulink Verification and Validation.

Exigences du système

Affichez les spécifications système requises pour la dernière version de Simulink Verification and Validation.

Articles techniques

Consultez les notes expliquant les avantages techniques de l’utilisation de la solution Simulink Verification and Validation.

Témoignages d'utilisateurs

Découvrez comment Simulink Verification and Validation accélère la recherche et le développement de votre industrie.

Communauté et soutien

Trouvez les réponses à vos questions et consultez nos ressources dédiées à la résolution des problèmes.


Essayer ou Acheter

Vous pouvez commencer à utiliser les Simulink Verification and Validation de nombreuses façons. Téléchargez gratuitement la version d'essai, ou consultez les tarifs et les options de licence.

Obtenez gratuitement la version d'essai

Essayez Simulink Verification and Validation.

Essayer une version d'évaluation

Prêt à acheter?

Achetez Simulink Verification and Validation et découvrez les produits complémentaires.

Contact commercial
Tarifs et licences

Vous avez des questions ?

Paul

Contacter Paul Urban,
expert technique Simulink Verification and Validation

Envoyer un e-mail à Paul

Simulink Verification and Validation requiert: MATLAB, Simulink


 Solutions associées

Utilisez Simulink Verification and Validation pour relever des défis scientifiques et d'ingénierie :


Au fil des événements

Découvrez l'avis d'un ingénieur MathWorks sur Simulink et la conception basée sur les modèles.

Improve Design Efficiency Using Modeling Standards Checking