Simulink代码检查器™比较automáticamente el código generado con su模型de origen para cumplir los objetivos de revisión de código de DO-178 y otros estándares de alta integrad。El inspector de código examina sistemáticamente los bloques, los图解de estado, los parámetros y la configuration aciones de modelo para determinar si son funalmente等价于las operaciones, los operadores y los datos del código generado。
Simulink代码检查器prestaciones de análisis de trazabilidad detallados de modelo a código y de código a modelo。这是一个产品种类,它的结构是一样的,它的结构是一样的,它的结构是一样的,它的结构是一样的,它的结构是一样的,它的结构是一样的Además,包括一个应用程序,一个兼容的许可和模型的检查,código。结果inspección de código看起来像一个模型código通讯员。
DO认证套件(适用于DO-178)按比例计算estándares工业。
Preparación modelos para general e inspector ar código
准备好Simulink代码检查器。Simulink代码检查器(Simulink Code Inspector)的结果是什么?
Generación de código a partir de modelos
generere código a partir de modelos con Embedded Coder™。
Inspección de código y revisión de los resultados de la inspección
监察员código一群人,一群人,一群了不起的人。Los resultados aprecen directamente en la app。
Generación de通知y矩阵de trazabilidad
使用la app para general通知de inspección y trazabilidad de código。
recurso项目del producto:
“Con el diseño basado en modelos, nueststro primer vuelo fue perfecto;没有控制的tuvimos问题,ni de integración。Con Embedded code y la generación de código de control 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 "。
迈克·博思韦尔,贝尔直升机