主要内容

使用模型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分析期间标记检查时，是否将其标记为警告或失败。

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

模型Advisor配置编辑器包括:

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

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

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

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

  • 信息选项卡—该选项卡提供检查和文件夹的详细信息，如显示名称、检查标题和ID、描述、许可要求、子检查和输入参数。

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

模型Advisor配置编辑器

打开Model Advisor配置编辑器

在打开Model Advisor Configuration Editor之前，请验证当前文件夹是可写的。如果文件夹不可写，则在启动Model Advisor Configuration Editor时将看到一条错误消息。

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

Advisor.Manager.refresh_customizations

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

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

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

  • 从模型顾问-选择设置>打开配置编辑器。

当您打开Model Advisor configuration Editor时，将显示Model Advisor当前使用的配置文件。该配置的文件名显示在窗口顶部。验证您正在评估正确的配置文件。要打开一个不同的配置文件，单击开放并浏览到您想查看的文件。

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

指定一个默认配置文件

您可以使用Model Advisor Configuration Editor来指定一个默认配置，该配置在Model Advisor打开时自动加载。要设置默认配置，请在Model Advisor configuration Editor中打开配置文件并单击设置为默认工具条上的按钮。

请注意

如果您之前已经指定了默认配置，您可以使用清除默认配置设置清除指定当前默认配置文件的设置。单击该按钮不会修改Model Advisor configuration Editor中当前显示的配置。当您没有指定默认配置时，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 Configuration Editor中应用，然后在Model Advisor中，没有选择检查，您不能将其包含在分析中。

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

    如果文件夹旁边的方框是不选择和禁用选项在Model Advisor Configuration Editor中应用，然后在Model Advisor中，没有选择文件夹中的任何检查，因此不能将其包含在分析中。

当检查或文件夹被禁用时，您可以使用启用选项允许用户决定是否在分析中包含检查。

请注意

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

指定自定义检查参数

您可以使用Model Advisor Configuration Editor来定制Model Advisor检查，例如检查的显示名称和输入参数。

在信息选项卡，查看您可以自定义的检查内容:

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

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

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

抑制缺少检查的警告消息

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

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

警告(“关闭”,“仿真软件:工金宝app具:MALoadConfigMissCorrespondCheck”)

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

打开生活的脚本

您可以使用Model Advisor Configuration Editor来组织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”）;

打开模型并查看模型Advisor配置

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

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

Advisor.Manager.refresh_customizations ();

2.打开示例模型。

open_system (“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。您将使用这个配置文件来定义MathWorks Advisory Board (MAB)建模指导原则，检查您是否希望使用Model Advisor用户界面来执行。

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

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

请注意:当您打开Model Advisor Configuration Editor时，当前加载在Model Advisor缓存中的文件将自动显示出来。

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

4.突出显示Model Advisor Configuration Editor根文件夹并单击新文件夹。选择新文件夹并在信息选项卡，将显示名称更改为ISO 26262标准检查。点击应用。

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

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

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

7.在按照任务上的文件夹模型的顾问窗格中，右键单击MAB文件夹建模标准并选择减少。单击Model Advisor Configuration Editor根文件夹并单击粘贴。文件夹已从按照任务文件夹，并作为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 ();open_system (“AdvisorCustomizationExample.slx”）;

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

指定模型Advisor检查

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

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

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

3.清除复选框旁边的复选框模型Advisor配置编辑器根节点的文件夹。(此步骤为可选。但是，取消选择检查允许您更容易地查看使用Model Advisor Configuration Editor来指定要在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 ();open_system (“AdvisorCustomizationExample.slx”）;

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

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

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

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

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

12.要运行Model Advisor分析，右键单击MAB模型顾问标准根节点并选择选择运行检查。

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

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

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

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

为编辑时间检查指定检查

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

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

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

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

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

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

另请参阅

|

相关的话题

金宝app模型检查文档

金宝app

用Simulink自动验证和验证金宝app

用Simulink自动验证和验证金宝app

得到资源