Simulink Check

 

Simulink Check

Mesurer la qualité du design, suivre les activités de vérification et vérifier le respect des normes

En savoir plus:

Vérifier la qualité d'un modèle

Vérifiez la conformité aux directives de style et aux standards de modélisation.

Vérifications prêtes à l'emploi pour le développement de logiciels critiques

Pour améliorer la qualité et la sécurité des modèles et du code généré, Simulink Check propose des règles préconfigurées pour le respect des normes industrielles telles que ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119 et EN 50128, ainsi que la norme MISRA C:2012, les directives de style du MathWorks Advisory Board (MAB), la norme IEC 62304 pour le développement de logiciels critiques et les normes de codage sécurisé comme CERT C, CWE et ISO/IEC TS 17961.

Modèle mis en évidence avec une violation de la directive.

Rapport interactif présentant les résultats et les actions recommandées.

Identifier et corriger les erreurs en cours d'édition

Tout comme la vérification orthographique vous permet d'éviter les fautes d'orthographe dans un document, la vérification en cours d'édition vous avertit des violations au fur et à mesure que vous créez le modèle. Vous pouvez corriger les erreurs au fur et à mesure afin d'éviter les remaniements coûteux et la mise en œuvre de nouveaux tests à un stade plus avancé du processus de développement.

Contrôle en cours d'édition

Identifier et corriger les problèmes de conformité en phase de design avec le contrôle en cours d'édition.

Configurer, personnaliser et automatiser les vérifications du modèle

Pour assurer la conformité de votre modèle aux normes ou directives de votre organisation, vous pouvez personnaliser des règles de vérification et des configurations de modélisation avec des API de Model Advisor et Model Advisor Configuration Editor. Vous pouvez exécuter les vérifications sur plusieurs machines en parallèle pour accélérer la vérification de la conformité.

Créer des règles personnalisées avec le Model Advisor Configuration Editor.

Créer des règles personnalisées avec le Model Advisor Configuration Editor.

Vérifier la conformité aux normes de sécurité

Pour réduire les problèmes de conformité dans votre code généré pour CERT C, CWE et ISO/IEC TS 17961, vous pouvez vérifier votre modèle pour identifier les éléments de modélisation susceptibles de violer les normes de codage. Avec la vérification en cours d'édition, vous identifiez d'éventuels problèmes, comme l'ajout d'un bloc ne respectant pas des normes de codage sécurisé, au fur et à mesure du développement.

Détecter les blocs susceptibles de pénaliser la conformité du code généré aux normes de codage sécurisé.

Détecter les blocs susceptibles de pénaliser la conformité du code généré aux normes de codage sécurisé.

Suivre et mesurer l'exhaustivité des tests

Évaluez l'exhaustivité de vos tests basés sur les exigences pour vous conformer aux normes ISO 26262 et DO-178C.

Métriques de test basées sur les exigences

Le Model Testing Dashboard vous donne un aperçu de la qualité et de l'exhaustivité de vos tests basés sur les exigences, et intègre les directives de normes reconnues par l'industrie pour le développement de logiciels, notamment ISO 26262 et DO-178. Il forme une continuité numérique entre les artefacts d'un projet provenant de sources multiples comme les exigences, les modèles, les tests et les résultats des tests. Il analyse leur cohérence et leur exhaustivité, et propose des métriques détaillées sur leur état.

Les widgets du tableau de bord résument chaque métrique pour évaluer rapidement les résultats actuels des tests, notamment le respect des directives, l'achèvement des tests pour les exigences et le pourcentage d'exigences couvertes par les tests.

Passer en revue et gérer les artefacts des tests basés sur les exigences

Le Model Testing Dashboard analyse les artefacts et les liens de traçabilité au sein de votre projet et montre les exigences fonctionnelles, les cas de test et les résultats des tests pour chaque composant de votre projet dans le volet Artifacts. Les artefacts sans traçabilité par rapport aux modèles sont mis en évidence pour vous aider à identifier les lacunes dans l'implémentation ou la vérification.

Le tableau de bord identifie les artefacts sans traçabilité.

Le tableau de bord vous indique les artefacts qui ne sont rattachés à aucun élément du projet.

Évaluer l'exhaustivité des tests conformément à la norme ISO 26262

Utilisez le Model Testing Dashboard pour évaluer la qualité et l'exhaustivité de vos activités de test basées sur les exigences, conformément à la norme ISO 26262-6:2018. Le tableau de bord contrôle la traçabilité entre les exigences, les tests et les résultats des tests. Il analyse les artefacts d'implémentation et de vérification dans votre projet et propose des mesures d'exhaustivité et de qualité pour les cas de test basés sur les exigences et les résultats des tests, conformément à la norme ISO 26262-6:2018. Le tableau de bord organise les exigences, les cas de test et les résultats des tests en fonction des modèles auxquels ils renvoient, ce qui vous donne un aperçu de l'exhaustivité des tests et de la couverture structurelle de chaque unité.

