主要内容

分析符合标准和设计错误的模型

这个例子使用了:

标准及分析概述

在模型开发过程中，检查和分析您的模型以增加对模型质量的信心。根据MAB风格指南和DO-178和ISO 26262等高完整性系统设计指南等标准检查您的模型。分析模型中的错误、死逻辑和违反所需属性的条件。使用分析结果，更新您的模型并记录异常。使用可定制的模板报告结果。

分析符合标准和设计错误的模型的流程图

检查模型是否违反样式指导原则和设计错误

此示例展示如何使用Model Advisor检查MathWorks的巡航控制模型®违反咨询委员会(MAB)风格的指导方针和设计错误。选择检查并在模型上运行分析。使用Model Advisor迭代调试问题，并重新运行检查以验证是否符合要求。通过选定的检查后，报告结果。

检查模型是否违反MAB风格的指导原则

在Model Advisor中，您可以检查您的模型是否符合MAB建模准则。

  1. 在工作文件夹中创建项目的副本。在命令行中输入

    Path = fullfile(matlabroot，“工具箱”，“共享”，“例子”，.．.“验证”，“src”，“巡航”)运行(fullfile(路径,“slVerificationCruiseStart”）)

  2. 打开模型。在命令行中输入

    open_system金宝appsimulinkCruiseErrorAndStandardsExample

  3. 在建模选项卡上,选择模型的顾问．

  4. 单击“确定”选择金宝appsimulinkCruiseErrorAndStandardsExample从系统层次结构。

  5. 检查你的模型是否违反了MAB风格的指导原则金宝app®检查™．

    1. 在左边的窗格中通过产品>金宝app仿真软件检查>建模标准>马伯检查文件夹,选择:

      • 检查索引模式

      • 检查模型诊断参数

    2. 右键单击马伯检查节点并选择运行选定检查．

    3. 若要查看违反MAB样式指导原则的配置参数设置，请运行检查模型诊断参数检查。

    4. 的右窗格中显示分析结果报告选项卡。报告显示违规细节和建议的操作。

    5. 单击参数超链接，打开Configuration Parameters对话框，并更新模型诊断参数。保存模型。

    6. 要验证您的模型通过了检查，请重新运行检查。重复以下步骤c来e，如有必要，以达成合规。

    7. 的结果报告金宝app仿真软件检查检查，选择马伯检查节点，然后从工具条中单击报告．

检查模型的设计错误

在Model Advisor中，您还可以使用以下命令检查模型是否存在隐藏的设计错误金宝appSimulink设计验证器™．

  1. 在左边的窗格中通过产下载188bet金宝搏品>金宝appSimulink设计验证器文件夹,选择设计错误检测．

  2. 如果尚未勾选，请单击旁边的方框设计错误检测．选中文件夹中的所有检查。

  3. 在工具条上，单击运行检查．

  4. 在Model Advisor分析之后，从工具条中单击报告．这将生成检查分析的HTML报告。

  5. 在已生成的报表中，单击a金宝appSimulink设计验证结果摘要超链接。对话框提供了一些工具来帮助您诊断模型中的错误和警告。

    1. 回顾模型的分析结果。单击计算目标速度子系统。“Sim金宝appulink设计验证器结果检查器”窗口提供派生范围，可通过识别可能的信号值来帮助您了解错误的来源。

    2. 检查控制模型，或者创建一个(如果还不存在)。

    3. 查看测试并导出测试用例。

    4. 审核分析报告。单击，查看详细的分析报告超文本标记语言或PDF．

相关的话题