分析模型——MATLAB和Simulink标准遵从性和设计错误万博1manbetx

分析模型为标准遵从性和设计错误

这个示例使用:

在模型的发展过程中,检查和分析模型来提高其质量的信心。检查你的模型与标准,如马伯风格指南和高度集成等系统设计指南- 178和ISO 26262。分析你的模型错误,死逻辑和条件,违反所需的属性。利用分析结果,更新您的模型和文档的例外。报告结果使用可定制的模板。

流程图分析标准遵从性和设计的模型错误

这个例子展示了如何使用该模型顾问检查MathWorks巡航控制模型^®顾问委员会(MAB)侵犯的风格指南和设计错误。选择检查和运行分析模型。迭代使用模型调试问题顾问并重新运行检查,以确认它。通过您选择的检查后,报告结果。

检查你的模型符合马伯指南顾问通过使用模型。

打开示例项目。在命令行输入

openExample (“shared_vnv / CruiseControlVerificationProjectExample”);公关= openProject (“万博1manbetxSimulinkVerificationCruise”);

打开万博1manbetxsimulinkCruiseErrorAndStandardsExample模型。
```
open_system万博1manbetxsimulinkCruiseErrorAndStandardsExample
```
在建模选项卡上,选择模型的顾问。
点击好吧选择万博1manbetxsimulinkCruiseErrorAndStandardsExample从系统层次结构。
检查你的模型马伯违规使用的风格指南万博1manbetx^®检查™。
1. 在左窗格中,通过产品>万博1manbetx仿真软件检查>建模标准>马伯检查文件夹,选择:
  - 检查索引模式
  - 检查模型的诊断参数
2. 右键单击马伯检查节点并选择运行检查。
3. 审查违反马伯风格指南的配置参数设置,运行检查模型的诊断参数检查。
4. 分析结果显示在右边的面板中报告选项卡。报告显示了违反细节和建议的行动。
5. 单击参数超链接,打开配置参数对话框,并更新模型诊断参数。保存模型。
6. 来验证您的模型,重新运行检查。重复步骤从c来e,如果有必要,达到合规。
7. 生成一个结果的报告万博1manbetx仿真软件检查检查,选择马伯检查节点,然后,从将来发布,点击报告。

在模型顾问,您还可以检查您的模型使用隐藏的设计错误万博1manbetx仿真软件设计校验™。

在左窗格中,通过产s manbetx 845品>万博1manbetx仿真软件设计验证器文件夹,选择设计错误检测。
如果没有选中,单击旁边的框设计错误检测。选择文件夹中的所有检查。
从工具条,点击运行检查。
模型顾问分析后,从工具条,点击报告。这生成一个HTML报告的检查分析。
在生成的报告,点击万博1manbetx仿真软件设计校验结果总结超链接。对话框提供了一些工具来帮助你在你的模型诊断错误和警告。
1. 检查模型的分析结果。单击计算目标速度子系统。仿真软件万博1manbetx设计校验结果Inspector窗口提供了派生的范围,可以帮助您理解错误的来源通过识别可能的信号值。
2. 审查利用模型或创建一个如果它不存在。
3. 查看和导出测试用例测试。
4. 检查分析报告。看到一个详细的分析报告,点击HTML或PDF。