开始金宝app检查

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

金宝app模拟链路检查为评估设计的状态和质量提供尺寸和复杂性等指标。模型测试仪表板整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并识别可重用的内容。 Model Slicer工具隔离了模型中的问题行为，并生成了用于调试的简化模型。

金宝app可通过以下途径获得对行业标准的支持：IEC认证套件（适用于ISO 26262和IEC 61508）和DO鉴定套件（适用于DO-178）.

教程

评估和验证模型质量

使用行业公认的检查和指标，识别违反标准和准则的行为。

• 步骤1：检测并修复Model Advisor检查冲突
• 步骤2:使用度量仪表板收集模型度量数据
• 步骤3：检测并解决法规遵从性问题
• 步骤4：重构模型以提高组件重用
• 使用模型切片器工具简化模型，以便对复杂模型进行有针对性的分析
  

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

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

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

特色实例

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

演示如何将自定义检查添加到Model Advisor并删除不需要的装运检查。

打开实时脚本

视频

编辑时间检查以更早地查找法规遵从性问题
了解编辑时间检查如何在编辑时识别Simulink或Stateflow中的准则或标准问题。金宝app

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

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