主要内容

使用模型顾问检查模型

模型顾问概述

模型顾问检查您的模型或子系统是否为建模条件和配置设置导致模型所代表的系统的不准确或效率低下的仿真。模型顾问检查可以帮助您验证遵守行业标准和准则。通过使用模型顾问,您可以在项目和开发团队之间实施一致的建模准则。

在完成模型的分析后,模型顾问制作了一份报告,该报告列出了次优条件,设置和建模技术,并在适用的情况下提出了解决方案。万博 尤文图斯

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

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

  • 配置模型顾问以自动运行编辑时间检查(需要万博1manbetx®Check™

当您使用模型顾问检查模型时,这些限制适用。有关适用于特定检查的限制,请参见支票文档中的功能和限制部分。

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

  • 在包含变体子系统的系统中,模型顾问检查活动子系统。要检查活动和非活动子系统,请设置Advisor.Application(万博1manbetxSimulink检查)财产,Analyzevariants, 至真的

  • 模型顾问没有分析评论的块。

  • 检查不搜索模型块或子系统带有块参数的块读/写调成Noreadorwrite。但是,按检查基础,模型顾问检查在库块和蒙版子系统中进行搜索。

  • 除非在文档中另有规定以进行检查,否则模型顾问不会分析模型堵塞。要对引用模型进行检查,请使用Advisor.Application(万博1manbetxSimulink检查)类(需要Sim万博1manbetxulink检查许可证)。

笔记

软件本质上是复杂的,可能没有错误。模型顾问检查可能包含错误。数学工作®已知错误的报告引起了其注意在其错误报告系统上的关注//www.tianjin-qmedu.com/万博1manbetxsupport/bugreports/。错误报告是每个版本的文档不可或缺的一部分。检查发布的错误报告,因为此类报告可能会确定您使用的版本的实际行为与本文档中描述的行为之间的不一致之处。

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

模型顾问检查文档

模型顾问仅显示您已安装产品的支票。s manbetx 845该表提供了针对特定产品检查文档的链接。可能需要产品许可证来审查一些文档。

产品 模型顾问检查文档
万博1manbetx 万博1manbetxSimulink检查
嵌入式编码器® 嵌入式编码器检查(嵌入式编码器)
Autosar区块 Autosar区块检查(Autosar区块)
万博1manbetxSimulink Coder™ 万博1manbetxSimulink编码器检查(万博1manbetxSimulink编码器)
HDL Coder™ HDL代码顾问检查(HDL编码器)
万博1manbetxSimulink Code Inspertor™ 万博1manbetxSimulink代码检查器检查(万博1manbetxSimulink代码检查员)
万博1manbetxSimulink检查

DO-178C/DO-331检查(万博1manbetxSimulink检查)

IEC 61508,IEC 62304,ISO 26262,ISO 25119和EN 50128/EN 50657检查(万博1manbetxSimulink检查)

DO-254标准合规性的型号检查(万博1manbetxSimulink检查)

高完整性系统建模检查(万博1manbetxSimulink检查)

模型顾问检查MAB和JMAAB合规性(万博1manbetxSimulink检查)

Misra C:2012年检查(万博1manbetxSimulink检查)

证书C,CWE和ISO/IEC TS 17961标准的安全编码检查(万博1manbetxSimulink检查)

模型指标(万博1manbetxSimulink检查)

万博1manbetxSimulink Design Verifier™ 万博1manbetxSimulink设计验证器检查(万博1manbetxSimulink设计验证者)
万博1manbetxSimulink PLC Coder™ PLC模型顾问检查(万博1manbetxSimulink PLC编码器)
需求Toolbox™ 要求一致性检查(需求工具箱)
SIMSCAPE™ 文档仅在模型顾问中可用。要查看模型顾问中的支票文档,请右键单击检查标题,然后选择这是什么?
万博1manbetxSimulink Control Design™ 万博1manbetx模拟控制设计检查(万博1manbetxSimulink控制设计)
IEC认证套件

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

做资格套件

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

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

您可以使用Model Advisor来与模型标准和准则进行交互式检查模型。以下示例使用sldemo_mdladv使用模型顾问演示模型顾问检查执行的模型。

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

  2. 要打开模型顾问,在Simulink编辑中,请单击万博1manbetx造型选项卡和选择模型顾问。一个系统选择器 - 模型顾问对话框打开。选择要查看的模型或系统,然后单击好的

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

    1. 您可以使用通过产品或者按任务文件夹。

      • 通过产品文件夹显示- 显示每种产品可用的支票

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

    使用图标检查更新图图标触发模型图的更新。

    使用图标检查广泛的分析图标触发对模型的广泛分析。检查触发对模型的广泛分析的检查使用其他分析技术,例如与万博1manbetxSimulink设计验证者

  4. 单击包含检查的文件夹,然后在工具条上选择运行检查执行分析。要运行一次检查,请右键单击文件夹中的支票,然后选择运行此检查

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

    检查结果状态

    图标 描述

    通过

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

    对于给定的支票,模型没有任何违规行为。

    失败的

    失败图标

    检查已经确定了严重的违规行为。

    警告

    警告图标

    支票已确定违规行为。

    有理由

    理由图标

    检查违规是合理的。

    不跑

    不运行图标

    检查未选择模型顾问分析。

    不完整

    不完整的图标

    检查分析不完整或检查执行导致例外。

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

  7. 使用排除选项卡以审查被标记为排除分析的检查。

  8. 查看并保存报告。有关其他信息,请参阅保存和查看模型顾问检查报告生成模型顾问报告(万博1manbetxSimulink检查)

以编程方式运行模型检查

如果你有万博1manbetxSimulink检查,您可以创建MATLAB®脚本和函数,以便您可以编程运行模型顾问。例如,您可以创建一个ModelAdvisor.run(万博1manbetxSimulink检查)功能以检查您的模型是否通过指定的模型顾问集,每次打开模型并启动模拟时检查。

相关示例

更多关于