本页对应的英文页面已更新,但尚未翻译。 若要查看最新内容,请点击此处访问英文页面。
您可以运行 Model Advisor 来检查您的模型或子系统是否符合 DO-254 安全标准的选定方面。
要检查是否符合 DO 标准,请打开 Model Advisor,并运行 By Task > Modeling Standards for DO-254 下面的检查。
有关机载系统和设备审定中 DO-254 软件注意事项及相关标准的信息,请参阅航空无线电技术委员会 (RTCA)。
下表列出了 DO-254 的检查项。
DO-254 检查 |
---|
Display model version information |
Identify disabled library links |
Identify parameterized library links |
Identify unresolved library links |
Check for model reference configuration mismatch (Simulink Coder) |
Identify requirement links that specify invalid locations within documents (Simulink Requirements) |
Identify requirement links with missing documents (Simulink Requirements) |
Identify requirement links with path type inconsistent with preferences (Simulink Requirements) |
Identify selection-based links having descriptions that do not match their requirements document text (Simulink Requirements) |
以下是适用于 DO-178C/DO-331 标准的高完整性系统建模检查。
您可以运行 Model Advisor 来检查您的模型或子系统是否符合高完整性系统模型安全标准的选定方面。
要检查是否符合高完整性系统模型标准,请从以下 Model Advisor 文件夹运行高完整性检查:
By Task > Modeling Standards for DO-254 > High-Integrity Systems
By Task > Modeling Standards for DO-178C/DO-331 > High-Integrity Systems
By Task > Modeling Standards for IEC 61508 > High-Integrity Systems
By Task > Modeling Standards for IEC 62304 > High-Integrity Systems
By Task > Modeling Standards for EN 50128 > High-Integrity Systems
By Task > Modeling Standards for ISO 26262 > High-Integrity Systems
有关机载系统和设备审定中高完整性系统模型软件注意事项及相关标准的信息,请参阅航空无线电技术委员会 (RTCA)。
下表列出了高完整性系统模型检查及其对应的支持 DO-254 安全标准的建模规范。有关高完整性建模规范的详细信息,请参阅高完整性系统建模。
HDL Coder™ 中的 HDL Code Advisor 和 Model Advisor 检查验证并更新您的 Simulink® 模型或子系统,以确保与 HDL 代码生成的兼容性。Code Advisor 检查以下内容:
模型配置设置
端口和子系统设置
模块和模块设置
本机浮点支持
行业标准规范
下表列出了由 DO-254 安全标准支持的 HDL Code Advisor 检查: