Simulink Check
Mesurer la qualité du design, suivre les activités de vérification et vérifier le respect des normes
Vous avez des questions ? Contactez l'équipe commerciale.
Simulink Check analyse vos modèles, exigences et tests pour évaluer la qualité du design et la conformité aux normes. Cet outil propose des règles de vérification et des métriques reconnues dans l’industrie permettant d'identifier les violations des normes et des directives de modélisation lors du design. Les normes de développement de logiciels critiques supportées sont les suivantes : ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 et EN 50716. L'outil tient également compte des directives de style du MathWorks Advisory Board (MAB). Simulink Check couvre aussi des normes de codage sécurisé comme CERT C, CWE et ISO/IEC TS 17961. Vous pouvez créer des règles de vérification personnalisées permettant d'identifier les problèmes de conformité directement dans l'éditeur afin d'assurer la conformité à vos propres normes ou directives internes.
Simulink Check propose des métriques et des tableaux de bord pour évaluer le statut et la qualité de votre design. La refactorisation automatique de modèles vous permet de remplacer les clones de modélisation, de réduire la complexité du design et d'identifier les contenus réutilisables. L'outil Model Slicer isole les comportements problématiques dans les modèles et génère des modèles simplifiés pour le débuggage.
Le support des normes industrielles est assuré via l'IEC Certification Kit (for ISO 26262 and IEC 61508) et le DO Qualification Kit (for DO-178).
Conformité aux normes de modélisation
Connecter des agents IA à Simulink Check
Intégrez des capacités spécifiques à votre domaine, dans votre workflow d'IA agentique.
Vérifier la conformité aux normes de l'industrie
Utilisez des règles de vérification préconfigurées pour les normes de l'industrie telles que ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128, MISRA C:2012, les directives MathWorks Advisory Board (MAB), JMAAB, CERT C, CWE, et ISO/IEC TS 17961.
Identifier et corriger les erreurs au fur et à mesure
Utilisez le bord Model Guidance Dashboard pour identifier les erreurs et les corriger dès leur apparition afin d'éviter des reprises ultérieures. Créez des contrôles personnalisés à l’édition pour Simulink, System Composer ou Stateflow afin de répondre aux normes de votre organisation.
Personnaliser les vérifications de modèles
Créez, configurez et automatisez des vérifications Model Advisor personnalisées afin de vous assurer que les modèles sont conformes aux normes et directives de votre entreprise.
Automatiser la revue des modèles et la création de rapports
Générez des rapports Model Advisor à des fins de revue. Justifiez les violations afin de supprimer les avertissements et erreurs. Exécutez les vérifications sur plusieurs machines en parallèle pour accélérer la vérification de la conformité avec Parallel Computing Toolbox.
Exécuter des vérifications avec des agents IA
Avec Simulink Agentic Toolkit et Simulink Check, vous pouvez utiliser des agents IA pour créer des vérifications, examiner la conformité, détecter des problèmes et proposer des corrections. Vous pouvez également automatiser les corrections et vérifier à nouveau le modèle tout en supervisant les actions des agents.
Mesurer la qualité, la complexité et la maintenabilité
Évaluez la taille, l'architecture et la complexité de votre modèle, avec des métriques de modèle pour améliorer la lisibilité, la maintenabilité et la réutilisation des artefacts MATLAB, Simulink et Stateflow de votre projet. Les tableaux de bord rassemblent les métriques pour vous aider à suivre votre progression vers la conformité aux normes ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 et autres.
L'automatisation CI/CD pour l'approche Model-Based Design
Simplifiez l'adoption et optimisez les workflows d'intégration continue et de livraison continue (CI/CD) grâce au CI Support Package for Simulink. Définissez votre pipeline CI/CD, préqualifiez les modifications sur votre desktop pour éviter les échecs de compilation, intégrez des systèmes CI tels que Jenkins® ou Gitlab® et exécutez des compilations incrémentales pour réduire la durée de compilation.
Simplifier et débugger les modèles complexes
Utilisez Model Slicer pour mettre en évidence les dépendances fonctionnelles via une combinaison d'analyses statiques et dynamiques basées sur le comportement actif pendant la simulation. Débuggez des erreurs telles que les échecs des tests de référence ou des tests d'équivalence, les contre-exemples de preuve de propriété ou les dépassements d'entiers.
Identifier et refactoriser les clones de modélisation
Analysez des modèles pour localiser les clones et les patterns de modélisation en doublon. Automatisez la refactorisation afin d'améliorer la maintenabilité, d'augmenter la réutilisation et de réduire la complexité du design. Détectez les patterns inefficaces et refactorisez-les afin d'améliorer l'efficacité du code généré.
Ressources produits :
« Nous utilisons notre modèle de design de système dans Simulink pour l'ARP4754 afin d'établir des exigences stables et objectives. Nous gagnons du temps en utilisant ce modèle comme base pour notre modèle de design logiciel pour le DO-178 (à partir duquel nous générons le code pour l’avionique) et également en réutilisant les tests de validation pour la vérification logicielle. »
FAQ sur Simulink Check
Simulink Check est un module complémentaire Simulink qui aide les ingénieurs à améliorer la qualité de leurs modèles Simulink en identifiant automatiquement les problèmes potentiels et en vérifiant la conformité aux directives de modélisation ou aux normes industrielles. Il propose des outils pour exécuter des vérifications, examiner les résultats et suivre les métriques de qualité.
Simulink Check supporte des normes de haute intégrité, notamment ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, EN 50128 et les directives du MathWorks Advisory Board (MAB), ainsi que des normes de codage sécurisé telles que CERT C, CWE et ISO/IEC TS 17961.
Oui, vous pouvez configurer, personnaliser et automatiser des vérifications Model Advisor afin de vous assurer que les modèles sont conformes aux normes et directives de votre entreprise, en identifiant les problèmes de conformité directement dans l'éditeur.
Le Model Testing Dashboard regroupe les données issues des activités de test basées sur les exigences afin de suivre le statut et la qualité des artefacts des tests unitaires, et d'évaluer l'exhaustivité des tests basés sur les exigences pour la conformité aux normes ISO 26262 et DO-178C.
La vérification en cours d'édition identifie les erreurs et les corrige dès leur apparition dans le canevas Simulink afin d'éviter les remaniements ultérieurs. Elle vous permet de créer des vérifications personnalisées pour Simulink, System Composer ou Stateflow répondant aux normes de votre entreprise.
Model Slicer met en évidence les dépendances fonctionnelles pour isoler les comportements problématiques dans les modèles et génère des modèles simplifiés afin de débugger des problèmes tels que les échecs des tests de référence ou des tests d’équivalence, ou les dépassements d’entiers.
Oui, Simulink Check analyse les modèles pour localiser les clones et les patterns de modélisation en doublon, puis les refactorise automatiquement afin d'améliorer la maintenabilité, d'augmenter la réutilisation et de réduire la complexité du design.
Oui, le CI/CD Automation for Simulink Check Support Package simplifie l'adoption des workflows d'intégration continue et de livraison continue (CI/CD). Il vous permet de définir des pipelines, d'effectuer une préqualification sur votre desktop, d'assurer l'intégration avec des systèmes comme Jenkins ou GitLab et d'exécuter des compilations incrémentales.
Simulink Check propose des métriques sur la taille, l'architecture et la complexité des artefacts MATLAB, Simulink et Stateflow pour améliorer la lisibilité, la maintenabilité et la réutilisation tout en suivant les progrès vers la conformité aux normes.
Oui, vous pouvez exécuter des vérifications sur plusieurs cœurs ou clusters en mode parallèle pour réduire le temps de traitement et accélérer la vérification de la conformité lorsqu'il est utilisé avec Parallel Computing Toolbox.
Essayez Simulink Check gratuitement
Découvrez nos produits.
Prêt à acheter ?
Découvrez les tarifs et les produits.
Vous êtes étudiant ?
Votre établissement propose peut-être déjà un accès à MATLAB, Simulink et d'autres produits complémentaires via la licence Campus-Wide.
