主要内容

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

顾问模型概述

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

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

您可以使用Model Advisor以以下方式检查您的模型:

  • 交互式地运行Model Advisor检查

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

这些限制适用于使用Model Advisor检查模型的情况。有关适用于特定检查的限制,请参阅检查文档中的功能和限制一节。

  • 如果重命名系统,则必须重新启动Model Advisor以检查该系统。

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

  • Model Advisor不分析注释块。

  • 检查不搜索模型块或子系统使用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金宝搏该表提供了到特定于产品的检查文档的链接。审阅某些文档时可能需要产品许可证。

产品 模型Advisor检查文档
金宝app 金宝app仿真软件检查
嵌入式编码器® 嵌入式程序员检查(嵌入式编码)
AUTOSAR Blockset AUTOSAR Blockset检查(AUTOSAR Blockset)
金宝app仿真软件编码器™ 金宝app仿真软件编码器检查(金宝app仿真软件编码器)
高密度脂蛋白编码器™ HDL代码顾问检查(高密度脂蛋白编码器)
金宝app仿真软件代码检查员™ 金宝appSimulink代码检查器检查(金宝app仿真软件代码检查员)
金宝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标准的安全编码检查

模型指标

克隆检测检查

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

IEC认证套件检查(IEC认证工具包)

做资格工具包

DO确认套件检查(做资格工具包)

运行模型Advisor检查和评审结果

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

  1. 打开Model Advisor示例模型sldemo_mdladv

  2. 要打开Model Advisor,在Simulink编辑器中,单击金宝app建模选项卡并选择模型的顾问.一个系统选择器-模型顾问对话框打开。选择要查看的模型或系统并单击好吧

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

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

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

      • 按任务文件夹显示—显示指定任务相关的检查信息

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

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

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

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

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

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

    结果

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

    警告

    失败

    通过-检查未发现问题。

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

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

    D-Pass—依赖于配置参数或成功执行另一次检查。

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

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

    警告-检查已识别问题。

    这两种设置使用相同的图标。

    警告图标

    失败—Check执行失败。

    这两种设置使用相同的图标。

    失败的图标

  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执行检查并更新仪表板以反映分析的结果,包括:

    • 通过了检查

    • 失败的检查

    • 标记检查

    • 全部检查

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

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

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

相关的话题