万博1manbetxSimulink代码检查器
自动修订《宪法》
万博1manbetxSimulink Code Inspector™compara automáticamente el código generado con su modelo de origen para satisfacer los objetivos revisión de código de DO-178 y otros estándares de alta integridad。我们可以通过sistemática bloques, estado diagram, parámetros y configuraciones en a modelo para determinar if son structuralmente equals a las operatones, los operadores y los datos del código generado。万博1manbetxSimulink Code Inspector proporciona prestaciones de análisis de trazabilidad detallados de modelo código y de código a modelo。这类信息与结构上的等同，我们可以羡慕这样一个例子:certificación，它更令人满意。verificación, de, codificación, de DO-178的软件。
El soporte para estándares de la industria está disponble a través deDO鉴定套件（适用于DO-178和DO-254）．
Más información：
La inspección de código es independent de La generación de código。万博1manbetxSimulink代码检查器假设形式预先确定为código，也就是generado。不好意思，我们要把它设置为código，然后把程序设置为inspección，并把程序设置为código。También具体地说，我们的档案文件是código，我们的generados，我们的程序是compilación, para entorno, de producción。La inspección se puede invocar a través de La interfaz de usuario o La línea de comandos。
万博1manbetxSimulink代码检查器检查通用类代码：
- 接口de莫德罗
- 布洛克公寓
- 布卢克和埃杰库西翁学院
- 我的档案
- 变量的区域设置为函数的元素
特别是在实现对中观国际交流的评估方面，它包括了对中观国际交流与合作的总体功能，它是一种对整个世界各组成部分依赖程度的确定。
我们修订了inspección的指导和MATLAB的考试信息，我们可以用符号来描述sección，我们包括了análisis de trazabilidad detallado con enactivos a los objetos de diseño。
Una inspección de código correcta (verificada) MATLAB的中间指挥官。
Simu万博1manbetxlink Code Inspector, puede generar inform que detdettados de la inspección del código。我的意思是，具体地说，ubicación，在我告诉你的时候。为了方便归档，应将所有信息包括在certificación完整的文件中。告诉我inspección comienza确定正确的模型，然后código检查是否利用comprobación模型的suma，在费查/霍拉的marca中。一个continuación，我们可以再次进行验证，并将其实现为一个元素(请进行验证，对错误进行部分验证)。Una sección detallada描述los resultados de verificación de cada archivo, función y línea del código generado。
Los details de la inspección del código包括:
- Verificación函数的交互
- 模型验证
- Verificación de código a modelo
- 临时变量
trazabilidad酒店包括：
- Trazabilidad de modelo a código
- Trazabilidad de código a modelo
Informe detallado de 万博1manbetxSimulink代码检查器que muestra la verificación de código a modelo。
拉诺玛RTCA/DO-178在系统和设备认证中考虑sobre软件特别是关于核查的目标。在模拟代码检查器的比例自动检查中，减少了对DO-178表格的验证目标的必要性。目标（3）万博1manbetx埃尔科迪戈富恩特酒店se puede Susfacer completamente utilizando Si万博1manbetxmulink代码检查器junto con el analizador de MISRA C®proporcionado运动多空间Bug查找器™．Además, el objetivo (4)El código fuente cumple con los estándares这是一个令人满意的中间故事，它是关于MISRA的分析和多空间错误发现的。DO鉴定套件（适用于DO-178和DO-254）在生产过程中，对类似代码检查员和产品进行检查万博1manbetx多空间®．
object de DO-178C兼容Simulink代码检查器万博1manbetx
| 手鼓 | 目标 | DO-331参考文件* | Niveles de软件 |
|---|---|---|---|
| 手鼓MB 5 | (1)请把你的行李寄给我们 | Sección MB 6.3.4a | A, B, C |
| 手鼓MB 5 | (2)安装软件código | Sección MB 6.3.4b | A, B, C |
| 手鼓MB 5 | （3） 埃尔科迪戈富恩特酒店 | Sección MB 6.3.4c | A、B |
| 手鼓MB 5 | （5） 这是一种新的需求 | Seccion MB 6.3.4e | A, B, C |
| 手鼓MB 5 | (6) El código fuente是精确的一致性** | Sección MB 6.3.4f | A, B, C |
*DO-331，补充清醒的人到verificación basados和modelos para DO-178C和DO-278A
**没有任何一项目标需要análisis的编辑和código的目标。
做资格鉴定工具包。
