分析模型的标准合规性和设计错误
在模型开发过程中,您可以根据 MAB 样式指南和高完整性系统设计指南(如 DO-178 和 ISO 26262)等标准检查和分析您的模型。当您分析模型时,您会发现错误、死逻辑和违反所需属性的条件。然后,您可以使用分析结果来更新模型和记录异常,并使用可自定义的模板报告结果。
此示例显示如何使用模型顾问检查巡航控制模型是否存在 MathWorks® 咨询委员会 (MAB) 风格指南违规和设计错误。您选择检查并对模型运行分析,然后使用模型顾问迭代调试问题并重新运行检查以验证其是否符合要求。当模型通过选定的检查时,您报告结果。
检查模型是否违反 MAB 样式指南
使用模型顾问检查您的模型是否符合 MAB 指南。
打开示例工程。
openExample("shared_vnv/CruiseControlVerificationProjectExample"); pr = openProject("SimulinkVerificationCruise");
打开
simulinkCruiseErrorAndStandardsExample
模型。open_system("simulinkCruiseErrorAndStandardsExample");
在建模选项卡中,选择模型顾问。
从系统选择器对话框中,选择
simulinkCruiseErrorAndStandardsExample
并点击确定。使用 Simulink® Check™ 检查您的模型是否违反了 MAB 样式指南:
在左侧窗格中的 按产品 > Simulink Check > 建模标准 > MAB 检查 文件夹中,选择:
检查索引模式
检查模型诊断参数
右键点击 MAB 检查节点并选择运行检查。
在左侧窗格中,选择检查模型诊断参数。分析结果出现在右侧窗格中的报告选项卡上。报告显示违规详细信息和建议的措施。
要打开配置参数对话框,点击参数超链接,更新模型诊断参数,然后保存模型。
要验证您的模型是否通过,请重新运行检查。如果有必要,重复从
c
到e
的步骤,直到两项检查都通过。要生成 Simulink Check 检查的结果报告,请选择 MAB 检查节点,然后点击工具条中的报告。
检查模型是否存在设计错误
在 Model Advisor 中,您还可以使用 Simulink Design Verifier™ 检查模型是否存在隐藏的设计错误。
在左侧窗格中的 按产品 > Simulink Design Verifier 文件夹中,点击设计错误检测的复选框。文件夹中的所有检查均被选中。
在工具条中,点击运行检查。
分析完成后,生成分析的 HTML 报告。在工具条中,点击报告。
在生成的报告中,点击 Simulink Design Verifier 结果摘要超链接。该对话框可帮助您诊断模型中的错误和警告。您可以:
查看模型的分析结果。点击
Compute target speed
子系统。Simulink Design Verifier 结果检查窗口提供了派生范围,可通过识别可能的信号值来帮助您了解错误来源。检查框架模型,如果尚不存在,则创建一个。
查看测试并导出测试用例。
查看分析报告。要查看详细的分析报告,点击 HTML 或 PDF。
另请参阅
主题
- 使用模型顾问检查模型合规性 (Simulink Check)
- Collect Model Metrics Using the Model Advisor (Simulink Check)
- 分析模型以检测设计错误 (Simulink Design Verifier)
- 证明模型中的属性 (Simulink Design Verifier)