DO Qualification Kit 提供文档、测试用例和过程，使您能够为基于 DO-178C、DO-278A 和相关补充指南的项目鉴定 Simulink 和 Polyspace 软件验证工具。该套件包含工具鉴定计划、工具操作需求以及鉴定软件验证工具所需的其他材料。借助该套件，您可以简化使用支持的 Simulink 产品和基于模型的设计工作流开发的嵌入式系统的认证。将该套件与 Polyspace 产品结合使用，您可以简化使用传统工作流或基于模型的设计的嵌入式系统的认证。
DO Qualification Kit 还支持您鉴定面向 DO-254 项目的 Simulink 模型验证工具。Simulink Code Inspector 和 Polyspace 代码验证工具不支持 HDL 代码，因此不适用于 DO-254。
MathWorks 还为基于 DO-330 （软件工具鉴定指南）的特定版本 Simulink 和 Polyspace 验证工具提供了工具鉴定套件。您可以针对具体项目修改工具鉴定套件中的交付物，并将它们包含在提交认证的 DO-178C、DO-278A 和 DO-254 认证包中。
使用 DO-254 认证航空电子系统硬件
DO Qualification Kit 提供工作流指南和其他材料，以帮助您使用 Simulink 验证工具演示 DO-254 合规性。
鉴定工具
使用套件提供的文档模板、测试用例和测试过程实现 DO-178C 中规定的工具鉴定方法，以鉴定支持的 Simulink 和 Polyspace 产品。
产品资源:
“利用基于模型的设计，我们成功地进行了首飞，控制和集成方面都没有任何问题。我们使用 Embedded Coder 从 Simulink 模型生成控制律代码，不再因手动生成代码而拖慢进度，让团队有更多时间着眼于整个项目在更高层面的目标。”
