Simulink Check

MISE A JOUR IMPORTANTE

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.

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.

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.

Mesurer la qualité du modèle avec des métriques

Collectez les métriques du modèle 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. Intégrez des 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.

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

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 ou des tests d'équivalence, les contre-exemples de preuve de propriété ou les dépassements d'entiers.

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.

« 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