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  ? Contacter un commercial.

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 de la conception. Les normes de développement de logiciels critiques supportées sont les suivantes : ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119 et IEC 62304. 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 comme la taille et la complexité, que vous pouvez utiliser pour évaluer le statut et la qualité de votre design. Le Model Testing Dashboard regroupe les données de vos activités de test basées sur les exigences, afin de suivre les statuts des tests. 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

Règles de vérification de la conformité aux normes de l'industrie dans Model Advisor, montrant les résultats de ces exécutions : réussite, échec, avertissement et justifié.

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.

Utiliser l'approche Model-Based Design pour assurer la conformité à la certification DO-254

Documentation | Exemples

Une structure de dossiers avec des règles de vérification personnalisées sélectionnées, qui génère un avertissement si une forme d'icône incorrecte est utilisée pour un opérateur logique.

Personnaliser les vérifications de modèles

Configurez, personnalisez et automatisez les vérifications Model Advisor afin de vous assurer que les modèles sont conformes aux normes et directives de votre entreprise.

Comment définir des vérifications personnalisées en cours d'édition (3:58)

Documentation | Exemples

Identifier et corriger les erreurs au fur et à mesure

Utilisez la vérification en cours d'édition pour identifier les erreurs et les corriger dès leur apparition afin d'éviter les remaniements ultérieurs. Créez des vérifications en cours d'édition personnalisées pour Simulink, System Composer ou Stateflow afin d'assurer la conformité aux normes de votre entreprise.

Identifier en cours d'édition les erreurs relatives aux directives de modélisation d'architecture logicielle et système (3:32)

Documentation | Exemples

Pour l'analyse, votre système de compilation prend en entrée un projet MATLAB et votre modèle de processus, puis génère la liste des tâches qui ont été exécutées avec succès dans le pipeline.

Automatisation CI/CD pour l'approche Model-Based Design

Simplifiez l'adoption et l'optimisation des workflows CI/CD (Continuous Integration/Continuous Deployment) pour Simulink avec le support package CI/CD Automation for Simulink Check. Vous pouvez définir votre pipeline CI/CD, effectuer une préqualification sur votre desktop pour éviter les échecs de compilation, intégrer des systèmes CI tels que Jenkins^® ou Gitlab^® et exécuter des compilations incrémentales pour réduire la durée de compilation.

Obtenir le support package

Documentation

Le Model Testing Dashboard avec un panneau d'artefacts montrant un arbre de modèles, d'exigences et de tests.

Suivre les tests basés sur les exigences

Suivez le statut et la qualité des artefacts des tests unitaires afin d'évaluer l'exhaustivité de vos tests basés sur les exigences et d'assurer la conformité aux normes ISO 26262 et DO-178C. Évaluez le statut et la qualité de vos tests de code pour les tests Software-in-the-Loop (SIL) et Processor-in-the-Loop (PIL) en utilisant les résultats des métriques dans les tableaux de bord SIL Code Testing et PIL Code Testing.

Gérer les processus de test basé sur des exigences avec le Model Testing Dashboard (5:13)

Documentation | Exemples

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 de vos artefacts MATLAB, Simulink et Stateflow dans votre projet. Les tableaux de bord rassemblent les métriques pour vous aider à suivre votre progression vers la conformité aux normes telles qu'ISO 26262, DO-178C, IEC 61508, IEC 62304, EN 50128 et autres.

Objectifs de qualité des modèles (MQO) pour la collaboration entre OEM et fournisseurs (24:13)

Documentation | Exemples

Model Advisor montrant une vérification pour les paramètres de police du modèle.

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.

Documentation | Exemples

Un modèle Simulink avec mise en surbrillance des signaux et blocs qui affectent une sortie de signal spécifique.

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 (4:03) ou des tests d'équivalence, les contre-exemples de preuve de propriété (6:33) ou les dépassements d'entiers.

Débugger les défaillances des tests de référence avec Model Slicer (4:03)

Documentation | Exemples

Les patterns en doublon dans un modèle sont mis en évidence sous forme de groupes de clones, et un diagramme à barres en montre un résumé.

Identifier et refactoriser les clones de modélisation dans les modèles

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.

Détection des clones de modélisation (2:13)

Documentation | Exemples

Ressources produits :

Documentation Exemples Vidéos Configuration requise Notes de version

Airbus Helicopters accélère le développement de logiciels certifiés DO-178B grâce à l'approche Model-Based Design

« 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.»
Ronald Blanrue, Airbus Helicopters

Voir d'autres témoignages de clients