主要内容

使用模型Advisor配置编辑器定制模型Advisor

模型Advisor配置编辑器概述

Model Advisor Configuration Editor为您提供了一种方法来指定您想要用于编辑时检查的检查,以及Model Advisor中包含的检查。此组织层次结构被保存为配置文件,在您启动Model Advisor时加载该文件。您可以使用Model Advisor Configuration Editor来修改现有配置,创建新的Model Advisor配置,并指定默认配置。

Model Advisor配置编辑器允许您灵活地自定义Model Advisor分析,以满足组织的需要,它允许您:

  • 查看所有可用的Model Advisor检查。

  • 在模型顾问树中添加、删除和组织内置检查和文件夹。

  • 在验证和验证工作流中集成自定义Model Advisor检查。

  • 禁用和启用检查和文件夹。

  • 重命名检查和文件夹。

  • 指定在Model Advisor分析期间标记检查时,是否将其标记为警告或失败。

  • 在加载Model Advisor配置时,取消关于缺少检查的警告。

模型Advisor配置编辑器包括:

  • 图书馆窗格-列出配置中可用的所有检查和文件夹的只读窗格,由通过产品按照任务选项卡。要永久显示Library选项卡,请单击显示库在工具条上。

  • 模型的顾问窗格-该窗格列出当前Model Advisor配置中的检查和文件夹,按以下方法筛选:

    • 所有的检查―列出当前配置中包括的所有Model Advisor检查

    • 支持编辑时间的检查金宝app-只列出支持作为编辑时检查的Model Advisor检查金宝app

  • 信息选项卡—此选项卡提供有关检查或文件夹的详细信息,如显示名称检查实例ID检查组ID,当问题被标记时检查结果

使用中的搜索功能图书馆模型的顾问窗格以定位特定的检查和文件夹。

“模型顾问配置编辑器”显示“库”窗格、“模型顾问”窗格和“信息”选项卡

打开Model Advisor配置编辑器

在打开Model Advisor配置编辑器之前,请验证当前文件夹是否可写。如果文件夹不可写,则在启动Model Advisor配置编辑器时会看到错误消息。

使用Model Advisor API实现自定义检查或Model Advisor自定义时,必须首先更新Simulink金宝app®环境,包括您的sl_customization.m文件在MATLAB®命令行输入

Advisor.Manager.refresh\u自定义

使用以下方法之一打开Model Advisor配置编辑器:

  • 以编程方式―在MATLAB命令行中,输入金宝appSimulink.ModelAdvisor.openConfigUI

  • 从Simulink金宝app编辑器-在建模选项卡,选择模型的顾问>模型Advisor配置编辑器

  • 从Model Advisor中选择设置>打开配置编辑器

打开Model Advisor配置编辑器时,会显示Model Advisor当前使用的配置文件。配置的文件名显示在窗口顶部。请验证您正在评估正确的配置文件。要打开其他配置文件,请单击开放并浏览到您想查看的文件。

要创建新的配置,请单击刚出现的工具条上的按钮。使用另存为重命名配置文件。模型Advisor配置文件保存在其中。json格式。

指定一个默认配置文件

您可以使用Model Advisor配置编辑器指定默认配置,该配置在Model Advisor打开时自动加载。要设置默认配置,请在Model Advisor配置编辑器中打开配置文件,然后单击设置为默认工具条上的按钮。

请注意

如果以前指定了默认配置,则可以使用清除默认配置设置清除指定当前默认配置文件的设置。单击该按钮不会修改当前显示在Model Advisor配置编辑器中的配置。如果未指定默认配置,Model Advisor将使用系统管理员定义的标准配置。

如果不指定配置文件为默认配置,则保存时将提示是否采用默认配置。要使该文件成为默认配置,请单击是的

定制模型Advisor配置

您可以使用Model Advisor Configuration Editor来定制Model Advisor配置树,包括添加和删除检查和文件夹,并指定执行检查的顺序。您还可以禁用用户选择是否从分析中包含或排除检查的功能。您还可以使用Model Advisor Configuration Editor来定义检查的输入参数。

请注意

从中复制的检查图书馆选项卡保持其默认参数设置。当它们被粘贴到您的自定义配置文件夹时,每个复选框旁边的复选框没有被选中。

从文件夹中复制或剪切的检查模型的顾问选项卡保留其用户定义参数设置。当一个检查包含在多个文件夹中时,可以分别为每个检查指定不同的参数。

组织层次结构

