在模型开发过程中,检查和分析您的模型以增加对模型质量的信心。根据MAB风格指南和DO-178和ISO 26262等高完整性系统设计指南等标准检查您的模型。分析模型中的错误、死逻辑和违反所需属性的条件。使用分析结果,更新您的模型并记录异常。使用可定制的模板报告结果。
此示例展示如何使用Model Advisor检查MathWorks的巡航控制模型®违反咨询委员会(MAB)风格的指导方针和设计错误。选择检查并在模型上运行分析。使用Model Advisor迭代调试问题,并重新运行检查以验证是否符合要求。通过选定的检查后,报告结果。
在Model Advisor中,您可以检查您的模型是否符合MAB建模准则。
在工作文件夹中创建项目的副本。在命令行中输入
Path = fullfile(matlabroot,'toolbox','shared','examples',…“验证”、“src”,“巡航”)运行(fullfile(路径,slVerificationCruiseStart))
打开模型。在命令行中输入
open_system 金宝appsimulinkCruiseErrorAndStandardsExample
在建模选项卡上,选择模型的顾问.
单击“确定”选择金宝appsimulinkCruiseErrorAndStandardsExample
从系统层次结构。
检查你的模型是否违反了MAB风格的指导原则金宝app®检查™.
在左边的窗格中通过产品>金宝app仿真软件检查>建模标准>马伯检查文件夹,选择:
检查索引模式
检查模型诊断参数
右键单击马伯检查节点并选择运行选定检查
.
若要查看违反MAB样式指导原则的配置参数设置,请单击检查模型诊断参数检查。分析结果显示在右侧窗格中,并包括建议的操作。
单击参数超链接,打开Configuration Parameters对话框,并更新模型诊断参数。保存模型。
要验证您的模型通过了检查,请重新运行检查。重复步骤c
而且d
,如有必要,以达成合规。
的结果报告金宝app仿真软件检查检查,选择马伯检查节点,然后在右窗格中单击生成的报告….
在Model Advisor中,您还可以使用以下命令检查模型是否存在隐藏的设计错误金宝appSimulink设计验证器™.
在左边的窗格中通过产下载188bet金宝搏品>金宝appSimulink设计验证器文件夹,选择设计错误检测.
如果尚未勾选,请单击旁边的方框设计错误检测.选中文件夹中的所有检查。
在右侧窗格中,选择运行后显示报告而且运行选定检查.
在已生成的报表中,单击a金宝appSimulink设计验证结果摘要超链接。对话框提供了一些工具来帮助您诊断模型中的错误和警告。
回顾模型的分析结果。点击突出模型的分析结果.单击计算目标速度
子系统,用红色标出。“Sim金宝appulink设计验证器结果检查器”窗口提供派生范围,可通过识别可能的信号值来帮助您了解错误的来源。
检查控制模型,或者创建一个(如果还不存在)。
查看测试并导出测试用例。
审核分析报告。单击,查看详细的分析报告超文本标记语言或PDF.