Simulink Code Inspector

Automatiser et gérer les revues de code source pour les normes de sécurité

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

Introduction à Simulink Code Inspector

L'interface de l'application montrant côte à côte un modèle et les résultats de sa vérification de compatibilité.

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.

Documentation | Exemples

L'interface de l'application montrant côte à côte un modèle et le code généré associé.

Générer du code à partir de modèles

Générez du code à partir de vos modèles avec Embedded Coder.

Documentation | Exemples

L'interface de l'application montrant un modèle, le code généré associé et les résultats de l'inspection.

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.

Documentation | Exemples

Un rapport généré par Simulink Code Inspector.

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

Documentation | Exemples

Ressources produits :

Documentation Vidéos Articles techniques Fonctions Support de la norme ISO 26262 Configuration requise Notes de version Quick-Start Tutorial DO-178 Suppport

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

Voir d'autres témoignages de clients