万博1manbetx仿真软件代码检查器
自动修订código fuente para estándares de seguridad
万博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)．
Mas给:
万博1manbetxSimulink Code Inspector™允许结合约束semántica de modelado和código de optimizaciones，我们可以使用一个完整的系统模型。对Simulink代码检查人员来说，兼容性和合规性是可以确定的。万博1manbetx
在我们的Simulink代码检查器中，我们可以通过comprobación的形式进行交互式的兼容。在我们的Simulink代码检查器中，我们可以通过programática的形式对MATLAB进行访问万博1manbetx®．可能的情况是，其他部分的模型识别不兼容的模型参考，一个continuación，配置Simulink代码检查器，发现不兼容的模型参考，durante inspección de código。万博1manbetx您可以在continuación上实现inspección手册，在código上修改modelos，但不能修改automáticamente。
在Simulink中，代码检查器(izquie万博1manbetxrda)对comprobación的兼容模型的结果(derecha)。
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 Code Inspector examina las siguentes categorías generales durante la inspección de código:
- 接口de莫德罗
- Comportamiento de bloques
- 连接到ejecución
- 我的档案
- 变量的区域设置为函数的元素
洛杉矶分析especificos realizados van desde la evaluacion de la interfaz de alto含量,科莫comprobar si se generan拉斯维加斯一些必要y paso de inicializacion,直到联合国分析detallado del orden de ejecucion de bloques对位确定如果la dependencia de拿督dos de bloque se mantiene en el组件之间的脏污generado。
我们修订了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 modelo a código
- Verificación de código a modelo
- 关于时间变量
trazabilidad的细节包括:
- Trazabilidad de modelo a código
- Trazabilidad de código a modelo
通知Simulink代码检查器在verif万博1manbetxicación de código一个模型。
拉诺玛RTCA / - 178认为一个清醒的软件在certificación de sistemas y equipos aéreos具体的目标是verificación del código fuente。La inspección automatizada de código proporcionada por 万博1manbetxSimulink Code Inspector减少必要的时间，与verificación de código fuente de DO-178的目标相一致，我们可以在tabla siguiente上进行操作。El objetivo (3)这是可以证实的我们可以更完整地利用Simulink代码检查员对MISRA C进行分析万博1manbetx®proporcionado运动Polyspace错误发现者™．Además, el objetivo (4)El código fuente cumple con los estándares我们可以通过Polyspace Bug发现者的数据分析来获得更满意的数据。DO认证套件(用于DO-178和DO-254)在产品的Simulink代码检查器中万博1manbetxPolyspace®．
object de DO-178C兼容Simulink代码检查器万博1manbetx
| 手鼓 | Objetivo | Referencia de - 331 * | 的软件 |
|---|---|---|---|
| 手鼓MB 5 | (1)请把你的行李寄给我们 | Seccion MB 6.3.4a | A, B, C |
| 手鼓MB 5 | (2)安装软件código | Seccion MB 6.3.4b | A, B, C |
| 手鼓MB 5 | (3) El código fuente是可验证的 | Seccion MB 6.3.4c | A、B |
| 手鼓MB 5 | (5)我们想要一个新的旅行计划 | Seccion MB 6.3.4e | A, B, C |
| 手鼓MB 5 | (6) El código fuente是精确的一致性** | Seccion MB 6.3.4f | A, B, C |
* - 331,补充清醒的人到verificación basados和modelos para DO-178C和DO-278A
**没有任何一项目标需要análisis的编辑和código的目标。
做资格工具包。
