开始使用金宝app检查

金宝app^®检查™提供业界认可的检查和度量，以识别开发过程中违反标准和指导原则的行为。金宝app支持的高完整性软件开发标准包括DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks Advisory Board (MAB)风格指南。编辑时检查确定了编辑时的遵从性问题。您可以创建自定义检查，以符合您自己的标准或指导方针。

金宝app仿真软件检查提供诸如大小和复杂性之类的度量，您可以使用这些度量来评估模型的体系结构和对标准的遵从性。统一的度量指标指示板可以让您评估设计状态和质量。自动模型重构允许您替换重复的设计元素，降低设计复杂性，并识别可重用的内容。模型切片器工具将有问题的行为隔离在模型中，并生成用于调试的简化模型。

金宝app可以通过以下方式获得对行业标准的支持IEC认证套件(适用于ISO 26262和IEC 61508)和高级文书主任(DO-178)。

教程

评估和验证模型质量

使用行业认可的检查和度量来识别标准和指导方针的违背。

• 步骤1:检测并修复Model Advisor检查违规行为
• 步骤2:通过使用Metrics仪表板收集模型度量数据
• 步骤3:检测并修复遵从性问题
• 步骤4:重构模型以改进组件重用
• 简化模型，使用模型切片工具对复杂模型进行有针对性的分析
  

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

特色的例子

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

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

打开生活的脚本

视频

编辑时检查，以发现早期的遵从性问题
了解编辑时检查如何在编辑时识别Simulink或Stateflow中的指南或标准问题。金宝app

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

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