Objectif:Se familiariser avec le workflow de vérification et apprendre à préparer un modèle et à lancer une analyse simple avec Simulink Design Verifier.

• Introduction aux méthodes de vérification formelles
• Exploration du workflow de Simulink Design Verifier
• PréparationduModèle和vérificationde lacompatibilité
• Configuration des options d'analyse
• générationdesrésultats

Objectif:Apprendre l'utilisation de l'outil de détection d'erreurs de design (conception) pour vérifier un modèle.

• Vue d'ensemble des types d'erreurs de design
• Détection des erreurs de design
• Interprétation des résultats et création de rapports
• 校正设计
• Utilisation des parameter tables

Objectif:Utiliser la génération automatique de tests pour compléter la couverture manquante du modèle pour différent types de couverture.

• Vue d'ensemble des types de couvertures
• Mesure de la couverture de modèle
• Augmentation de la couverture en générant des tests automatiquement
• Interprétation des résultats et création de rapports
• Utilisation de conditions et d'objectifs personnalisés

Objectif:Formiser les jexigences enpropriétéset utiliser cespropriétés倒在prouver laconcormoritéd'un vis vis de ses jexigences。

• 形式化的强大
• preve depropriété
• 修正des proprietes falsifiees
• 利用d'opérateurs颞

Objectif:Identifier les origines de la complexité du modèle et apprendre les techniques pouvant améliorer les performances de l'analyse.

• Identification des origines de la complexité du modèle
• Implémentation du remplacement de bloc
• Gestion des non-linéarités
• Gestion delaComplexitéDes查找桌
• Travail avec des compteurs et des timers