Simulink Code Inspector compara automáticamente el código generado con su modelo de origen para cumplir los objetivos de revisión de código de DO-178 y otros estándares de alta integridad. El inspector de código examina sistemáticamente los bloques, los diagramas de estado, los parámetros y las configuraciones de un modelo para determinar si son funcionalmente equivalentes a las operaciones, los operadores y los datos del código generado.
Simulink Code Inspector ofrece prestaciones de análisis de trazabilidad detallados de modelo a código y de código a modelo. El producto genera informes de equivalencia estructural y trazabilidad que se pueden enviar a las autoridades certificadoras para cumplir los objetivos de DO-178 para la verificación de código de software. Además, incluye una app que permite comprobar la compatibilidad del modelo e inspeccionar el código. Los resultados de la inspección de código aparecen en el modelo y en el código correspondiente.
DO Qualification Kit (for DO-178) proporciona soporte para los estándares de la industria.
Preparación de modelos para generar e inspeccionar código
Prepare los modelos para utilizarlos con Simulink Code Inspector realizando las correspondientes comprobaciones de compatibilidad. Los resultados aparecen directamente en la app Simulink Code Inspector, donde se pueden aplicar las correcciones.
Generación de código a partir de modelos
Genere código a partir de modelos con Embedded Coder.
Inspección de código y revisión de los resultados de la inspección
Inspeccione el código generado para comprobar la conformidad con el modelo. Los resultados aparecen directamente en la app.
Generación de informes y matrices de trazabilidad
Utilice la app para generar informes de inspección y trazabilidad de código.
Recursos del producto:
“Con el diseño basado en modelos, nuestro primer vuelo fue perfecto; no tuvimos problemas de control ni de integración. Con Embedded Coder y la generación de código de normas de control a partir de nuestro modelo de Simulink, pudimos eliminar todos los retrasos causados por la generación manual de código, lo que liberó al equipo para trabajar en los objetivos generales del programa”.
Preguntas frecuentes sobre Simulink Code Inspector
Simulink Code Inspector compara automáticamente el código generado con su modelo fuente para satisfacer los objetivos de revisión de código de la norma DO-178, examinando bloques, diagramas de estados, parámetros y ajustes para verificar la equivalencia funcional. Proporciona un análisis detallado de trazabilidad model-to-code y code-to-model.
Examina sistemáticamente los bloques, los diagramas de estados, los parámetros y los ajustes de un modelo para determinar si son funcionalmente equivalentes a las operaciones, operadores y datos del código generado. El proceso de inspección de código construye una representación en memoria del modelo que es independiente del proceso de generación de código.
Genera informes de equivalencia funcional y de trazabilidad, incluidos análisis detallados de trazabilidad model-to-code y code-to-model que se pueden presentar ante las autoridades de certificación.
Puede ejecutar comprobaciones de compatibilidad del modelo usando Model Advisor o la app Simulink Code Inspector. Estas comprobaciones también pueden habilitarse en tiempo de edición para identificar problemas de incompatibilidad mientras trabaja en su diseño.
Admite DO-178C, con soporte disponible a través del DO Qualification Kit.
Sí. Debe generar código a partir de sus modelos usando Embedded Coder antes de inspeccionarlo con Simulink Code Inspector.
¿Tiene interés en Simulink Code Inspector?
Siguientes pasos
Navegación de panel
Flujo de trabajo de DO-178C
Vea un flujo de trabajo de DO-178C con generación de código calificado.
Navegación de panel
Caso práctico de DO-178
Aprenda a utilizar las herramientas de MathWorks en un proyecto de DO-178.
Navegación de panel
Servicio de asesoría para certificación DO-178
Colabore con MathWorks Consulting Services para migrar su proceso de desarrollo de software actual.
