开始万博1manbetx检查

万博1manbetx^®检查™提供业界认可的检查和指标，以识别开发过程中违反标准和准则的情况。支持的高完整性软件开发标准包括DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks咨询委员会（MAB）风格的指南。编辑时间检查可万博1manbetx在编辑时识别法规遵从性问题。您可以创建自定义检查以符合自己的标准或准则。

万博1manbetx模拟链路检查提供大小和复杂性等指标，可用于评估模型的体系结构和对标准的遵从性。通过整合的度量仪表板，您可以评估设计状态和质量。自动模型重构允许您替换重复的设计元素，降低设计复杂性，并识别可重用的内容。模型切片器工具隔离模型中有问题的行为，并生成简化模型以进行调试。

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

教程

评估和验证模型质量

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

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

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

特色实例

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

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

打开实时脚本

视频

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

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

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