您可以使用以下命令在Model Advisor配置树中定制检查和文件夹的布局:

  • 新文件夹创建一个文件夹。

  • 复制减少粘贴添加、复制和移动支票和文件夹。

  • 删除删除支票和文件夹。

  • 向上移动向下移动移动检查或文件夹在配置树中的位置。在分析中首先执行配置树中较高的文件夹和检查。

启用或禁用检查

您可以使用模型Advisor配置编辑器禁用模型Advisor中的复选框控件和文件夹。通过这样做,检查仍然在Model Advisor配置树中列出,但是它被调灰,并且您不能从分析中添加或删除检查。

模型的顾问窗格中,右键单击文件夹或选中并选择禁用.根据模型Advisor配置编辑器中的复选框选择,在模型Advisor中会出现以下结果:

  • 如果在模型Advisor配置编辑器中选中了复选框旁边的复选框,那么在模型Advisor中,复选框将被自动选中。因为你选择的禁用,该检查将变灰,并且您不能选择从分析中删除该检查。

    如果复选框旁边的是选择和禁用选项在Model Advisor配置编辑器中应用,然后在Model Advisor中,该复选框未被选中,您不能将其包括在分析中。

  • 如果在Model Advisor配置编辑器中选择了文件夹旁边的框,则在Model Advisor中,将自动选择文件夹内的检查。因为你选择了禁用,文件夹及其检查将变暗,您无法选择从分析中删除检查。

    如果文件夹旁边的方框是选择和禁用选项在Model Advisor配置编辑器中应用,然后在Model Advisor中,文件夹中的所有检查均未被选中,您不能将其包括在分析中。

禁用支票或文件夹时,可以使用启用选项,允许用户确定是否在分析中包含检查。

请注意

启用禁用影响Model Advisor用户界面和编辑时间检查的分析中检查的执行。

指定自定义检查参数

可以使用Model Advisor配置编辑器自定义Model Advisor检查,例如检查的显示名称和输入参数。

信息选项卡,查看可为检查自定义的内容:

  • 显示名称-为检查提供一个新名称,该名称将显示在Model Advisor中。请注意,更改显示名称不会更改检查标题。

  • 当问题被标记时检查结果-指定当检查标记模型中的问题时,是否希望在结果中将检查标记为警告或失败。默认值为警告选择失败在结果中将标记的检查标记为失败。

  • 输入参数-指定检查的附加特性和功能。Model Advisor使用这些参数进一步定义分析的重点。例如,您可以选择只包含子检查jc_0736_b并在Model Advisor检查的分析中指定可接受的单字节空间数检查Stateflow状态下代码的缩进

抑制缺少检查的警告消息

加载Model Advisor配置时,Model Advisor会自动警告您缺少检查。您可以使用Model Advisor配置编辑器抑制此消息。选择模型Advisor配置编辑器根节点和信息选项卡,选择加载配置时抑制缺少检查的警告消息

或者,你可以通过编程方式在MATLAB命令行中输入以下命令来抑制Model Advisor警告:

警告('off','Simul金宝appink:tools:MALoadConfigMissCorrespondCheck')

使用Model Advisor配置编辑器创建自定义Model Advisor配置

可以使用Model Advisor配置编辑器组织Model Advisor的层次结构,并指定检查分析中包含的检查。此示例演示如何创建新配置文件、指定Model Advisor的检查和编辑时间检查、定义检查参数以及将配置加载到Model Advisor。

将模型复制到当前目录

复制模型AdvisorCustomizationExample.slx及其支持文件,包金宝app括自定义Model Advisor配置文件demoConfiguration.json,到您的可写目录。

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

2.在MATLAB命令提示符中输入这个命令。MATLAB将示例文件复制到可写目录。

拷贝文件(fullfile (matlabroot,“例子”“slcheck”“主要的”“prepare_cust_chk_code.m”),...“prepare_cust_chk_code.m”“f”);运行(“prepare_cust_chk_code.m”);

打开模型并查看Model Advisor配置

在本例中,您将刷新Model Advisor检查信息缓存,打开模型,并检查Model Advisor配置。具体来说,您将检查配置对Model Advisor用户界面和编辑时检查的影响。

1.要刷新Model Advisor检查信息缓存,请在MATLAB命令提示符中输入:

Advisor.Manager.refresh_customizations ();

2.打开示例模型。

开放式系统(“AdvisorCustomizationExample.slx”);

3.在建模选项卡,打开模型的顾问. 也可以通过在MATLAB命令提示符下键入以下命令来打开Model Advisor:

modeladvisor (“AdvisorCustomizationExample.slx”);
更新Model Advisor缓存…模型Advisor缓存已更新。对于新的自定义,要更新缓存,请使用Advisor.Manager。refresh_customizations方法。

4.在按照任务选项卡,确保这些复选框旁边的复选框被选中:

  • MAB的建模标准>命名约定>内容>检查块名称中的字符使用情况

  • MAB建模标准> Simulink >图外观>检查块名称是金宝app否出现在块下面

5.右键单击MAB文件夹建模标准并选择选择运行检查.在结果中,注意这两个检查都被标记为警告。看到运行模型Advisor检查和评审结果有关使用Model Advisor的详细信息,请参见。

6.返回到Simulink模型编金宝app辑器。

7.在建模选项卡,验证模型Advisor >编辑-时间检查选项被选中。注意逻辑运算符块突出显示。单击块上方的警告图标以查看违反编辑时检查的情况。有关更多信息,请参见使用编辑时间检查检查模型遵从性

加载模型Advisor配置

在这个示例中,您将加载示例附带的Model Advisor配置文件AdvisorCustomizationExample.slx.Model Advisor配置文件可以在. json(自R2020a起)或.mat(R2019b及更早版本)格式。

1.要加载自定义配置文件,请选择>加载配置并选择要使用的配置。对于本例,请选择demoConfiguration.json从您先前指定的可写目录。Model Advisor进行更新以反映新的配置,并在窗口的顶部显示配置文件名称。

2.探索Model Advisor并观察在此配置中只有三种检查可用。

3.指定配置文件的步骤demoConfiguration.json作为默认Model Advisor配置,选择>设置“当前配置”为“默认”

若要清除默认配置,请选择设置>清除默认配置设置. 如果未指定默认配置,Model Advisor将使用系统管理员定义的标准配置。

创建一个新的模型Advisor配置

在本例中,您将创建一个名为demo_Configuration_ISO26262_MAB.json. 您将使用此配置文件定义要使用Model Advisor用户界面执行的MathWorks Advisory Board(MAB)建模指南检查。

1.在模型AdvisorCustomizationExample.slx,打开Model Advisor并检查它demoConfiguration.json是当前配置。

2.选择设置>打开配置编辑器以打开模型Advisor配置编辑器。

请注意:打开Model Advisor配置编辑器时,当前加载到Model Advisor缓存中的文件将自动显示。

3.点击刚出现的.在模型的顾问窗格中,选择所有的检查.这指定您正在查看的配置是Model Advisor用户界面中所有检查的配置。

4.突出显示Model Advisor Configuration Editor根文件夹并单击新文件夹选择的new folder and in the信息选项卡上,将显示名称更改为ISO 26262标准检查. 点击应用

5.在toolstrip中,选择显示库来显示图书馆窗格。在通过产品TAB搜索字段,输入ISO 26262

6.右键单击金宝appSimulink检查>建模标准> IEC 61508, IEC 62304, ISO 26262, EN 50128,和ISO 25119检查文件夹并选择复制. 右键单击自定义ISO 26262标准检查文件夹,然后单击粘贴.验证文件夹和检查是否已复制到自定义配置文件夹。

请注意:从中复制的检查图书馆窗格保持其默认参数设置。当它们被粘贴到您的自定义配置文件夹时,每个复选框旁边的复选框没有被选中。

7.在按照任务上的文件夹模型的顾问窗格中,右键单击MAB文件夹建模标准并选择减少. 点击on the Model Advisor Configuration Editor root folder and click粘贴.文件夹已从按照任务文件夹,并作为Model Advisor Configuration Editor根文件夹中的新子文件夹添加。

请注意:从中的文件夹复制或剪切的检查模型的顾问窗格保留其用户定义的参数设置。当一个检查包含在多个文件夹中时,可以分别为每个检查指定不同的参数。

8.选择ISO 26262标准检查文件夹,并使用向下移动按钮以更改此文件夹在层次结构中的位置。模型顾问将执行MAB建模标准文件夹。

9选择通过产品按照任务文件夹并选择删除

10点击另存为将配置文件重命名为demo_Configuration_ISO26262_MAB选择是的提示将配置保存为默认配置时。文件将自动保存在中. json格式。

请注意:如果您之前已经指定了默认配置,您可以使用明确的默认配置设置为清除指定当前默认配置文件的标志。单击该按钮不会修改Model Advisor configuration Editor中当前显示的配置。

11.关闭模型Advisor配置编辑器和AdvisorCustomizationExample.slx模型。

12刷新Model Advisor缓存并打开模型AdvisorCustomizationExample.slx通过在MATLAB命令行中输入以下内容:

Advisor.Manager.refresh_customizations();打开系统(“AdvisorCustomizationExample.slx”);

