针对 DO-178C/DO-331 行业标准的模型顾问检查

您可以使用模型顾问来检查您的模型或子系统是否符合 DO-178C/DO-331 安全标准的选定方面。

要执行这些检查，请打开模型顾问，并运行按任务 > DO-178C/DO-331 建模规范中的检查。

执行这些检查需要 Embedded Coder®、Simulink® Check™、Simulink Design Verifier™ 或 Requirements Toolbox™。

有关已通过 DO Qualification Kit 的鉴定、可用于涉及 DO-178 标准和相关标准的工程的模型顾问检查列表，请参阅 Simulink Check - 追溯矩阵 (mathworks_slchk_trace.xlsx)。此工件在您为 Simulink Check 创建的鉴定工程中可用。有关详细信息，请参阅Set Up a Tool-Specific Qualification Project (DO Qualification Kit)。

注意

如果您的模型使用模型引用，请先对所有引用模型运行已通过鉴定的检查，然后再对顶层模型运行这些检查。

模型顾问子文件夹模型顾问检查检查 ID
不适用显示模型版本信息mathworks.do178.MdlChecksum
高完整性系统请参阅针对高完整性系统建模规范的模型顾问检查
Simulink标识未连接的信号线、输入端口和输出端口mathworks.design.UnconnectedLinesPorts
库链接标识未解析的库链接mathworks.design.UnresolvedLibLinks
需求一致性请参阅针对需求链接的模型顾问检查
Bug 报告请参阅Bug Report Checks (DO Qualification Kit)

显示模型版本信息

检查 ID：mathworks.do178.MdlChecksum

在报告中显示模型版本信息。

描述

此检查显示当前模型的以下信息：

  • 版本号

  • 作者

  • 日期

  • 模型校验和

Simulink Check 附带。

结果和建议的操作

条件建议的操作
无法检索模型版本和校验和信息。 此摘要仅供参考。不需要执行任何操作。

功能和限制

  • 无法在库模型上运行。

  • 不允许排除模块或图。

另请参阅