主要内容

使用模型顾问检查您的模型

模型顾问概述

模型顾问检查您的模型或子系统,用于建模条件和配置设置,这些设置导致模型所代表的系统的不准确性或效率低下。Model Advisor Checks可以帮助您验证符合行业标准和指南。通过使用模型顾问,您可以通过项目和开发团队实施一致的建模指南。

在完成模型的分析后,模型顾问会产生一个报告,列出了次优的条件,设置和建模技术,并在适用时提出解决方案。万博 尤文图斯

您可以使用模型顾问以这些方式检查您的模型:

  • 交互式运行模型顾问检查

  • 配置模型顾问以自动运行编辑时间检查(需要万博1manbetx®CHECK™

使用Model Advisor检查您的模型时,这些限制适用。有关适用于特定检查的限制,请参阅“检查文档”中的功能和限制部分。

  • 如果您重命名系统,则必须重新启动模型顾问以检查该系统。

  • 在包含变体子系统的系统中,模型顾问检查活动子系统。要检查活动和非活动子系统,请设置顾问。应用(万博1manbetx仿真软件检查)财产,AnalyzeVariants, 到真正的

  • 模型顾问未分析评论块。

  • 检查不搜索模型块或子系统块具有块参数读/写设置NoReadorWrite。但是,在检查基础上,模型顾问检查是否在库块和屏蔽子系统中搜索。

  • 除非另有规定的文件进行检查,否则模型顾问不会分析a的内容模型块。要对引用的模型运行检查,请使用顾问。应用(万博1manbetx仿真软件检查)类(需要Sim万博1manbetxulink检查许可证)。

笔记

软件本质上是复杂的,并且可能不会没有错误。Model Advisor检查可能包含错误。Mathworks.®报告已知的错误引起了它的错误报告系统https://www.mathwands.com/万博1manbetxsupport/bugreports/。错误报告是每个版本的文档的组成部分。检查发布的错误报告,因为此类报告可以识别您正在使用的发布的实际行为和本文档中描述的行为之间的不一致。

在应用模型顾问检查到模型时,增加了您的模型不会违反某些建模标准或指南的可能性,但其应用程序无法保证正在开发的系统是安全的或无错误的。它最终有责任使用多种方法来验证正在开发的系统提供其预期功能,并且不包含意外功能。

模型顾问检查文档

Model Advisor只显示已安装产品的检查。s manbetx 845该表提供了到特定于产品的检查文档的链接。审阅某些文档时可能需要产品许可证。

产品 模型Advisor检查文档
万博1manbetx 万博1manbetxSimulink检查
嵌入式编码器® 嵌入式程序员检查(嵌入式编码器)
AutoSAR块集 AutoSAR SlockSet检查(AutoSAR块集)
万博1manbetx仿真软件编码器™ 万博1manbetxSimulink编码器检查(万博1manbetxSimulink编码器)
HDL编码器™ HDL代码顾问检查(HDL编码器)
万博1manbetxSimulink代码Inspector™ 万博1manbetxSimulink代码检查员检查(万博1manbetx仿真软件代码检查员)
万博1manbetxSimulink检查

- 331 - 178 - c /做检查吗(万博1manbetx仿真软件检查)

IEC 61508,IEC 62304,ISO 26262,ISO 25119和EN 50128 / EN 50657支票(万博1manbetx仿真软件检查)

DO-254标准合规性模型检查(万博1manbetx仿真软件检查)

高完整性系统建模检查(万博1manbetx仿真软件检查)

模型顾问检查MAB和JMAAB遵从性(万博1manbetx仿真软件检查)

Misra C:2012支票(万博1manbetx仿真软件检查)

CERT C, CWE和ISO/IEC TS 17961标准的安全编码检查(万博1manbetx仿真软件检查)

模型度量标准(万博1manbetx仿真软件检查)

克隆检测检查(万博1manbetx仿真软件检查)

万博1manbetxSimulink Design Verifier™ 万博1manbetxSimulink设计验证程序检查(万博1manbetxSimulink Design Verifier)
万博1manbetxSimulink要求™ 需求一致性检查(万博1manbetxSimulink要求)
simscape™ 文档仅在模型顾问中可用。要查看Check的文档,请在Model Advisor中右键单击“检查标题”并选择这是什么?
万博1manbetx仿真软件控制设计™ 万博1manbetxSimulink控制设计检查(万博1manbetxSimulink Control Design)
IEC认证套件

IEC认证套件检查(IEC认证套件)

做资格套件

做资格套件检查(做资格套件)

运行模型Advisor检查和评审结果

您可以使用Model Advisor以交互方式根据建模标准和指南检查您的模型。下面的示例使用sldemo_mdladv模型用于使用模型顾问执行模型顾问检查的执行。

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 要打开模型顾问,请在“Simulink编辑器”中,单击万博1manbetx造型标签并选择模型顾问。一种系统选择器-模型顾问将打开对话框。选择要查看的型号或系统,然后单击好吧

  3. 在模型顾问的左窗格中,选择要在型号上运行的选项:

    1. 您可以使用使用选项由产品通过任务文件夹。如果在Model Advisor窗口中未显示这些文件夹,请打开设置>喜好并选择:

      • 按产品文件夹显示- 显示每个产品的检查

      • 按任务文件夹显示—显示指定任务相关的检查信息

    2. 您可以通过输入标题titleid.检查发现:字段并单击此处找下一个按钮。模型顾问在校验名,文件夹名称和分析说明中搜索。你可以使用选项卡以识别标题titleid., MATLAB的定位®每个检查的源代码。显示在Model Advisor的右窗格中打开设置>喜好并选择显示源选项卡

  4. 单击包含检查的文件夹,然后单击模型顾问的右窗格中,选择:

    • 运行后显示报告以HTML格式自动生成并显示报告

    • 运行选定的检查执行分析。

    要运行单个检查,请右键单击该文件夹中的“检查”并选择运行此检查

  5. 在模型顾问用户界面上查看结果。此表显示了常见的检查状态结果;请注意,根据设置的参数使用不同的图标标记问题时检查结果在模型Advisor配置编辑器中(需要万博1manbetxSimulink检查执照)。有关此参数的详细信息,请参阅指定检查自定义的参数(万博1manbetx仿真软件检查)

    结果

    参数时图标标记问题时检查结果是:

    警告

    失败

    经过-检查未发现问题。

    当检查结果的标志设置为警告时传递图标

    当检查结果的标志设置为失败时传递图标

    D-Pass- 取决于配置参数或成功执行另一个检查。

    当检查结果的标志设置为警告时强制传递图标

    当检查结果的标志设置为失败时强制传递图标

    警告- 检查已确定问题。

    相同的图标用于两个设置。

    警告图标

    失败- 检查无法执行。

    相同的图标用于两个设置。

    失败图标

  6. 根据需要修复警告或故障。有关更多信息,请参阅地址模型检查结果

  7. 使用除外责任选项卡要查看标记为排除分析的检查。显示除外责任在模型顾问的右窗格中的标签,打开设置>喜好并选择显示排除选项卡

  8. 查看并保存报告。有关其他信息,请参阅保存和查看模型顾问检查报告

    笔记

    如果你没有选择运行后显示报告执行检查后,您可以在分析完成后生成结果的报告。看生成模型顾问报告(万博1manbetx仿真软件检查)

  9. 如果需要,您可以将检查状态重置为未运行状态。在左侧窗格中,右键单击模型顾问并选择重置。此操作不会从模型顾问中删除分析结果。

通过从上一个分析运行检查来保存分析时间

您可以通过使用Model Advisor Dashboard一直在模型上运行相同的检查组。使用仪表板时,模型顾问在执行之前未重新加载检查,请保存分析时间。

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 选择模型顾问>模型顾问仪表板。一种系统选择器-模型顾问将打开对话框。选择要查看的型号或系统,然后单击好吧

  3. 打开Model Advisor Dashboard窗口。从这个仪表盘,你可以:

    • 单击运行检查按钮从上一个分析执行相同的检查

    • 单击切换到标准视图按钮打开模型顾问并选择不同的检查

    • 单击启用突出显示按钮查看Simulink编辑器中的突出显示结果万博1manbetx

  4. 单击运行检查按钮以对前面分析中使用的模型运行相同的检查。如果需要,单击启用突出显示按钮。

  5. 模型顾问执行检查并更新仪表板以反映分析结果,包括以下数量:

    • 通过检查

    • 失败的检查

    • 标记检查

    • 全部检查

    如果你点击了启用突出显示按钮,标记的结果在模型中突出显示。

    模型顾问突出显示信息窗口与模型顾问窗口的链接打开。在“模型顾问”窗口中,您可以找到有关检查结果的更多信息以及如何修复警告条件。

  6. 单击打开报告按钮以HTML格式打开整个报告。或者,您可以选择结果旁边的数字链接以过滤报告结果。

运行模型以编程方式检查

如果你有万博1manbetxSimulink检查,您可以创建MATLAB脚本和功能,以便您可以以编程方式运行模型顾问。例如,您可以创建一个ModelAdvisor.run(万博1manbetx仿真软件检查)函数检查每次打开模型并启动模拟时,您的模型是否通过指定的model Advisor检查集。

访问其他顾问

您可以使用模型顾问窗口访问其他顾问:

您可以从模型顾问的左下角访问这些顾问。

相关例子

更多关于