Simulink Check
Mesurer la qualité du design, suivre les activités de vérification et vérifier le respect des normes
Simulink Check™ analyse vos modèles, exigences et tests pour évaluer la qualité du design et la conformité aux normes. L'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 développement. 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 afin d'assurer la conformité à vos propres normes ou directives internes. Les vérifications en cours d'édition permettent d'identifier les problèmes de conformité lors de la création du modèle.
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 tableau de bord de tests de modèles 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ébogage.
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 and DO-254).
En savoir plus:
Ressources proposées gratuitement
Automatiser la vérification et la validation avec Simulink
Accéder aux ressourcesVé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.
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.
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.
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é.
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 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é.
Cliquer sur le widget du tableau de bord pour voir les détails de la métrique dans un tableau de validation ISO 26262.
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.
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.
Tableau de bord des métriques avec une vue consolidée de l'état du design.
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 à 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 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.
