主要内容

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

模型顾问概述

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类(Simul金宝appink检查许可证要求)。

请注意

软件本身就很复杂,可能没有错误。Model Advisor检查可能包含bug。MathWorks®在其Bug报告系统上报告引起注意的已知Bug//www.tatmou.com/金宝appsupport/bugreports/.bug报告是每个版本的文档中不可分割的一部分。检查一个版本的错误报告,因为这样的报告可能会识别出您正在使用的版本的实际行为与本文档中描述的行为之间的不一致。

虽然对模型应用Model Advisor检查会增加模型不违反某些建模标准或指导方针的可能性,但它们的应用不能保证正在开发的系统是安全的或无错误的。使用多种方法验证正在开发的系统是否提供了预期的功能,而不包括非预期的功能,这最终是您的责任。

Model Advisor检查文档

Model Advisor仅显示已安装产品的检查。下载188bet金宝搏该表提供了到特定于产品的检查文档的链接。为了审查某些文档,可能需要产品许可。

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

模型指标

金宝appSimulink设计验证器™ 金宝appSimulink设计验证器检查(金宝appSimulink Design Verifier)
金宝appSimulink PLC Coder™ PLC模型顾问检查(金宝appSimulink PLC Coder)
要求工具箱™ 一致性检查(需求工具箱)
Simscape™ 文档只在Model Advisor中可用。要查看检查的文档,在Model Advisor中,右键单击检查标题并选择这是什么?
金宝appSimulink控制设计™ 金宝appSimulink控制设计检查(金宝appSimulink控制设计)
IEC认证套件

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

DO资格套件

DO资格套件检查(民政事务处资历套件)

运行Model Advisor检查并检查结果

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

  1. 打开Model Advisor示例模型sldemo_mdladv

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

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

    1. 方法选择检查通过产品按照任务文件夹。

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

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

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

    检查图标广泛分析图标触发对模型的广泛分析。触发模型广泛分析的检查使用附加的分析技术,例如使用金宝appSimulink设计验证器

  4. 单击包含检查的文件夹,并在工具条上选择运行检查执行分析。要运行单个检查,右键单击文件夹中的检查并选择运行此检查

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

    检查结果状态

    图标 描述

    通过了

    当检查结果的标志设置为警告时,传递图标

    对于给定的检查,模型没有任何违反。

    失败的

    失败的图标

    检查已发现严重违规行为。

    警告

    警告图标

    检查已识别出违规行为。

    合理的

    理由图标

    检查违规是合理的。

    没有运行

    不运行图标

    检查Model Advisor分析是否选中。

    不完整的

    不完整的图标

    检查分析不完整或检查执行导致异常。

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

  7. 使用除外责任TAB查看标记为排除在分析之外的检查。

  8. 查看并保存报表。有关其他信息,请参见保存和查看模型顾问检查报告而且生成模型顾问报告

相关的话题