适用于 DO-254 标准合规性的模型顾问检查
您可以运行模型顾问来检查您的模型或子系统是否符合 DO-254 安全标准的选定方面。
要检查是否符合 DO 标准,请打开模型顾问,并运行 By Task > Modeling Standards for DO-254 下面的检查。
有关机载系统和设备审定中 DO-254 软件注意事项及相关标准的信息,请参阅航空无线电技术委员会 (RTCA)。
下表列出了 DO-254 的检查项。
模型顾问子文件夹 | 模型顾问检查 | 检查 ID |
---|---|---|
不适用 | 显示模型版本信息 | mathworks.do178.MdlChecksum |
高完整性系统 | 请参阅适用于高完整性系统建模规范的模型顾问检查 | |
库链接 | Identify unresolved library links | mathworks.design.UnresolvedLibLinks |
需求一致性 | 请参阅适用于需求链接的模型顾问检查 | |
HDL Coder | 请参阅HDL Code Advisor Checks (HDL Coder) |
用于高完整性系统建模的模型检查
您可以运行模型顾问来检查您的模型或子系统是否符合高完整性系统模型安全标准的选定方面。
要检查是否符合高完整性系统模型标准,请从 By Task > Modeling Standards for DO-254 > High-Integrity Systems 运行高完整性检查:
下表列出了高完整性系统模型检查及其对应的支持 DO-254 安全标准的建模规范。有关高完整性建模规范的详细信息,请参阅高完整性系统建模。
HDL Code Advisor 检查
HDL Coder™ 中的 HDL Code Advisor 和模型顾问检查验证并更新您的 Simulink® 模型或子系统,以确保与 HDL 代码生成的兼容性。Code Advisor 检查以下内容:
模型配置设置
端口和子系统设置
模块和模块设置
本机浮点支持
行业标准规范
下表列出了由 DO-254 安全标准支持的 HDL Code Advisor 检查: