主要内容

检查模型合规顾问通过使用模型

顾问模型概述

模型顾问检查你的模型或子系统的建模条件和配置设置,导致不准确或低效率的仿真系统的模型表示。模型顾问检查可以帮助您验证符合行业标准和指导方针。通过使用模型顾问,您可以跨项目和开发团队实现一致的建模指导方针。

完成的分析模型,该模型顾问产生一份报告,列出了次优条件,设置,和建模技术,提出了解决方案,当适用。金宝搏官方网站

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

  • 交互模式运行顾问检查

  • 配置自动运行模式顾问(需要编辑时间检查金宝app®检查™)

这些限制适用于当您使用模型顾问检查你的模型。为限制适用于特定的检查,看中的功能和限制部分检查文档。

  • 如果你重命名一个系统,您必须重新启动模型顾问检查系统。

  • 在系统包含一个变种的子系统,子系统模型顾问检查活跃。检查两个活跃的和不活跃的子系统,设置Advisor.Application财产,AnalyzeVariants,真正的

  • 模型顾问不分析注释块。

  • 检查不要搜索模型块或子系统块与块参数读/写设置为NoReadorWrite。然而check-by-check基础上,模型顾问检查在库搜索块和蒙面子系统。

  • 除非另有指定的文档检查,该模型顾问不分析的内容模型块。运行检查参考模型,使用的实例Advisor.Application类(仿真软件检金宝app查许可证要求)。

  • 模型不支持顾问并行运行在网络仿真软件。金宝app金宝app

请注意

软件本来就很复杂,可能不是免费的错误。模型顾问检查可能包含错误。MathWorks®对已知Bug报告了错误报告系统//www.tatmou.com/金宝appsupport/bugreports/。bug报告是每个版本的文档的一个组成部分。检查错误报告的发布这些报道可能识别的实际行为之间的不一致释放您正在使用,本文档中描述的行为。

虽然应用模型顾问检查你的模型增加了模型的可能性没有违反某些建模标准或指南,他们正在开发的应用程序不能保证系统将是安全的或无错误的。它最终是你的责任来验证,使用多个方法,系统开发提供了其预期的功能和不包括意想不到的功能。

模型顾问检查文档

模型顾问只显示检查你的安装产品。下载188bet金宝搏这个表提供了特定于产品的检查文档的链接。产品许可可能需要审查的一些文档。

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

模型- 178 c /顾问检查做- 331行业标准

模型顾问检查IEC 61508、IEC 62304、ISO 26262、ISO 25119、50128 EN / EN 50657行业标准

模型顾问检查- 254标准遵从性

模型顾问检查高完整性系统建模的指导方针

模型顾问检查马伯建模指南

模型顾问检查JMAAB建模指南

模型顾问检查MISRA - C: 2012编码标准

模型顾问检查证书C, CWE, ISO / IEC TS 17961安全的编码标准

模型指标

金宝app仿真软件设计校验™ 金宝app仿真软件设计验证器检查(金宝app仿真软件设计验证器)
金宝app仿真软件PLC编码器™ PLC模式顾问检查(金宝app仿真软件PLC编码器)
要求工具箱™ 需求一致性检查(需求工具箱)
Simscape™ 文档模型中只有顾问。审查的文档检查,在模型中顾问,右键单击检查标题和选择这是什么?
金宝app仿真软件控制设计™ 金宝app仿真软件控制设计检查(金宝app仿真软件控制设计)
IEC认证工具包

IEC认证设备检查(IEC认证工具包)

做资格工具包

做资格设备检查(做资格工具包)

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

您可以使用模型顾问检查你的模型交互式地对建模标准和指导方针。下面的例子使用了sldemo_mdladv模型来演示模型的执行顾问检查使用模型的顾问。

  1. 打开模型顾问示例模型,在MATLAB®命令行输入:

    openExample (“sldemo_mdladv”)

  2. 打开模型顾问,在模型编辑器中,单击金宝app建模选项卡并选择模型的顾问。系统选择器对话框打开。选择你想要的模型或系统回顾并单击好吧

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

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

      • 显示通过产品文件夹——显示检查每个产品

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

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

    检查与图标广泛分析图标触发一个广泛的分析模型。检查触发广泛分析模型的使用额外的分析技术,如分析金宝app仿真软件设计验证器

  4. 单击文件夹包含检查和在将来发布,选择运行检查执行分析。运行一个检查,在检查在文件夹上单击右键并选择运行这个检查

  5. 用户界面视图对模型结果的顾问。此表显示了常见的检查状态的结果;请注意,使用不同的图标根据参数设置当问题被标记检查结果模型中的顾问配置编辑器(需要一个金宝app仿真软件检查许可证)。这个参数的更多信息,请参阅指定参数检查定制

    检查结果状态

    图标 描述

    通过了

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

    模型没有任何违反给定检查(s)。

    失败的

    失败的图标

    检查发现了严重侵犯。

    警告

    警告图标

    检查确认违规。

    合理的

    理由图标

    检查违规行为是合理的。

    没有运行

    没有运行图标

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

    不完整的

    不完整的图标

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

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

  7. 使用除外责任标签审核检查被标记为被排除在分析。

  8. 查看和保存报告。有关更多信息,请参见保存和查看模型顾问检查报告生成模型的顾问报告

相关的话题