开始金宝app检查

金宝app^®检查™分析模型、需求和测试，以评估设计质量和对标准的遵从性。它提供了业界认可的检查和度量，可以在您设计时识别建模标准和指导原则的违反。金宝app支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks顾问委员会(MAB)风格指南。金宝app仿真软件检查还支持安全金宝app编码标准，如CERT C, CWE和ISO/IEC TS 17961。您可以创建自定义检查，以符合您自己的标准或指南，这些标准或指南可以在编辑器中识别遵从性问题。

金宝app仿真软件检查提供用于评估设计状态和质量的度量标准，如大小和复杂性。模型测试仪表板整合了来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用内容。 模型切片器工具隔离模型中的问题行为，并生成简化的模型以供调试。

金宝app对行业标准的支持可通过IEC认证套件(适用于iso26262及iec61508)而且DO检定套件(适用于DO-178)．

教程

评估和验证模型质量

使用行业认可的检查和度量来识别违反标准和指南的情况。

• 步骤1:检测和修复模型顾问检查违规
• 步骤2:通过使用度量仪表板收集模型度量数据
• 步骤3:检测并修复遵从性问题
• 步骤4:重构模型以提高组件重用
• 使用模型切片器工具简化复杂模型的目标分析
  

  通过关注感兴趣的领域，简化大型复杂模型的仿真、调试和形式化分析。

• 通过使用模型测试仪表板评估基于需求的测试质量
  

  使用仪表板度量来跟踪测试活动的状态和质量。

特色的例子

创建并部署Model Advisor自定义配置

演示如何向Model Advisor添加自定义检查，并删除不需要的运输检查。

打开实时脚本

视频

编辑时检查以更早地发现遵从性问题
了解编辑时检查如何在Simulink或statflow中在编辑时识别准则或标准问题。金宝app

建模标准遵循
使用Model Advisor验证是否符合标准

在DO-178C开发过程中使用合格工具，第4部分:合格模型验证-模型标准
执行静态分析，以验证模型标准、一致性和准确性，符合DO-178C和DO-331。