Préparer le modèle à l’analyse de détection des erreurs de design
Préparez le modèle à l’analyse de détection des erreurs de design et à la vérification de la compatibilité du modèle. Configurez les réglages de l’analyse de détection des erreurs de design.
Configurer les paramètres du modèle
Configurez le paramètre du modèle pour préparer ce dernier à la détection des erreurs de design.
1. Ouvrez le modèle sldvexDetectDesignErrorsExample.
open_system("sldvexDetectDesignErrorsExample");
2. Dans l’onglet Apps, cliquez sur la flèche vers la droite de la section Apps. Sous Model Verification, Validation, and Test, cliquez sur Design Verifier.
3. Dans l’onglet Design Verifier, dans la section Prepare, cliquez sur Error Detection Settings.
4. Dans la boîte de dialogue Configuration Parameters, dans le volet Diagnostics > Data Validity, définissez Wrap on overflow, Saturate on overflow et Detect overflow sur error.
5. Pour enregistrer les modifications, cliquez sur Apply et sur OK.
Vérifier la compatibilité d'un modèle
Lorsque vous analysez un modèle, Simulink Design Verifier commence par effectuer un contrôle de compatibilité. Le modèle est compatible pour l’analyse lorsque sa compilation s’effectue sans erreur. Si votre modèle n’est pas compatible, le logiciel ne peut pas l’analyser.
Vous pouvez vérifier la compatibilité du modèle avant l’analyse. Dans le Simulink Editor, dans l’onglet Design Verifier, cliquez sur Check Compatibility. La fenêtre Simulink Design Verifier Results Summary indique que le modèle est compatible avec l’analyse.
Si le modèle est incompatible avec Simulink Design Verifier, le Diagnostic Viewer affiche des messages sur les incompatibilités et sur la façon de les corriger. Pour plus d’informations, consultez Handle Incompatibilities with Automatic Stubbing et Systematic Diagnosis of Errors and Warnings.
