本页采用了机器翻译。点击此处可查看英文原文。

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

此示例使用:

在模型开发过程中，您可以根据 MAB 指导规范和高完整性系统设计规范（如 DO-178 和 ISO 26262）等标准检查和分析您的模型。通过分析模型，您可识别错误、无效逻辑以及违反必需属性的条件。然后，您可以使用分析结果来更新您的模型，记录异常，并使用可自定义的模板报告结果。

Flowchart for analyzing a model for standards compliance and design errors

此示例说明如何使用模型顾问来检查一个巡航控制模型中是否存在违反 MathWorks® 咨询委员会 (MAB) 指导规范的情况和设计错误。您将选择检查并对模型运行分析，然后使用模型顾问以迭代方式调试问题，并重新运行检查以验证其是否合规。当模型通过所选检查后，您需要报告结果。

检查模型中是否存在违反 MAB 指导规范的情况

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

  1. 打开示例工程。

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

  2. 打开 simulinkCruiseErrorAndStandardsExample 模型。

    open_system("simulinkCruiseErrorAndStandardsExample");

  3. 在建模选项卡中，选择模型顾问。

  4. 在系统选择器对话框中，选择 simulinkCruiseErrorAndStandardsExample 并点击确定。

  5. 使用 Simulink® Check™ 检查您的模型中是否存在违反 MAB 指导规范的情况：

    1. 在左窗格中，在按产品 > Simulink Check > 建模标准 > MAB 检查文件夹下，选择：

      • 检查索引模式

      • 检查模型诊断参数

    2. 右键点击 MAB 检查节点，然后选择运行。

    3. 在左窗格中，选择检查模型诊断参数。分析结果出现在报告选项卡的右窗格中。该报告中显示了违规详细信息和建议的操作。

    4. 要打开“配置参数”对话框，请点击参数超链接，更新模型诊断参数，然后保存模型。

    5. 要验证您的模型是否通过检查，请重新运行检查。如有必要，请重复步骤 c 至 e，直到两项检查均通过。

    6. 要生成 Simulink Check 检查的结果报告，请选择 MAB 检查节点，然后在工具条中点击报告。

检查模型中是否存在设计错误

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

  1. 在左窗格中，在按产品 > Simulink Design Verifier文件夹下，点击设计错误检测复选框。已选择文件夹中的所有检查。

  2. 在工具条中点击运行。

  3. 分析完成后，生成分析的 HTML 报告。在工具条中，点击报告。

  4. 在生成的报告中，点击 Simulink Design Verifier 结果摘要超链接。该对话框可帮助您诊断模型中的错误和警告。您可以：

    1. 查看模型的分析结果。Simulink Design Verifier 的“结果检查器”窗口提供推导范围，可以通过识别可能的信号值来帮助您了解错误的来源。

    2. 查看框架模型，如果该模型尚不存在，则创建一个。

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

    4. 查看分析报告。要查看详细的分析报告，请点击 HTML 或 PDF。

另请参阅

主题