主要内容

使用模型顾问检查模型遵从性

模型顾问概述

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

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

你可以使用模型顾问以以下方式检查你的模型:

  • 交互式地运行Model Advisor检查

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

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

  • 如果您重命名一个系统,您必须重新启动Model Advisor来检查该系统。

  • 在包含可变子系统的系统中,模型顾问检查活动子系统。要检查活动和非活动子系统,请设置顾问。一个pplication财产,AnalyzeVariants,真正的

  • 模型顾问不分析注释的块。

  • 检查不搜索模型块或子系统使用block参数进行块读/写设置为NoReadorWrite。然而,在逐个检查的基础上,Model Advisor检查确实在库块和被屏蔽的子系统中搜索。

  • 除非在检查的文档中另有指定,否则Model Advisor不会分析文件的内容模型块。要在引用的模型上运行检查,请使用顾问。一个pplication类(需要Sim金宝appulink检查许可证)。

请注意

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

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

模型顾问检查文档

Model Advisor仅显示对已安装产品的检查。下载188bet金宝搏此表提供指向特定于产品的检查文档的链接。可能需要产品许可证来审查某些文档。

产品 模型顾问检查文档
金宝app 金宝app仿真软件检查
嵌入式编码器® 嵌入式编码器检查(嵌入式编码)
AUTOSAR Blockset AUTOSAR区块集检查(AUTOSAR Blockset)
金宝app仿真软件编码器™ 金宝appSimulink编码器检查(金宝app仿真软件编码器)
高密度脂蛋白编码器™ HDL代码顾问检查(高密度脂蛋白编码器)
金宝appSimulink Code Inspector™ 金宝appSimulink代码检查器检查(金宝appSimulink代码检查器)
金宝app仿真软件检查

- 331 - 178 - c /做检查吗

IEC 61508, IEC 62304, ISO 26262, ISO 25119和EN 50128/EN 50657检查

DO-254标准符合性的模型检查

高完整性系统建模检查

模型顾问检查MAB和JMAAB合规性

MISRA C:2012年支票

安全编码检查的CERT C, CWE,和ISO/IEC TS 17961标准

模型指标

克隆检测检查

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

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

DO鉴定工具包

DO资格套件检查(DO鉴定套件)

运行模型顾问检查并审查结果

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

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 要打开模型顾问,在Simulink编辑器中,单击金宝app建模TAB键并选择模型的顾问。一个系统选择器-模型顾问对话框。选择您想要检查的模型或系统并单击好吧

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

    1. 选项选择检查通过产品按照任务文件夹。如果这些文件夹没有显示在Model Advisor窗口中,则打开设置>首选项并选择:

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

      • 按任务文件夹显示—显示与特定任务相关的检查

    2. 您可以搜索并执行特定的检查标题TitleID的支票发现:字段,并单击查找下一个按钮。Model Advisor搜索检查名称、文件夹名称和分析描述。你可以使用选项卡,以识别标题TitleID,以及MATLAB的位置®每个检查的源代码。要显示在Model Advisor的右窗格中,打开设置>首选项并选择显示源选项卡

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

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

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

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

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

    结果

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

    警告

    失败

    通过-检查未发现问题。

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

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

    D-Pass—取决于配置参数或其他检查是否成功执行。

    当检查结果的标志设置为警告时,强制通过图标

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

    警告-检查已发现的问题。

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

    警告图标

    失败—检查执行失败。

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

    失败的图标

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

  7. 使用除外责任选项卡来检查被标记为从分析中排除的检查。要显示除外责任选项卡中,打开设置>首选项并选择显示排除选项卡

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

    请注意

    如果你没有选择运行后显示报告当您执行检查时,您可以在分析完成后生成结果报告。看到生成模型顾问报告

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

通过运行先前分析中的检查来节省分析时间

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

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 选择模型的顾问>模型顾问仪表板。一个系统选择器-模型顾问对话框。选择您想要检查的模型或系统并单击好吧

  3. Model Advisor Dashboard窗口打开。在这个仪表板中,您可以:

    • 单击运行检查按钮执行与前面分析相同的检查

    • 单击切换到标准视图按钮打开Model Advisor并选择不同的检查

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

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

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

    • 通过了检查

    • 失败的检查

    • 标记检查

    • 全部检查

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

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

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

相关的话题