检查型号符合利用该模型顾问

型号顾问概述

模型顾问会检查你的模型或子系统建模条件和造成系统的不准确或低效仿真的模型表示的配置设置。模型顾问检查能帮助你检验是否符合行业标准和准则。利用该模型顾问，可以实现跨项目和开发团队一致的建模准则。

在完成模型的分析，模型顾问生成一个报告，其中列出了不适宜的条件，设置和建模技术，并提出解决方案，适用时。万博尤文图斯

您可以使用模型顾问以检查你的模型在这些方面：

交互运行模型顾问检查
配置型号顾问自动运行编辑时检查（需要万博1manbetx^®检查™）

这些限制，当您使用模型顾问检查您的模型。有关适用于特定的检查，看能力和限制部分的检查文档中的限制。

如果重命名系统，你必须重新启动型号顾问来检查系统。
在包含一个变体子系统的系统中，模型顾问检查当前的子系统。要检查活动和非活动的子系统两者设置Advisor.Application属性，AnalyzeVariants，至真正。
型号顾问不分析注释块。
检查不要在搜索模型块或子系统与块参数块读/写设置NoReadorWrite。但是，在检查通过检查的基础上，模型顾问检查就在库块和屏蔽子系统进行搜索。
除非做了检查文档中另有规定，示范顾问不分析的内容模型块。若要对引用的模型运行检查，请使用Advisor.Applicationclass（必万博1manbetx需的Simulink检查许可证）。

注意

软件本身是复杂的，可能不是免费的错误。模型顾问检查可能包含错误。MathWorks公司^®报告在提请其注意它的错误报告系统已知的bug//www.tianjin-qmedu.com/万博1manbetxsupport/bugreports/。该错误报告是各版本的文件的组成部分。审查释放错误报告这样的报告可能你使用的是发行的实际行为与此文档中描述的行为之间识别不一致。

虽然应用模型顾问会检查你的模型增加了你的模型不违反某些建模标准或准则的可能性，他们的应用程序不能保证所开发的系统是安全的或无错误的。这是最终的责任来验证，使用多种方法，是正在开发的系统提供了其预期的功能，不包括无意的功能。

模型顾问检查文档

模型顾问只显示已安装的产品的检查。s manbetx 845此表提供指向特定产品检查文档。产品许可证可能需要回顾一些文档。

产品	模型顾问检查文档
万博1manbetx	万博1manbetxSimulink的检查（万博1manbetxSimulink的）
嵌入式编码^®	嵌入式编码检查（嵌入式编码）
AUTOSAR模块组	MathWorks公司的AUTOSAR模块组检查（AUTOSAR模块组）
万博1manbetxSimulink的编码器™	万博1manbetxSimulink的编码器检查（万博1manbetxSimulink的编码器）
HDL编码器™	HDL代码顾问检查（HDL编码器）
万博1manbetxSimulink的代码检查™	万博1manbetxSimulink的代码检查检查（万博1manbetxSimulink的代码检查）
万博1manbetxSimulink的检查	DO-178C / DO-331检查 IEC 61508，IEC 62304，ISO 26262和EN 50128个检查型号检查是否有DO-254标准遵从性高完整性系统建模检查模型顾问检查与生物圈和JMAAB合规 MISRA C：2012和检查安全编码支票CERT C，CWE，和ISO / IEC TS 17961标准型号指标克隆检测检查
万博1manbetxSimulink设计验证器™	万博1manbetxSimulink设计验证检查（万博1manbetxSimulink设计验证）
万博1manbetxSimulink的要求™	要求一致性检查（万博1manbetxSimulink中的要求）
的Simscape™	文档只在模型顾问提供。如果要查看查看文档，模型顾问，在支票上标题右键单击并选择这是什么？
万博1manbetxSimulink的控制设计™	万博1manbetxSimulink的控制设计检查（万博1manbetxSimulink的控制设计）
IEC认证工具包	IEC认证工具包检查bug报告（IEC认证工具包）高完整性系统建模检查
DO资格套件	DO资格工具检查bug报告（DO资格工具包）高完整性系统建模检查

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

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

打开模型顾问示例模型sldemo_mdladv。
打开模型顾问，在Simulink编辑器，单击万博1manbetx造型标签，并选择型号顾问。一个系统选择 - 型号顾问打开对话框。选择模型或系统要审查和点击好。
在模型顾问的左窗格中，选择要在模型运行检查：
1. 您可以通过选择检查按产品要么按任务文件夹。如果这些文件夹不是模型顾问窗口中显示，开放设置>偏好并选择：
  - 显示通过产品文件夹- 对于每一个产品显示检查
  - 显示通过任务文件夹- 与特定的任务显示检查
2. 您可以搜索并进入执行特定检查标题要么TitleID在检查的找：字段，然后单击找下一个按钮。模型顾问搜索在检查名称，文件夹名称，并分析说明。您可以使用资源标签识别标题，TitleID和MATLAB的位置^®对于每个检查源代码。要显示资源在模型顾问的右窗格中，打开设置>偏好并选择显示源代码标签。
单击包含检查，并在模型顾问的右窗格中的文件夹，选择：
- 显示运行后报告自动生成并显示HTML格式的报告
- 运行选定检查执行分析。
为了运行单个检查，请右键单击该文件夹中的检查和选择运行此检查。
查看该示范Advisor用户界面的结果。常见的检查状态结果包括：
- 通过─检查也没查出问题。
- d通─取决于配置参数或另一个检查的成功执行。
- 警告─检查已查明的问题。
- 失败─检查无法执行。
根据需要修正警告或故障。欲了解更多信息，请参阅地址模型检查结果（万博1manbetxSIMULINK）。
使用排除选项卡已标记为从分析排除这一审查检查。要显示排除在模型顾问的右窗格选项卡，打开设置>偏好并选择展会排除选项卡。
查看和保存的报告。有关更多信息，请参阅保存并查看模型顾问检查报告（万博1manbetxSIMULINK）。

