主要内容

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

顾问模型概述

Model Advisor检查您的模型或子系统,以确定建模条件和配置设置是否会导致模型所代表的系统模拟的不准确或低效。Model Advisor检查可以帮助您验证是否符合行业标准和指导方针。通过使用Model Advisor,您可以跨项目和开发团队实现一致的建模指导方针。

在完成对模型的分析之后,model Advisor将生成一个报告,其中列出次优条件、设置和建模技术,并在适用时提出解决方案。金宝搏官方网站

您可以使用Model Advisor以以下方式检查您的模型:

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

  • 配置Model Advisor以自动运行编辑时检查(需要金宝app®检查™的)

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

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

  • 在包含变体子系统的系统中,模型顾问检查活动子系统。要检查活动和非活动子系统,请设置顾问(金宝app仿真软件检查)财产,AnalyzeVariants,真正的

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

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

  • 除非在文件文档中指定另有说明,否则模型顾问不会分析a的内容模型块。要对引用的模型运行检查,请使用顾问(金宝app仿真软件检查)类(需要Sim金宝appulink检查许可)。

笔记

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

虽然将Model Advisor检查应用到您的模型可以增加您的模型没有违反某些建模标准或指导方针的可能性,但它们的应用程序不能保证正在开发的系统是安全的或无错误的。最终,您有责任使用多种方法来验证正在开发的系统是否提供了预期的功能,而不包括非预期的功能。

模型顾问检查文档

Model Advisor只显示已安装产品的检查。下载188bet金宝搏该表提供了到特定于产品的检查文档的链接。审阅某些文档时可能需要产品许可证。

产品 模型Advisor检查文档
金宝app 金宝appSimulink检查
嵌入式编码器® 嵌入式程序员检查(嵌入式编码器)
AUTOSAR Blockset AutoSAR SlockSet检查(AUTOSAR Blockset)
金宝app仿真软件编码器™ 金宝app仿真软件编码器检查(金宝appSimulink编码器)
HDL编码器™ HDL代码顾问检查(高密度脂蛋白编码器)
金宝app仿真软件代码检查员™ 金宝appSimulink代码检查员检查(金宝app仿真软件代码检查员)
金宝appSimulink检查

- 331 - 178 - c /做检查吗(金宝app仿真软件检查)

IEC 61508, IEC 62304, ISO 26262, ISO 25119,和EN 50128/EN 50657检查(金宝app仿真软件检查)

DO-254标准合规性模型检查(金宝app仿真软件检查)

高完整性系统建模检查(金宝app仿真软件检查)

模型顾问检查MAB和JMAAB遵从性(金宝app仿真软件检查)

MISRA - C: 2012的支票(金宝app仿真软件检查)

CERT C, CWE和ISO/IEC TS 17961标准的安全编码检查(金宝app仿真软件检查)

模型指标(金宝app仿真软件检查)

克隆检测检查(金宝app仿真软件检查)

金宝appSimulink Design Verifier™ 金宝appSimulink设计验证器检查(金宝appSimulink Design Verifier)
金宝appSimulink要求™ 需求一致性检查(金宝appSimulink要求)
Simscape™ 文档仅在模型顾问中可用。要查看Check的文档,请在Model Advisor中右键单击“检查标题”并选择这是什么?
金宝app仿真软件控制设计™ 金宝appSimulink控制设计检查(金宝appSimulink控制设计)
IEC认证工具包

IEC认证套件检查(IEC认证工具包)

做资格套件

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

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

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

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 要打开Model Advisor,在Simulink编辑器中,单击金宝app造型标签并选择模型的顾问.一种系统选择器-模型顾问对话框打开。选择要查看的模型或系统并单击好吧

  3. 在Model Advisor的左窗格中,选择要在模型上运行的检查:

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

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

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

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

  4. 单击包含检查的文件夹,并在Model Advisor的右侧窗格中选择:

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

    • 选择运行检查执行分析。

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

  5. 在Model Advisor用户界面上查看结果。该表显示了常用的检查状态结果;注意,使用不同的图标取决于参数设置当问题被标记时检查结果在模型Advisor配置编辑器中(需要金宝appSimulink检查许可证)。有关该参数的详细信息,请参见指定自定义检查参数(金宝app仿真软件检查)

    结果

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

    警告

    失败

    经过-检查未发现问题。

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

    当检查结果的标志被设置为失败时,通过图标

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

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

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

    警告-检查已识别问题。

    这两种设置使用相同的图标。

    警告图标

    失败—Check执行失败。

    这两种设置使用相同的图标。

    失败图标

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

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

  8. 查看并保存报告。有关更多信息,请参见保存和查看模型顾问检查报告

    笔记

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

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

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

您可以通过使用model Advisor仪表板在您的模型上一致地运行同一组检查来节省时间。当您使用指示板时,Model Advisor在执行检查之前不会重新加载检查,从而节省了分析时间。

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 选择模型的顾问>模型顾问指示板.一种系统选择器-模型顾问对话框打开。选择要查看的模型或系统并单击好吧

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

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

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

    • 单击启用高亮显示按钮可在Simulink编辑器中查看突出显示的结果金宝app

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

  5. Model Advisor执行检查并更新仪表板以反映分析的结果,包括:

    • 通过检查

    • 失败的检查

    • 标记检查

    • 全部检查

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

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

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

运行模型以编程方式检查

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

访问其他顾问

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

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

相关例子

更多关于