Objectif: Introduire la vérification et la validation dans l'environnement Simulink et son rôle dans un workflow Model-Based Design.

• Test et vérification en continu
• Les types de vérifications
• L'environnement du projet

Objectif: Créer des jeux de tests séquentiels et temporels pour des modèles Simulink.

• Définition des cas de test
• Génération d'un modèle de test
• Création et Import des entrées du test
• Ajout de logique dans les tests

Objectif: Analyser les résultats de test d'une simulation Simulink, à la fois durant et après la simulation.

• Analyse des résultats basée sur les exigences
• Enregistrement, examen et comparaison des résultats de test
• Couverture de modèle

Objectif: Créer des groupes de jeux de tests et générer automatiquement un rapport à partir des résultats.

• Création des fichiers de test
• Configuration des tests de base, de simulation et d'équivalence
• Visualisation et documentation des résultats de test

Objectif: Utiliser les méthodes formelles pour analyser mathématiquement les modèles Simulink sans besoin de cas test.

• Utilisation de Simulink Design Verifier
• Génération automatique de tests
• Preuve de propriétés du modèle
• Détection des erreurs de design