注意

如果您没有选择显示运行后报告当您执行的检查，可以分析完成后产生的结果的报告。看到生成模型顾问报告。
如果需要，可以重新设置检查，以不运行状态的状态。在左窗格中，右键单击型号顾问并选择重启。此操作不会删除模型顾问分析的结果。

保存分析时间从前面的分析运行检查

您可以通过使用模型顾问仪表板始终运行在同一组检查您的型号，以节省时间。当您使用的仪表盘，型号顾问不执行，从而节省了分析时间之前重新加载检查。

打开模型顾问示例模型sldemo_mdladv。
选择型号顾问>型号顾问仪表板。一个系统选择 - 型号顾问打开对话框。选择模型或系统要审查和点击好。
打开模型顾问控制面板窗口。在这个资讯主页，您可以：
- 点击运行检查按钮从前面的分析执行相同的检查
- 点击切换到标准视图按钮打开型号顾问，并选择不同的检查
- 点击启用高亮按钮来查看在Simulink编辑器中突出显示的结果万博1manbetx
点击运行检查按钮运行在前面的分析中使用的模型相同的检查。如果需要的话，请点击启用高亮按钮。
模型顾问执行检查和更新仪表板，以反映分析的结果，包括数量：
- 通过检查
- 失败的检查
- 被举报的检查
- 共检查
如果你点击了启用高亮按钮，所检举的结果突出显示在模型中。

模型顾问高亮信息窗口的链接型号顾问窗口打开。在模型顾问窗口，你可以找到关于检查结果，以及如何解决报警条件的详细信息。
点击打开报表按钮，打开HTML格式的完整报告。另外，您也可以选择结果旁边的数字链接过滤报告结果。

利用编辑时检查检查你的模型

当您启用编辑时检查，模型顾问对评估模型顾问检查的一个子集模型。在模型编辑器窗口，提醒您注意的问题在模型中突出显示的块。这使您能够更早识别模型设计过程建模问题。

您可以使用这些方法来使编辑时间模型的检查之一：

在里面调试选项卡，选中诊断>编辑时间检查
在里面造型选项卡，选中型号顾问>编辑时间检查
如果你有一个嵌入式编码或万博1manbetxSimulink的编码器许可，您可以使用编辑时检查来评估你的所特有的代码生成问题的模式。为了使这些检查，请打开C代码的应用程序并选择C / C ++代码顾问>编辑时间检查。

当启用编辑时检查，模型顾问凸显你的模型违反模型顾问检查块。

要查看支票违规行为，单击突出显示的块上述错误或警告图标。一个诊断窗口打开，它提供了有关违反模型顾问检查建模问题的信息。当一个块违反了多张支票，你可以使用诊断窗口，检查所有的问题。

对于每一个建模问题，可以使用诊断窗口：

检查原因，并探讨提议选项，固定问题，如果有的话。
点击问号关于违反模型顾问检查访问的详细文档。
忽略警告和块添加到排除列表对于检查通过点击压制。

在这个例子中，你使用编辑时检查来验证Stateflow框图的遵守，而你编辑MAB准则。

打开包含Stateflow图的模型。例如，在命令提示，输入：开放sf_boiler。
要启用编辑时检查，在造型选项卡，选中型号顾问>编辑时间检查。
打开轰隆轰隆控制器通过双击它图表。模型顾问凸显多种状态。将光标放在的警告离声明以发现问题。
选择提示。模型顾问表示，必须有一个后新生产线条目行动。在模型中，将光标后于：按输入。新线，并将警告被清除。

查看和自定义的模型顾问配置编辑时检查

模型顾问检查可用于编辑时检查是通过使用模型顾问配置文件中指定。您可以使用模型顾问配置编辑器来查看和修改现有的配置文件并创建新的配置文件。

要打开一个模型顾问配置文件和审查了为在编辑时检查使用而启用的型号顾问检查：

在Simuli万博1manbetxnk编辑器，单击造型标签，并选择型号顾问>自定义编辑时间检查。
模型顾问配置编辑器打开。对于当前正在使用的模型顾问配置文件名称显示在窗口的顶部显示。验证您正在评估正确的配置文件。要打开一个不同的配置文件，单击打开并浏览到你想查看文件。
在模型顾问配置编辑器，模型Advisor标签，选择支持编辑时检查万博1manbetx选项。过滤列表标识了支持编辑时检查模型顾问检查。万博1manbetx

注意

当检查包括在模型顾问层次的多个文件夹，用于编辑时检查，模型顾问优先在您的自定义文件夹的检查。如果检查是不是在你的自定义文件夹，优先进入的检查按任务文件夹，最后在检查你的按产品夹。
在里面型号顾问选项卡，选中要在编辑时检查分析，包括检查旁边的复选框。取消的支票，你不想分析旁边的复选框。有关使用模型顾问配置编辑器来创建自定义模型顾问配置，包括编辑时检查的定制的更多信息，请参阅使用模型顾问配置编辑器自定义模型顾问