Utiliser Simulink Design Verifier pour la vérification systématique d’un modèle

Dans les domaines de l’automobile et de l’aérospatiale, les ingénieurs en contrôle doivent s’assurer que les algorithmes de contrôle sous-jacents adoptent le comportement souhaité tout au long du cycle de vie opérationnel.

Simulink^® Design Verifier™ vous aide à effectuer une vérification systématique du modèle afin d’identifier les erreurs de design cachées, de prouver les propriétés et de générer des cas de test pour les tests fonctionnels. Simulink Design Verifier utilise des méthodes de vérification formelle pour tester l’exactitude du design et accroître la confiance dans votre modèle de design que la génération du code de production utilise. Par exemple, les ingénieurs peuvent procéder à la vérification et à la validation au cours du cycle de développement, pour s’assurer des points suivants :

Le système de gestion du moteur n’entraîne pas de comportements indésirables tels qu’une accélération involontaire ou un calage du moteur en cours de fonctionnement.
Les applications des systèmes avancés d’assistance à la conduite (ADAS) qui contrôlent les freins et la direction fonctionnent bien dans toutes les conditions.
Les systèmes de pilotage automatique réagissent correctement à toutes les conditions de vol et à toutes les données d’entrée possibles.
Les systèmes de commande de vol sont stables et réactifs afin d’éviter des défaillances catastrophiques en vol.

Un designer de modèle et un ingénieur de tests utilisent Simulink Design Verifier au cours de l’évolution de la phase de développement du modèle pour réaliser la vérification et la validation.

Simulink Design Verifier capabilities.

Fonctionnalités de Simulink Design Verifier

Simulink Design Verifier propose notamment les fonctionnalités suivantes :

Fonctionnalité	Description
Analyse des exigences fonctionnelles	Analyser la cohérence ou l’exhaustivité des exigences. Utiliser le bloc Requirements Table pour vérifier la cohérence des exigences du modèle. Générer des cas de test pour les exigences. Générer des cas de test à partir de modèles de spécifications. Prouver les propriétés personnalisées du modèle. Pour plus d’informations, consultez Use Specification Models for Requirements-Based Testing.
Génération de tests	Générer des cas de test pour la couverture du modèle, la condition de la décision, la couverture de la condition de la décision du modèle (MCDC). Détecter les conditions logiques inaccessibles. Pour plus d’informations, consultez Workflow for Test Generation.
Détection des erreurs de design	Détecter les erreurs de design courantes au moyen du Defect Checker. Identifier les erreurs de design telles que la logique morte, le dépassement d’entier, la division par zéro et d’autres erreurs run-time. Pour plus d’informations, consultez What Is Design Error Detection?.
Preuve des propriétés	Prouver qu’une propriété est respectée à tout moment et considérée comme une méthode de vérification approfondie. Vérifier que des propriétés spécifiques restent vraies pour toutes les entrées et tous les états possibles du modèle. Pour plus d’informations, consultez Prove Model Properties Using Simulink Design Verifier.
Analyse, filtrage et justification incrémentaux	Assurer la couverture manquante. Justifier la couverture manquante ou utiliser un filtre pour exclure la partie non pertinente. Varier les paramètres de calibrage pour tester le design.
Analyse du code généré	Réaliser des tests de base de référence ou d’équivalence entre le modèle et le code. Assurer la couverture de code manquante.
Certification ou conformité	Respecter les normes industrielles telles que ISO 26262 pour l’automobile ou DO-178C pour l’aérospatiale, au moyen des artefacts générés.

Comment utiliser Simulink Design Verifier

Utiliser Simulink Design Verifier implique quelques étapes clés.

Simulink Design Verifier workflow.

Préparer le modèle : préparez le modèle en vue de l’analyse.
1. Sélectionnez le mode d’analyse, tel que la génération de cas de test, la détection d’erreurs de design ou l’analyse de preuve de propriété.
2. Configurez les paramètres d’analyse et vérifiez la compatibilité du modèle avec l’analyse. Pour plus d’informations, consultez Simulink Design Verifier Analysis Fundamentals.
Configurer les paramètres du modèle et exécuter une analyse : spécifiez les paramètres du modèle et effectuez des analyses répondant à vos besoins.
1. Sélectionnez la durée maximale de l’analyse, le mode de couverture, le mode d’erreur run-time, la stratégie et d’autres paramètres de configuration pour l’analyse.
2. Exécutez l’analyse.
Examiner les résultats : affichez les résultats générés.
- Inspecter les résultats du modèle mis en surbrillance par Simulink Design Verifier une fois l’analyse terminée.
- Examiner l’état des objectifs et définir des actions de suivi.
- Générer un rapport d’analyse.
Exporter les résultats : utilisez les enseignements tirés des résultats pour affiner le modèle ou la configuration de l’analyse.
- Créer un harnais pour la simulation.
- Exporter les cas de test vers Simulink Test™.

Pour plus d’informations, consultez Simulink Design Verifier Analysis Fundamentals.

Simulink Design Verifier dans l’approche Model-Based Design

Cette figure illustre les fonctionnalités de Simulink Design Verifier à différentes étapes du workflow de vérification et de validation.

Simulink Design Verifier in model-based workflow.

Avec Simulink Design Verifier, vous pouvez :

Identifier les erreurs de design cachées, telles que les dépassements d’entiers ou les divisions par zéro, et générer des contre-exemples pour débugger les fonctionnalités indésirables. Vous pouvez également justifier ou exclure des objets du modèle de l’analyse.
Vérifier le modèle par rapport aux exigences avec Requirements Toolbox™.
Atteindre la couverture du modèle (Simulink Coverage) en générant des cas de test qui satisfont les objectifs de couverture du modèle.
Effectuer une analyse de la couverture du code (Embedded Coder) en générant des cas de test pour le code généré par Embedded Coder^®.
Étendre les cas de test existants et obtenir la couverture manquante.
Intégrer les cas de test avec Simulink Test pour effectuer des tests de base de référence et d’équivalence.
Le support des normes industrielles est assuré via l’IEC Certification Kit (pour les normes CEI 61508 et ISO 26262) et le DO Qualification Kit (pour DO-178).

Simulink Design Verifier supporte aussi la conformité aux normes industrielles via l’IEC Certification Kit (pour les normes CEI 61508 et ISO 26262), ainsi que le DO Qualification Kit (pour DO-178).