针对 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 创建的鉴定工程中可用。有关详细信息，请参阅Create a Tool-Specific Qualification Project (DO Qualification Kit)。

注意

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

模型顾问子文件夹	模型顾问检查	检查 ID
不适用	显示模型版本信息	`mathworks.do178.MdlChecksum`
高完整性系统	请参阅适用于高完整性系统建模规范的模型顾问检查
Simulink	Identify unconnected lines, input ports, and output ports	`mathworks.design.UnconnectedLinesPorts`
库链接	Identify unresolved library links	`mathworks.design.UnresolvedLibLinks`
需求一致性	请参阅适用于需求链接的模型顾问检查
Bug 报告	请参阅Bug Report Checks (DO Qualification Kit)