显示符合底层需求和软件架构的设计标准是DO-178C的一个目标。当使用基于模型的设计时，DO-331要求显示与建模标准的一致性，当模型被用作底层需求和软件架构时。金宝app动态仿真模块®文档提供了高完整性的建模指南，而Simulink Check™提供了根据这些指南自动验证模型的功能。金宝app这种检查功能包括模型范围的设置、代码生成设置、仿真诊断设置、Simulink块、状态流金宝app®构造，以及MATLAB®块代码。还提供了检查以验证模型是否符合Simulink Code Inspector™对Simulink块、Stateflow构造和MATLAB块代码所允许的约束子集。金宝app这些检查可以直接从Simulink代码检查器UI运行，也可以从Simulink Ch金宝appeck UI运行。将为每个Simulink模型生成一个报告，指出每个检查的通过/失败。金宝app报告将指出在模型中发现任何不符合的地方。该报告可以以各种格式提供，例如富文本、Word、HTML或PDF，以便长期存档。DO鉴定工具包提供了必要的工件，以通过Simulink Check和Simulink Code Inspector对自动标准检查和报告进行鉴定。金宝app