13.打开Model Advisor并检查该配置文件demo_Configuration_ISO26262_MAB.json正在使用。模型顾问将显示文件夹MAB建模标准ISO 26262标准检查

指定模型Advisor检查

在本例中,您将在自定义配置文件中自定义检查,demo_Configuration_ISO26262_MAB.json,并查看自定义设置对的Model Advisor分析的影响AdvisorCustomizationExample.slx模型。

1.在建模选项卡上,单击模型顾问>模型顾问配置编辑器如果有必要,还可以打开demo_Configuration_ISO26262_MAB.json

2.在模型的顾问窗格中,验证配置焦点是否设置为所有的检查选择。

3.清除该复选框,然后单击该复选框旁边的复选框模型Advisor配置编辑器根节点文件夹。(此步骤是可选的。但是,取消选择检查允许您更轻松地查看使用Model Advisor配置编辑器指定检查以在Model Advisor中显示的结果。)

4.要允许您使用Model Advisor用户界面来指定要在Model Advisor分析中包含哪些检查,右键单击模型Advisor配置编辑器根文件夹,然后单击启用.(注意:启用是默认设置。当没有禁用任何检查时,此选项将变为灰色。)

5.勾选对话框旁边的复选框MAB建模标准>命名约定>内容>检查块名称中的字符使用情况检查。

6.右键单击每个检查并选择禁用

  • MAB的建模标准>命名约定>内容>检查块名称中的字符使用情况

  • MAB的建模标准>命名约定>内容>检查子系统名称的长度

7.单击MAB建模标准> Simulink >图外观>检查块名称是金宝app否出现在块下面检查并在信息选项卡,选择失败对于当问题被标记时检查结果选择。点击应用

请注意:默认值当问题被标记时检查结果选择是警告

8.点击拯救保存配置。关闭模型Advisor配置编辑器和模型。

9.刷新Model Advisor缓存并打开模型AdvisorCustomizationExample.slx通过在MATLAB命令行中输入以下内容:

Advisor.Manager.refresh_customizations();打开系统(“AdvisorCustomizationExample.slx”);

10.打开Model Advisor并验证该配置文件demo_Configuration_ISO26262_MAB.json正在被使用。

观察这些检查,它们反映了您在Model Advisor Configuration Editor中选择的设置:

  • MAB建模标准>命名约定>内容>检查块名称中的字符使用情况,并选中复选框。这个检查将始终在Model Advisor分析中执行,并且由于它是灰色的,所以您不能选择将它从分析中排除。

  • MAB的建模标准>命名约定>内容>检查子系统名称的长度检查为灰色,且未选中复选框。此检查将不包含在分析中,因为它已变暗,所以您不能将其选择为包含在分析中。

11.在旁边的方框打勾MAB建模标准> Simulink >图外观>检查块名称是金宝app否出现在块下面检查。

12要运行ModelAdvisor分析,请右键单击MAB模型顾问标准根节点并选择选择运行检查

13.单击以下检查并查看Model Advisor分析结果:

  • MAB的建模标准>命名约定>内容>检查块名称中的字符使用情况检查被标记为一个警告图标,结果指定检查违规是在增益块中。

  • 没有结果MAB建模标准>命名约定>内容>检查子系统长度检查,因为无法为分析选择它。

  • MAB建模标准> Simulink >图外观>检查块名称是金宝app否出现在块下面检查被标记为失败图标。这种行为是有意的;您使用modeladvisor配置编辑器指定了此检查设置。

为编辑时间检查指定检查

在本例中,您将指定中可用的检查demo_Configuration_ISO26262_MAB.json编辑时检查期间执行的配置文件。

1.在模型AdvisorCustomizationExample.slx,在建模Tab,确保模型Advisor >编辑-时间检查选项被选中。

2.在建模选项卡上,单击自定义编辑时间检查。Model Advisor配置编辑器打开,配置焦点选项设置为支持编辑时间检查金宝app.编辑时检查只支持Model Advisor检查的一个子集;金宝app的支持编辑时间检查金宝app选项仅显示支持编辑时间检查的检查。金宝app

3.在模型的顾问窗格中,选中MAB建模标准> Simulink > Operation金宝app Blocks >检查逻辑算子块的图标形状检查。

4.点击拯救保存配置。关闭Model Advisor配置编辑器。返回到AdvisorCustomizationExample.slx模型。

5.在Simuli金宝appnk编辑器中,注意逻辑运算符块现在高亮显示。打开违例并单击修理.Model Advisor将块更改为矩形,并清除高亮显示的编辑时检查警告。

另请参阅

|

相关的话题