DO Qualification Kit 提供文档、测试用例和过程，使您能够为基于 DO-178C、DO-278A、DO-254 和相关补充指南的项目鉴定 Simulink 和 Polyspace 软件验证工具。 该套件包含工具鉴定计划、工具操作需求以及鉴定软件验证工具所需的其他材料。
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 模型生成控制律代码，不再因手动生成代码而拖慢进度，让团队有更多时间着眼于整个项目在更高层面的目标。”
