开始吧金宝app查看

金宝app^®CHECK™分析您的模型，要求和测试，以评估设计质量和遵守标准。它提供了在开发期间识别建模标准和指南违规的行业认可的检查和指标。金宝app支持的高完整性软件开发标准包括ISO 26262，DO-178C，DO-254，IEC 61508，ISO 25119，IEC 62304和MathWorks咨询委员会（MAB）风格指南。金宝appSimulink检查还支持安全金宝app编码标准，如CERT C，CWE和ISO / IEC TS 17961。您可以创建自定义检查以遵从您自己的标准或指南。编辑时间检查在编辑时识别合规性问题。

金宝appSimulink检查提供指标，例如尺寸和复杂性，用于评估您设计的状态和质量。模型测试仪表板可以从基于需求的测试活动中整合数据以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并确定可重用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.

金宝app通过支持行业标准IEC认证套件（对于ISO 26262和IEC 61508）和做资格套件（DO-178）。

教程

评估和验证模型质量

使用识别标准和指南违规的行业公认的检查和指标。

• 步骤1：检测和修复模型顾问检查违规
• 步骤2:使用指标仪表板收集模型度量数据
• 第3步：检测和修复合规性问题
• 第四步：重构模型，以提高组件重用
• 使用模型Slicer工具简化复杂模型的目标分析模型
  

  通过专注于感兴趣的区域来简化大型复杂模型的模拟，调试和正式分析。

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

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

特色例子

创建和部署模型顾问自定义配置

演示如何将自定义检查添加到模型顾问并删除您不需要的送货检查。

打开直播脚本

视频

更早编辑时间检查以查找合规性问题
了解编辑时间检查如何在编辑时在Simulink或StateFlow中识别指南或标准问题。金宝app

建模标准合规性
使用Model Advisor验证是否符合标准

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