Simulink Code Inspector compare automatiquement le code généré avec son modèle source pour répondre aux objectifs de revue de code de la norme DO-178 et d'autres normes de haute intégrité. L'inspecteur de code examine systématiquement les blocs, les diagrammes d'états, les paramètres et les configurations d'un modèle afin de déterminer s'ils sont fonctionnellement équivalents aux opérations, aux opérateurs et aux données du code généré.
Simulink Code Inspector permet une analyse détaillée de la traçabilité modèle/code et code/modèle. Il génère des rapports de traçabilité et d'équivalence fonctionnelle que vous pouvez soumettre aux autorités de certification pour répondre aux objectifs de vérification de codage de software conformément à la norme DO-178. Il inclut une application qui vous permet de vérifier la compatibilité du modèle et d'inspecter le code. Les résultats de l'inspection du code sont affichés dans le modèle et dans le code associé.
Le support des normes de l'industrie est assuré par le DO Qualification Kit (for DO-178).
Préparer les modèles pour la génération et l'inspection du code
Préparez vos modèles en vue d'une utilisation avec Simulink Code Inspector en exécutant les vérifications de compatibilité des modèles. Les résultats apparaissent directement dans l'application Simulink Code Inspector, où des correctifs peuvent être appliqués.
Générer du code à partir de modèles
Générez du code à partir de vos modèles avec Embedded Coder.
Inspecter le code et examiner les résultats de l'inspection
Inspectez le code généré pour vérifier sa conformité au modèle. Les résultats sont disponibles directement dans l'application.
Générer des rapports et des matrices de traçabilité
Utilisez l'application pour générer les rapports d'inspection du code et de traçabilité.
Ressources produits :
«Grâce à l'approche Model-Based Design, notre premier vol a été un succès. Il n'y a eu aucun problème du point de vue du contrôle ou de l'intégration. Avec Embedded Coder, la génération du code régissant le contrôle à partir de notre modèle Simulink a éliminé tous les ralentissements causés par la génération manuelle de code, ce qui a permis à l'équipe d'avoir davantage de temps à consacrer aux objectifs plus globaux du programme. »
FAQ sur Simulink Code Inspector
Simulink Code Inspector compare automatiquement le code généré avec son modèle source afin de satisfaire les objectifs de revue de code définis par la norme DO-178 en examinant les blocs, les diagrammes d’états, les paramètres et les réglages pour vérifier l'équivalence fonctionnelle. Il fournit une analyse détaillée de la traçabilité modèle-code et code-modèle.
Il examine systématiquement les blocs, les diagrammes d’états, les paramètres et les réglages d'un modèle pour déterminer s'ils sont équivalents fonctionnellement aux opérations, aux opérateurs et aux données du code généré. Le processus d'inspection du code construit une représentation en mémoire du modèle qui est indépendante du processus de génération de code.
Il génère des rapports d'équivalence fonctionnelle et de traçabilité, y compris une analyse détaillée de la traçabilité modèle-code et code-modèle pouvant être soumise aux autorités de certification.
Vous pouvez exécuter des vérifications de compatibilité du modèle à l'aide de Model Advisor ou de l'app Simulink Code Inspector. Ces vérifications peuvent également être activées lors de l’édition pour identifier les problèmes d'incompatibilité au fur et à mesure que vous travaillez sur votre conception.
Il prend en charge DO-178C, avec un support disponible via le DO Qualification Kit.
Oui. Vous devez générer le code à partir de vos modèles en utilisant Embedded Coder avant de l'inspecter avec Simulink Code Inspector.
Vous souhaitez en savoir plus sur le produit Simulink Code Inspector ?
Pour aller plus loin…
Navigation dans l'interface
Workflow DO-178C
Consultez un workflow DO-178C avec génération de code qualifié.
Navigation dans l'interface
Étude de cas DO-178
En savoir plus sur l'utilisation d'outils MathWorks sur un projet DO-178.
Navigation dans l'interface
Service de consulting pour la certification DO-178
Collaborez avec MathWorks Consulting pour migrer votre processus de développement logiciel existant.
