Simulink Verification and Validation

Vérification de la conformité aux règles de modélisation

Simulink Verification and Validation propose la vérification des règles suivantes :

  • MathWorks Automotive Advisory Board
  • DO-178B
  • IEC 61508 (ISO 26262)
  • Cohérence des exigences

Model Advisor permet d’exécuter la vérification de règles individuellement ou par groupe. Chaque vérification de règle s’accompagne d’une documentation détaillée et de recommandations pour résoudre les incohérences ; certaines vérifications disposent en outre d’options de configuration supplémentaires.

Violation in highlighted model block found through modeling standards checks in Model Advisor.
Violation détectée dans le bloc en couleur pour une règle de modélisation définit dans le Model Advisor.

Vous pouvez modifier les règles à vérifier à l’aide de l’éditeur de configuration de Model Advisor qui permet d’effectuer les opérations suivantes :

  • Sélectionner des combinaisons de règles à vérifier
  • Enregistrer une sélection de règles à vérifier en tant que nouvelle configuration
  • Importer et appliquer des règles à vérifier à partir d’une configuration existante
  • Ajouter la vérification de règles personnalisées à la configuration
  • Exporter et déployer une configuration

L’API de scripts permet de générer la vérification de règles personnalisées. La documentation du produit fournit quelques exemples de vérifications personnalisées.

Pour automatiser la vérification de la conformité, vous pouvez exécuter des vérifications en mode batch sur une seule machine ou sur plusieurs machines en parallèle avec Parallel Computing Toolbox™. Vous pouvez afficher les résultats dans Model Advisor ou dans le rapport HTML généré à l’issue de l’analyse.

Lors de l’utilisation du kit de qualification DO de Simulink, vous pouvez qualifier la vérification des règles DO 178B dans Model Advisor en vue d’une utilisation dans des projets certifiés DO-178B ou DO-254.

Point suivant: Test des composants

Essayer Simulink Verification and Validation

Obtenir une version d'évaluation

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

Visionner le webinar