使用模型顾问检查 DO-254 行业标准
模型顾问检查是否符合 DO-254 行业标准
DO-254 检查有助于设计和排除故障模型,从中生成代码,以满足必须满足安全或任务关键需求的应用程序。
当您运行 DO-254 检查时,模型顾问会检查 Simulink® Check™ 许可证。
这些检查经 DO Qualification Kit 认证,可用于涉及 DO-254 标准及相关标准的工程。
另请参阅
Model Advisor Checks (Simulink Coder)
有关 DO-178C(机载系统和设备审定中的软件要求)的信息和相关标准,请参阅航空无线电技术委员会 (RTCA)
图书馆链接概览
DO-254 检查库链接。
另请参阅
Model Advisor Checks (Simulink Coder)
有关 DO-178C(机载系统和设备审定中的软件要求)的信息和相关标准,请参阅航空无线电技术委员会 (RTCA)
模型参考概述
DO-254 检查参考模型。
另请参阅
Model Advisor Checks (Simulink Coder)
有关 DO-178C(机载系统和设备审定中的软件要求)的信息和相关标准,请参阅航空无线电技术委员会 (RTCA)
需求一致性检查概述
DO-254 检查需求的一致性。
当您运行需求一致性检查时,模型顾问会检出 Simulink Check 许可证。
另请参阅
Model Advisor Checks (Simulink Coder)