主要内容

检测并修复模型顾问检查违规

R2026b

模型顾问会对模型或子系统进行检查,找出导致不准确或低效的仿真以及低效的生成代码和不适合安全关键型应用的代码的建模条件和配置设置。模型顾问检查可帮助您验证是否符合行业标准和规范。通过使用模型顾问,您可以实现跨工程和开发团队的一致建模规范。

模型顾问检查中的一部分项目支持编辑时检查。通过编辑时检查,您可以在开发模型时检查模型条件。模型编辑器窗口中突出显示的模块提醒您模型中存在问题。

本教程使用示例模型 sldemo_fuelsys。该模型是用 Simulink® 和 Stateflow® 设计的空燃比控制系统。

下列各图显示了 sldemo_fuelsys 模型的各部分。顶层模型是一个闭环系统,由被控对象 (Engine Gas Dynamics) 和控制器(Fuel Rate Control 子系统)组成。被控对象允许工程师在设计周期早期阶段通过仿真来验证控制器。控制逻辑是指定不同操作模式的 Stateflow 图。

Top-level of the sldemo_fuelsys model

The Fuel Rate Control subsystem in the sldemo_fuelsys model

Stateflow chart for the control logic

在您编辑时检测并修复模型顾问检查违规

  1. 将当前文件夹设置为可写目录。

  2. 通过键入以下命令打开模型 sldemo_fuelsys:

    openExample('sldemo_fuelsys')
  3. 要使用编辑时检查,请在建模选项卡上选择模型顾问 > 编辑时检查。“配置参数”对话框打开,请选中编辑时检查对应的复选框。

    突出显示的模块和子系统表示存在合规性问题。

  4. 在突出显示的模块上暂停,然后点击警告图标。对话框会提供警告说明。有关检测到问题的检查的详细文档,请点击问号。由于模块名称不正确,这些模块包含编辑时警告。

    Edit-time warning for the block name violation

    要从所选检查中排除某个模块,您可以点击隐藏。

  5. 双击打开 Engine Gas Dynamics 子系统。在 air/fuel ratio 输出端口上暂停,然后点击警告图标。

    Engine Gas Dynamics subsystem with warnings on the input and output ports

    此输出端口返回警告,因为其名称违反两项检查:检查不支持的模块名称 和 检查端口模块名称。

  6. 通过用下划线替换 / 符号和模块名称中的空格来解决警告。该模块不再突出显示。

  7. 解决 Engine Gas Dynamics 子系统中其他突出显示的模块的警告。

以交互方式检测和修复模型顾问检查违规

  1. 在建模选项卡上,选择 Model Advisor。

  2. 从 系统层次结构中选择顶层模型 sldemo_fuelsys,然后点击确定。

  3. 在左窗格中,在按产品 > Simulink Check > 建模标准 > DO-178C/DO-331 文件夹下,选择:

    • 检查针对求解器的安全相关诊断设置

    • 检查针对采样时间的安全相关诊断设置

    • 检查针对逻辑信号的安全相关优化设置

  4. 右键点击 DO-178C/DO-331 Checks 节点,然后选择运行所选检查。

    A warning in Model Advisor for the check for safety-related diagnostic settings for solvers. The model configuration parameters are not set to the recommended values.

  5. 要查看未设置为推荐值的配置参数,请点击检查求解器的安全相关诊断设置。

  6. 要将参数更新为推荐值,请在工具条中点击修复。

    A warning in Model Advisor for the check for safety-related diagnostic settings for solvers. The model configuration parameters are not set to the recommended values.

    操作报告窗口显示模型顾问会将参数更新为推荐值,并详细说明结果。

  7. 对检查针对采样时间的安全相关诊断设置检查重复步骤 6。

  8. 要验证您的模型现在能够通过检查,请重新运行检查。

  9. 要生成 Simulink Check™ 检查的结果报告,请选择 DO-178C/DO-331 检查节点,然后在工具条中点击报告。

  10. 关闭模型顾问。

了解其他选项

此表列出了可使用 Simulink Check 处理的常见任务。

任务参考

简化和调试复杂模型。

Highlight Functional Dependencies

运行用于验证是否符合与高完整性系统建模和 MAB 控制算法建模规范相关联的安全标准的模型顾问检查。

使用模型顾问检查模型合规性
编写自定义模型顾问检查。定义自定义模型顾问检查
创建和部署自定义模型顾问配置。创建和部署模型顾问自定义配置 和 使用模型顾问配置编辑器来自定义模型顾问

了解如何使用仪表板收集和查看用于质量评估的度量数据。

Explore Status and Quality of Testing Activities Using Model Testing Dashboard

使用模型变换器工具和克隆检测器来重构模型,以改善模型组件化和可读性并支持重用。

Transform Model to Variant System 和 Enable Component Reuse by Using Clone Detection

创建团队可以在本地和在 CI 中运行的可重复的开发和验证过程。

持续集成
详细了解如何使用 Simulink 产品测试模型和代码,检查设计错误,检查是否符合标准,测量覆盖率,并验证系统。验证和确认