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

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

Flowchart for analyzing a model for standards compliance and design errors

此示例显示如何使用模型顾问检查巡航控制模型是否存在MathWorks^®咨询委员会 (MAB) 风格指南违规和设计错误。选择检查并对模型运行分析。使用模型顾问迭代调试问题并重新运行检查以验证其是否符合要求。通过您选择的检查后，报告结果。

使用模型顾问检查您的模型是否符合 MAB 指南。

打开示例工程。在命令行中输入

openExample("shared_vnv/CruiseControlVerificationProjectExample");
pr = openProject("SimulinkVerificationCruise");

打开simulinkCruiseErrorAndStandardsExample模型。
```
open_system simulinkCruiseErrorAndStandardsExample
```
在建模选项卡中，选择 模型顾问 。
单击OK从系统层次结构中选择simulinkCruiseErrorAndStandardsExample。
使用 Simulink^® Check™ 检查您的模型是否违反 MAB 样式指南。
1. 在左侧窗格中的 按产品 > Simulink Check > 建模标准 > MAB 检查 文件夹中，选择：
  - 检查索引模式
  - 检查模型诊断参数
2. 右键单击 MAB 检查 节点并选择 运行检查 。
3. 要检查违反 MAB 样式指南的配置参数设置，请运行 检查模型诊断参数 检查。
4. 分析结果出现在“报告”选项卡的右侧窗格中。报告显示违规详细信息和建议的行动。
5. 单击参数超链接，打开配置参数对话框，并更新模型诊断参数。保存模型。
6. 要验证您的模型是否通过，请重新运行检查。如果有必要，重复从c到e的步骤，以达到合规要求。
7. 要生成 Simulink Check 检查的结果报告，请选择 MAB 检查 节点，然后从工具条中点击报告。

在模型顾问中，您还可以使用Simulink Design Verifier™检查模型中是否存在隐藏的设计错误。

在左侧窗格中的 按产品 > Simulink Design Verifier 文件夹中，选择 设计错误检测 。
如果尚未选中，点击设计错误检测 旁边的框。文件夹中的所有检查均被选中。
在工具条中，点击运行检查 。
在 Model Advisor 分析之后，从工具条中点击报告。这将生成检查分析的 HTML 报告。
在生成的报告中，点击Simulink Design Verifier 结果摘要 超链接。该对话框提供了帮助您诊断模型中的错误和警告的工具。
1. 审查模型的分析结果。单击 Compute target speed 子系统。Simulink Design Verifier 结果检查窗口提供了派生范围，可通过识别可能的信号值来帮助您了解错误来源。
2. 检查框架模型，如果尚不存在，则创建一个。
3. 查看测试并导出测试用例。
4. 查看分析报告。要查看详细的分析报告，点击HTML或PDF。

相关主题