主要内容

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

顾问模型概述

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

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

你可以使用模型顾问以以下方式检查你的模型:

  • 交互式地运行Model Advisor检查

  • 配置Model Advisor以自动运行编辑时检查(需要动态仿真模块®检查™

当您使用Model Advisor检查您的模型时,会应用这些限制。有关应用于特定检查的限制,请参阅检查文档中的功能和限制部分。

  • 如果您重命名一个系统,您必须重新启动Model Advisor来检查该系统。

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

  • Model Advisor不分析注释块。

  • 支票不进行搜索模型块或子系统块与block参数读/写设置为NoReadorWrite.然而,在逐项检查的基础上,Model Advisor检查在库块和被屏蔽的子系统中进行搜索。

  • 除非在文档中另外指定检查,否则Model Advisor不会分析模型块。的实例来运行对引用模型的检查顾问。一个pplication类(Simulink检查许可证要求)。

请注意

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

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

模型顾问检查文档

Model Advisor只显示已安装产品的检查。2022世界杯八强谁会赢?该表提供特定产品检查文档的链接。可能需要产品许可证来审阅一些文档。

产品 模型顾问检查文档
动态仿真模块 仿真软件检查
嵌入式编码器® 嵌入式程序员检查(嵌入式编码)
AUTOSAR Blockset AUTOSAR Blockset检查(AUTOSAR Blockset)
仿真软件编码器™ 仿真软件编码器检查(仿真软件编码器)
高密度脂蛋白编码器™ HDL代码顾问检查(高密度脂蛋白编码器)
仿真软件代码检查员™ Simulink代码检查器检查(仿真软件代码检查员)
仿真软件检查

- 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标准的安全编码检查

模型指标

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

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

做资格工具包

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

运行模型顾问检查并检查结果

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

  1. 打开Model Advisor示例模型sldemo_mdladv

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

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

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

      • 按产品目录显示-显示每个产品可用的检查

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

    点击图标更新图图标触发模型图的更新。

    点击图标广泛分析图标触发对模型的广泛分析。触发模型的广泛分析的检查使用附加的分析技术,例如仿真软件设计验证器

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

  5. 在Model Advisor用户界面上查看结果。下表显示了常见的检查状态结果;注意,根据for的参数设置,使用了不同的图标标记问题时的检查结果在模型顾问配置编辑器(需要一个仿真软件检查许可证)。有关该参数的更多信息,请参见设置支票定制参数

    检查结果状态

    图标 描述

    通过了

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

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

    失败的

    失败的图标

    检查发现了严重的违规行为。

    警告

    警告图标

    检查已识别违规。

    合理的

    理由图标

    支票违规是合理的。

    没有运行

    没有运行图标

    为模型顾问分析检查未选中。

    不完整的

    不完整的图标

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

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

  7. 使用除外责任TAB来检查标记为从分析中排除的检查。

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

相关的话题

Baidu
map