主要内容

使用模型顾问检查模型合规性

模型顾问概述

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

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

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

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

  • 配置模型顾问以自动运行编辑时间检查(需要金宝app®CHECK™

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

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

  • 在包含变体子系统的系统中,模型顾问检查活动子系统。要检查活动和非活动子系统,请设置顾问。应用财产,分析revariants., 至真的

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

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

  • 除非另有规定的文件进行检查,否则模型顾问不会分析a的内容模型堵塞。要在引用的模型上运行检查,请使用该实例顾问。应用类(需要Sim金宝appulink检查许可证)。

笔记

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

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

模型顾问检查文档

模型顾问仅显示已安装产品的检查。下载188bet金宝搏此表提供了与产品特定的检查文档的链接。可能需要产品许可证审核一些文档。

产品 模型顾问检查文档
金宝app 金宝appSimulink检查
嵌入式编码器® 嵌入式编码器检查(嵌入式编码器)
AutoSAR块集 AutoSAR SlockSet检查(AutoSAR块集)
金宝appSimulink Coder™ 金宝appSimulink编码器检查(金宝appSimulink编码器)
HDL编码器™ HDL代码顾问检查(HDL编码器)
金宝appSimulink代码Inspector™ 金宝appSimulink代码检查员检查(金宝appSimulink代码检查器)
金宝appSimulink检查

DO-178C / DO-331支票

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 Design Verifier)
金宝appSimulink要求™ 要求一致性检查(金宝appSimulink要求)
simscape™ 文档仅在模型顾问中可用。要查看Check的文档,请在Model Advisor中右键单击“检查标题”并选择这是什么?
金宝appSimulink Control Design™ 金宝appSimulink控制设计检查(金宝appSimulink Control Design)
IEC认证套件

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

做资格套件

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

运行模型顾问检查和审核结果

您可以使用模型顾问以互动地检查模型,以防止建模标准和指南。以下示例使用sldemo_mdladv.模型用于使用模型顾问执行模型顾问检查的执行。

  1. 打开模型顾问示例模型sldemo_mdladv.

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

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

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

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

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

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

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

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

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

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

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

    结果

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

    警告

    失败

    经过- 检查没有识别问题。

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

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

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

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

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

    警告- 检查已确定问题。

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

    警告图标

    失败- 检查无法执行。

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

    失败图标

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

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

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

    笔记

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

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

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

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

  1. 打开模型顾问示例模型sldemo_mdladv.

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

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

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

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

    • 点击启用突出显示按钮查看Simulink编辑器中的突出显示结果金宝app

  4. 点击运行检查按钮在上一个分析中使用的模型上运行相同的检查。如果需要,请单击此处启用突出显示按钮。

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

    • 通过检查

    • 失败的检查

    • 标记检查

    • 总检查

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

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

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

相关话题