Main Content

开发符合 IEC 61508 标准的模型

此示例使用：

打开实时脚本

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

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

了解模型

模型 rtwdemo_iec61508 检查数据点 (x1,x2) 和 (y1,y2) 之间的 1-范数距离是否小于或等于给定阈值 thr。对于点 (x1,x2) 和 (y1,y2)，其 1-范数距离表示为：

∑i=12|xi-yi|

打开并查看模型。

model='rtwdemo_iec61508';
open_system(model)

运行 IEC 61508 建模标准检查

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

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

  2. 在模型顾问的左窗格中，展开 By Task > Modeling Standards for IEC 61508。如果 By Task 文件夹未显示在模型顾问窗口中，请打开 Settings > Preferences 并选择 Show By Task Folder。

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

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

  5. 点击 Run Selected Checks 执行分析。

查看检查结果

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

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

  2. 要查看特定检查的结果，请在 By Task > Modeling Standards for IEC 61508 文件夹中选择一项检查。有关检查和如何解决所报告问题的详细信息，请点击 Help。

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

  4. 要查看生成的结果的 HTML 报告，请选择 By Task > Modeling Standards for IEC 61508 文件夹，然后点击 Report 框中的链接。

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

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

另请参阅