Simulink Check 快速入门

Simulink^® Check™ 会分析您的模型、需求和测试，以对设计质量和标准合规性进行评估。它提供行业认可的检查和度量，用于标识设计过程中违反建模标准和规范的情况。支持的高完整性软件开发标准包括 ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304 和 MathWorks 咨询委员会 (MAB) 指导规范。Simulink Check 还支持安全编码标准，如 CERT C、CWE 和 ISO/IEC TS 17961。您可以创建自定义检查以符合您自己的标准或规范，这些标准或规范可以直接在编辑器中标识合规性问题。

Simulink Check 提供了规模和复杂度等度量，用来评估设计的状态和质量。模型测试仪表板合并了基于需求的测试活动数据，用以跟踪测试状态。您可以使用自动模型重构更换建模克隆件，降低设计复杂度，并识别可重用的内容。还可以使用模型切片器工具来隔离模型中有问题的行为，并生成简化模型以用于调试。

对行业标准的支持可通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178) 获得。

教程

评估和验证模型质量

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

• 步骤 1: 检测并修复模型顾问检查违规
• 步骤 2: 使用度量仪表板收集模型度量数据
• 步骤 3: Detect and Fix Compliance Issues
• 步骤 4: Refactor Models to Improve Component Reuse
• 使用模型切片器工具简化模型以实现对复杂模型的针对性分析
  

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

• Assess Requirements-Based Testing Quality by Using the Model Testing Dashboard
  

  Use dashboard metrics to track the status and quality of testing activities.

精选示例

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

说明如何向模型顾问添加自定义检查并删除不需要的出厂检查。

• 打开实时脚本

Monitor Design Complexity Using Model Maintainability Dashboard

Assess the size, complexity, and architecture of your design.

• 打开实时脚本

Explore Status and Quality of Testing Activities Using Model Testing Dashboard

Evaluate the status and quality of model testing in your project.

• 打开实时脚本

Identify and Troubleshoot Gaps in Code Testing Results and Coverage

Use the code testing dashboards to assess and address code testing issues.

• 打开实时脚本

视频

使用编辑时检查功能以便更早发现合规性问题
了解编辑时检查如何在编辑时识别 Simulink 或 Stateflow 中的规范或标准合规问题。

建模标准合规性
使用模型顾问验证是否符合标准

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