Vérification et validation précoces avec l'approche Model-Based Design

Traçabilité entre les exigences et le design

Nous vous montrons comment assurer la traçabilité de vos exigences tout au long de votre processus de design, jusqu'à l'application finale. MathWorks Consulting vous explique comment tirer parti de Requirements Toolbox pour créer des liens bidirectionnels entre les modèles, les tests, le code et la documentation relative aux exigences, comment générer et utiliser les cas de test et comment créer les rapports nécessaires. Nous nous intégrons à votre système de gestion des exigences et mettons en place une architecture qui assure la maintenabilité et minimise les interventions manuelles.

Respect des normes de modélisation et de codage

Les consultants MathWorks vous apprennent à vérifier la conformité avec les normes de modélisation et de codage applicables à votre industrie, votre application, votre entreprise ou vos normes de sécurité. Nous implémentons des contrôles de modélisation personnalisés dans Simulink Check pour analyser et valider vos modèles. Nous vous aidons à personnaliser Polyspace Bug Finder pour vérifier la conformité du code généré automatiquement ou écrit manuellement avec les normes de codage.

Tests et rapports basés sur la simulation

Nous vous montrons comment exécuter des tests d'équivalence en mode MIL (Model-in-the-Loop), SIL (Software-in-the-Loop) et PIL (Processor-in-the-Loop) pour confirmer que le comportement du logiciel correspond à celui du modèle. Nous vous expliquons comment appliquer l’analyse de la couverture avec Simulink Coverage au niveau du modèle et du code pour évaluer la qualité des cas de test existants et comment générer des harnais de test avec Simulink Design Verifier pour renforcer la fiabilité de votre design. Nous vous indiquons la meilleure façon d'utiliser Simulink Test pour exécuter des tests de manière flexible et générer les rapports correspondants, ou pour mettre en œuvre des tests automatisés à grande échelle et les connecter à des outils tiers.

Vérification via des méthodes formelles

MathWorks Consulting vous aide à prouver que votre design est conforme à votre application finale. Nous vous présentons comment Simulink Code Inspector peut inspecter le code généré et comment Simulink Design Verifier peut détecter certaines erreurs comme la logique morte, les dépassements d'entiers, les divisions par zéro, etc. Nous vous formons à l’utilisation de Polyspace Code Prover pour vérifier l’exactitude du code en prouvant l’absence de dépassements, de divisions par zéro et de certaines autres erreurs run-time.

MathWorks Consulting Services vous permet de :

• Mettre en place un workflow de vérification et de validation de façon précoce et continue avec l'approche Model-Based Design
• Garantir la traçabilité et la qualité tout au long du processus de développement
• Mettre en place des processus pour détecter et corriger rapidement les erreurs de design
• Vérifier que l’application finale satisfait aux exigences