金宝app仿真软件代码检查器
自动修订código fuente para estándares de seguridad
金宝appSimulink代码检查器™ 一个比较的模型，即Este的生产模型。运营商、运营商和通用数据。Simulink代码检查员Proportciona prestaciones de a a a a cálisis de trazabilidad detallados de modelo a código和de código a modelo。通用信息和等效结构，以确保满足验证要求的自动认证《软件法典汇编》de DO-178。
这是一个有争议的行业DO认证套件(用于DO-178和DO-254)．
礼让：
金宝appSimulink Code Inspector™允许结合约束semántica de modelado和código de optimizaciones，我们可以使用一个完整的系统模型。对Simulink代码检查人员来说，兼容性和合规性是可以确定的。金宝app
在我们的Simulink代码检查器中，我们可以通过comprobación的形式进行交互式的兼容。在我们的Simulink代码检查器中，我们可以通过programática的形式对MATLAB进行访问金宝app®．可能的情况是，其他部分的模型识别不兼容的模型参考，一个continuación，配置Simulink代码检查器，发现不兼容的模型参考，durante inspección de código。金宝app您可以在continuación上实现inspección手册，在código上修改modelos，但不能修改automáticamente。
在Simulink中，代码检查器(izquie金宝apprda)对comprobación的兼容模型的结果(derecha)。
《通用计算机代码检查表》是通用计算机的独立性。Simulink代码检查表是通用计算机的形式预先确定表。Sin禁运，配置检查表是通用计算机程金宝app序的一部分。También puede是通用计算机程序的一部分总的来说，这是一个关于生产环境的汇编程序的实用程序，该程序涉及到公司内部的交流和合作。
金宝appSimulink Code Inspector examina las siguentes categorías generales durante la inspección de código:
- 模型接口
- 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。
在MATLAB和考试信息的审查指南中，所有人都描述了考试的重要性，包括考试过程中的互动。
在MATLAB公司的中介机构中进行纠正（验证）。
Con 金宝appSimulink代码检查器，总信息部负责检查código公司的结果。通常情况下，在信息中心的地图上会出现一些特殊情况。有助于归档，包括完整的认证信息。委员会的信息确认了模型的精确性和有效性，并检查了模型组成部分的效用，包括模型名称和时间。一个连续的、按比例进行的确认和确认（包括确认、确认、确认错误）。联合国秘书处详细描述了档案核查的结果、总的职能和责任。
包括：
- 职能部门间的核查
- Verificación de modelo a código
- 模型验证
- 关于时间变量
trazabilidad的细节包括:
- código模式的转变
- código a modelo餐厅
通知Simulink代码检查器在verif金宝appicació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 金宝appSimulink Code Inspector减少必要的时间，与verificación de código fuente de DO-178的目标相一致，我们可以在tabla siguiente上进行操作。El objetivo (3)这是可以证实的我们可以更完整地利用Simulink代码检查员对MISRA C进行分析金宝app®波尔比例Polyspace错误发现者™. 阿德马斯，el objetivo（4）埃尔科迪戈·富恩特·坎普勒（El código fuente cumple con los estándares）我们可以通过Polyspace Bug发现者的数据分析来获得更满意的数据。DO认证套件(用于DO-178和DO-254)在产品的Simulink代码检查器中金宝appPolyspace®．
Objetivos de DO-178C compatibles con 金宝appSimulink代码检查器
| 阿内克索酒店 | Objetivo | Referencia de - 331 * | 的软件 |
|---|---|---|---|
| 表MB A-5 | （1） 在巴乔·尼维尔的请购单上填写 | Seccion MB 6.3.4a | A、 B，C |
| 表MB A-5 | （2） El código fuente cumple con la arquitectura del software | Seccion MB 6.3.4b | A、 B，C |
| 表MB A-5 | (3) El código fuente是可验证的 | Seccion MB 6.3.4c | A、 B |
| 表MB A-5 | (5)我们想要一个新的旅行计划 | Sección MB 6.3.4e | A、 B，C |
| 表MB A-5 | （6） 埃尔·科迪戈·富恩特的精确性和连贯性** | Seccion MB 6.3.4f | A、 B，C |
* - 331,第DO-178C和DO-278A段模式下的sobre el desarrollo和la verificación basados Supplemento
**没有任何一个目标需要编辑和编辑。
做资格工具包。
