Main Content

开发符合 IEC 61508 标准的模型

此示例使用:

打开实时脚本

此示例说明如何使用模型顾问检查模型是否符合 IEC 61508 安全标准。

模型顾问的 IEC 61508 检查用于找出模型中存在的一些问题，这些问题可能阻碍其在安全相关应用程序中的部署，或可能限制其可追溯性。

打开并查看 RollAxisAutopilot 模型。

model='RollAxisAutopilot';
open_system(model)

运行 IEC 61508 建模标准检查

要将模型部署在必须符合 IEC 61508 安全标准的安全相关软件组件中，请检查模型是否存在可能阻碍在这种环境中部署的问题，或存在限制模型与生成的源代码之间的可追溯性的问题。

  1. 要打开模型顾问，请在 Simulink® 编辑器中，点击建模选项卡，然后选择模型顾问。将打开系统选择器 - 模型顾问对话框。选择要查看的模型或系统，然后点击确定。或者在 MATLAB® 命令行中输入 modeladvisor('RollAxisAutopilot')。

  2. 在模型顾问的左窗格中，展开按任务 > IEC 61508 建模标准。如果按任务文件夹未显示在模型顾问窗口中，请打开设置 > 预设项并选择显示 "按任务" 文件夹。

  3. 选中要包含在模型分析中的检查。

  4. 点击包含检查的文件夹，并在模型顾问的右窗格中，选择运行后显示报告，以自动生成报告并以 HTML 格式显示。

  5. 点击运行检查执行分析。

查看检查结果

模型顾问处理 IEC 61508 检查并显示结果。

  1. 分析完成后，在模型顾问的右窗格中查看汇总结果。您可以看到通过、失败、标记为警告和未执行的检查的总数。

  2. 要查看特定检查的结果，请在按任务 > IEC 61508 建模标准文件夹中选择一项检查。有关检查和如何解决所报告问题的详细信息，请点击帮助。

  3. 解决所报告的问题并重新运行检查。

  4. 要查看生成的结果的 HTML 报告，请选择按任务 > IEC 61508 建模标准文件夹，然后点击报告框中的链接。

  5. 打印生成的 HTML 报告。您可以将此报告用作 IEC 61508 合规性流程中的证据。

  6. 如果需要，点击模型中的使用 Embedded Coder 生成代码按钮，以检查生成的代码和可追溯性报告。

另请参阅