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).

 

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

Vérifier la conformité 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 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.

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.

Mesurer et visualiser les métriques du modèle

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

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.

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, 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.

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 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.

Nouveautés

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.

Développez et déployez des logiciels de maintenance prédictive sur des systèmes IT/OT d'entreprise et des dispositifs embarqués.

Version d’évaluation

Bénéficiez d'une version d'évaluation de 30 jours.

Télécharger

Prêt à acheter ?

Obtenez les tarifs et explorez les produits associés.

Vous êtes étudiant ?

Obtenez la version étudiante des logiciels MATLAB et Simulink.

En savoir plus