Logiciel d'inspection Simulink Code Inspector™

Le code Inspector™ de Simulink compare automatiquement le code produit à son modèle de source pour satisfaire des objectifs de code-revue dans DO-178 et d'autres normes à haut niveau d'intégration. L'inspecteur de code examine systématiquement des blocs, des diagrammes d'état, des paramètres, et des arrangements dans un modèle pour déterminer s'ils sont structurellement équivalent aux opérations, opérateurs, et données dans le code produit. L'inspecteur de code de Simulink fournit l'analyse détaillée de traçabilité de modèle-à-code et de code-à-modèle. Elle produit de l'équivalence structurale et la traçabilité signale que vous pouvez soumettre aux autorités de certification pour satisfaire DO-178 intégrant des objectifs dans le logiciel de vérification.