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.


Fonctionnalités

Utilisation de Simulink Verification and Validation

Créez des liens permettant de connecter des documents externes aux blocs Simulink.

En savoir plus

Traçabilité entre exigences, modèles, tests et code généré

Liez des objets Simulink et Stateflow au texte des exigences.

En savoir plus

Conformité aux standards de modélisation

Exécutez des vérifications individuelles ou un groupe de vérifications avec Model Advisor.

En savoir plus

Test des composants

Utilisez une API pour l'analyse et la simulation d'un ou plusieurs modèles référencés, sous-systèmes ou sous-diagrammes atomiques dans un modèle.

En savoir plus

Analyse de la couverture de modèle

Générez des rapports de couverture de modèle pour indiquer les éléments de la 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 d'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, or 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 requires MATLAB, and 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