Simulink Check
Vérifier la conformité aux directives et normes de modélisation
Simulink Check™ propose des règles de vérification et des métriques reconnues dans l'industrie permettant d'identifier les violations des normes et directives lors du développement du modèle. Les normes de développement de logiciels critiques supportées incluent les normes DO-178, ISO 26262, IEC 61508, IEC 62304 et les directives du MathWorks Automotive Advisory Board (MAAB). Les contrôles en cours d'édition permettent d'identifier les problèmes de conformité lors de la création du modèle. Vous pouvez créer des règles de vérification personnalisées 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 l'architecturede votre modèle et la conformité aux normes. Un nouveau tableau de bord de métriques consolidé vous permet d'évaluer l'état et la qualité du design. Le refactoring automatique du modèle vous permet de remplacer les éléments dupliqués du design, de réduire sa complexité et d'identifier le contenu réutilisable. L'outil Model Slicer isole les comportements problématiques au sein d'un modèle et génère un modèle simplifié pour le débogage.
Le support des normes industrielles est assuré via l'IEC Certification Kit (ISO 26262 et IEC 61508) et le DO Qualification Kit (DO-178).
En savoir plus:
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 supporter les normes industrielles telles que DO-178C, DO-331, ISO 26262, IEC 61508 et EN 50128, ainsi que la norme MISRA C:2012, les directives de style MAAB, la norme IEC 62304 pour le développement de logiciels critiques et des normes de codage sécurisé comme CERT C, CWE et ISO/IEC TS 17961.
Rapports interactifs 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.
Identifiez et corrigez les problèmes de conformité en phase de design.
Contrôle de conformité aux normes de sécurisation
Pour améliorer la conformité de votre code généré aux normes CERTC, CWE et ISO/IEC TS 17961, vous pouvez contrôler votre modèle pour identifier les constructions de modélisation susceptibles d'introduire des non-conformités aux normes de codage.
Détection des blocs susceptibles de pénaliser la conformité du code généré aux normes de codage sécurisé
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 à l'aide des API de Model Advisor et du 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éez des règles personnalisées à l'aide du Model Advisor Configuration Editor.
Collecter les métriques du modèle
Simulink Check collecte les métriques du modèle que vous pouvez utiliser pour évaluer l'architecture, la complexité et la lisibilité de votre modèle au regard des normes DO-178, DO-331, IEC 61508, IEC 62304, ISO 26262 et EN 50128.
Utilisez l'API des métriques de modèle pour collecter des métriques personnalisées.
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.
Metrics Dashboard 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, ainsi que sur une analyse dynamique des dépendances basée sur le comportement actif lors de la simulation pour mieux comprendre les dépendances fonctionnelles dans un modèle de grande taille ou complexe.
Créer un modèle autonome simplifié
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.
Mettez en évidence la partie du modèle à isoler.
Découpage temporel basé sur l'activité avec Stateflow
La mise en évidence 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 afin d'isoler le comportement intéressant.
Identifiez 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 les clones. 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 les motifs de modélisation susceptibles d'être transformées 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é.
Identifiez des motifs de modélisation susceptibles d'être remplacées par des variants.
Application de refactorisation automatique des clones
détectez les clones d’éléments de bibliothèques ou de sous-systèmes, refactorisez et vérifiez l’équivalence d’un modèle refactorisé.
Contrôles en cours d’édition dans la perspective de code
identifiez les blocs non supportés par la génération de code.
Débogage des violations de preuves de propriétés
lancez Model Slicer pour déboguer les violations de preuves de propriétés depuis Simulink Design Verifier.
Support JMAAB 5.1 additionnel
améliorez la qualité et la conformité aux directives.
Règles additionnelles du MAAB 3.0 et pour les systèmes critiques
automatisez la vérification des modèles conformément aux directives de modélisation JMAAB 5.1.
Reportez-vous aux notes de version pour en savoir plus sur ces fonctionnalités et les fonctions correspondantes.
