Détecter les erreurs de design dans un modèle

L’analyse de la détection des erreurs de design détermine les conditions à l’origine des erreurs que vous trouvez avec Simulink^® Design Verifier™. L’analyse de détection des erreurs de design calcule également une plage de valeurs de signaux qui peuvent se produire pour les sorties de blocs et les données locales Stateflow^® dans votre modèle.

Pour analyser votre modèle et déceler les erreurs de design :

1. Vérifiez que votre modèle est compatible avec le logiciel Simulink Design Verifier. Spécifiez les réglages du modèle qui contrôlent la manière dont Simulink Design Verifier détecte les erreurs de design dans votre modèle.

2. Utilisez Defect Checker pour détecter les erreurs de design courantes dans votre modèle.

3. Procédez à une analyse de détection des erreurs de design pour les erreurs sélectionnées.

4. Après l’analyse, examinez les résultats.

   • Cliquez sur les différents blocs pour afficher les résultats de l’analyse correspondante.

   • Créez un modèle de harnais contenant des cas de test qui démontrent les erreurs.

   • Créez un rapport d’analyse contenant des résultats détaillés pour l’ensemble du modèle.

5. Corrigez les erreurs de design identifiées lors de l’analyse.

Exemple de modèle

Ce tutoriel utilise un modèle de contrôleur sldvexDetectDesignErrorsExample qui comporte trois entrées de capteur : SensorA, SensorB et SensorC. Dans ce tutoriel, vous procédez à une analyse de détection des erreurs de design pour les erreurs de dépassement d’entier et de division par zéro dans le modèle.

Simulink Design Verifier identifie les constructions du modèle qui peuvent entraîner des dépassement d’entiers et prouve ensuite que le dépassement d’entier ne peut pas se produire pendant la simulation ou génère des cas de test qui démontrent l’erreur de dépassement d’entier. L’algorithme du contrôleur génère une sortie sur la base des valeurs de SensorA et SensorB :

Le modèle sldvexDetectDesignErrorsExample intègre cet algorithme au moyen de blocs Simulink.

Dans ce tutoriel, nous allons aborder les sujets suivants :

1. Préparer le modèle en vue de l’analyse de détection des erreurs de design et vérifier la compatibilité du modèle.

2. Utiliser Defect Checker pour détecter les défauts dans votre modèle.

3. Exécuter l’analyse de détection d’erreur de design dans le modèle.

4. Visualiser les résultats en cliquant sur les composants du modèle mis en surbrillance, ou en créant un harnais ou un rapport d’analyse.

5. Corriger les erreurs de design identifiées.

Pour en savoir plus sur ce tutoriel, consultez Préparer le modèle à l’analyse de détection des erreurs de design.