开发符合 IEC 61508 标准的模型
此示例说明如何使用模型顾问检查模型是否符合 IEC 61508 安全标准。
模型顾问的 IEC 61508 检查用于找出模型中存在的一些问题,这些问题可能阻碍其在安全相关应用程序中的部署,或可能限制其可追溯性。
打开并查看 RollAxisAutopilot
模型。
model='RollAxisAutopilot';
open_system(model)
运行 IEC 61508 建模标准检查
要将模型部署在必须符合 IEC 61508 安全标准的安全相关软件组件中,请检查模型是否存在可能阻碍在这种环境中部署的问题,或存在限制模型与生成的源代码之间的可追溯性的问题。
要打开模型顾问,请在 Simulink® 编辑器中,点击建模选项卡,然后选择模型顾问。将打开系统选择器 - 模型顾问对话框。选择要查看的模型或系统,然后点击确定。或者在 MATLAB® 命令行中输入
modeladvisor('RollAxisAutopilot')
。在模型顾问的左窗格中,展开按任务 > IEC 61508 建模标准。如果按任务文件夹未显示在模型顾问窗口中,请打开设置 > 预设项并选择显示 "按任务" 文件夹。
选中要包含在模型分析中的检查。
点击包含检查的文件夹,并在模型顾问的右窗格中,选择运行后显示报告,以自动生成报告并以 HTML 格式显示。
点击运行检查执行分析。
查看检查结果
模型顾问处理 IEC 61508 检查并显示结果。
分析完成后,在模型顾问的右窗格中查看汇总结果。您可以看到通过、失败、标记为警告和未执行的检查的总数。
要查看特定检查的结果,请在按任务 > IEC 61508 建模标准文件夹中选择一项检查。有关检查和如何解决所报告问题的详细信息,请点击帮助。
解决所报告的问题并重新运行检查。
要查看生成的结果的 HTML 报告,请选择按任务 > IEC 61508 建模标准文件夹,然后点击报告框中的链接。
打印生成的 HTML 报告。您可以将此报告用作 IEC 61508 合规性流程中的证据。
如果需要,点击模型中的使用 Embedded Coder 生成代码按钮,以检查生成的代码和可追溯性报告。
另请参阅
有关 IEC 61508 检查的说明,请参阅 Simulink Check™ 文档中的 使用适用于 IEC 61508、IEC 62304、ISO 26262、ISO 25119 和 EN 50128/EN 50657 行业标准的模型顾问检查 (Simulink Check)。
有关使用模型顾问的详细信息,请参阅 Simulink 文档中的 运行模型顾问检查并查看结果。
有关解决问题的详细信息,请参阅 Simulink 文档中的 Address Model Check Results。