Évaluer l'exhaustivité des tests conformément à la norme ISO 26262.

Cliquer sur le widget du tableau de bord pour voir les détails de la métrique dans un tableau de validation ISO 26262.

Mesurer et visualiser les métriques du modèle

Évaluez l'état de votre projet avec des métriques issues d'outils pour l'approche Model-Based Design.

Collecter des métriques pour mesurer la qualité du modèle

Simulink Check collecte des métriques du modèle que vous pouvez utiliser pour évaluer l'architecture, la complexité et la lisibilité de votre modèle conformément aux normes ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304, EN 50128 et autres.

Utiliser l'API des métriques de modèle pour collecter des métriques personnalisées.

Collecter et personnaliser les métriques du modèle pour évaluer la qualité.

Afficher les métriques consolidées dans un tableau de bord

Le Metrics Dashboard intègre diverses métriques portant notamment sur la taille du modèle, les lignes de code, l'état de conformité aux directives, la réutilisation et la complexité de votre modèle dans une vue unique, qui vous donne une vision globale de la qualité de votre projet. Utilisez le tableau de bord pour vérifier la qualité de votre design et le respect des normes lorsque vous passez en revue votre modèle.

Le Metrics Dashboard regroupe les métriques dans une vue unique.

Tableau de bord des métriques avec une vue consolidée de l'état du design.

Simplifier et déboguer les modèles complexes

Utilisez Model Slicer pour isoler les fonctionnalités grâce à une combinaison d'analyse dynamique et d'analyse statique.

Mettre en évidence les dépendances

Model Slicer s'appuie sur une analyse statique des dépendances pour mettre en évidence les interdépendances entre les blocs, les signaux et les composants du modèle. Il se fonde également sur une analyse dynamique des dépendances basée sur le comportement actif lors de la simulation pour vous aider à mieux comprendre les dépendances fonctionnelles dans un modèle de grande taille ou complexe.

Débogage des erreurs de conception et les échecs de tests

En cas d'échec d'un test dans Simulink Test™ ou d'identification d'une violation de propriété dans Simulink Design Verifier™, commencez le débogage avec Model Slicer pour isoler la cause de l'erreur et résoudre le problème plus rapidement.

Créer des modèles autonomes simplifiés

Model Slicer est en mesure d'isoler une partie du modèle compte tenu d'un point de départ spécifié par l'utilisateur, de signaux enregistrés ou d'une fenêtre temporelle de simulation, puis de l'enregistrer sous la forme d'un modèle plus petit qui préserve le comportement de simulation pour faciliter le débogage et améliorer les performances.

Mettre en évidence une partie d'un modèle pour l'isoler.

Mettre en évidence une partie d'un modèle à isoler pour faciliter le débogage.

Découpage temporel basé sur l'activité avec Stateflow

La mise en évidence d'un modèle peut être limitée aux intervalles de temps de simulation sur lesquels seuls certains états et transitions sélectionnés dans Stateflow® sont simultanément actifs lors d'une simulation; ceci afin d'isoler le comportement d'intérêt.

Identifier la logique active lorsqu'un état est actif.

Identifier la logique active lorsqu'un état est actif.

Refactoriser les modèles pour améliorer les designs et augmenter la réutilisation des composants

Identifiez les clones et les motifs de modélisation susceptibles d'être refactorisés automatiquement afin d'améliorer la maintenabilité.

Identifier et refactoriser les clones de modélisation

L'outil Identify Modeling Clones permet d'analyser un modèle pour identifier des patterns de modélisation dupliqués. Ces clones peuvent ensuite être refactorisés automatiquement avec une bibliothèque réutilisable afin d'améliorer la maintenabilité et de réduire la complexité des designs.

Transformer les modèles pour améliorer la réutilisation des composants et la lisibilité des modèles

L'outil Model Transformer permet d'identifier des patterns de modélisation susceptibles d'être transformés en blocs Variant Source ou Variant Subsystem pour refactoriser le modèle en vue d'améliorer sa subdivision et sa réutilisation. Il est capable d'identifier les blocs Data Store qu'il est possible d'éliminer afin d'améliorer la lisibilité.

Identifier des patterns de modélisation susceptibles d'être remplacés par des variants.

Identifier des patterns de modélisation susceptibles d'être remplacés par des variants.