DO-178是用于认证商业航空电子系统软件的事实上的国际安全标准;它越来越多地应用于其他部门和应用程序。DO-278源自DO-178，用于地基和天基软件。DO-178C和DO-278A是目前的版本。它们与补充文档一起发布于2011年12月，这些补充文档扩展或修改了使用特定技术或技术的软件过程的DO-178和DO-278指南。

补充文件如下:

• - 330,软件工具鉴定考虑事项
• - 331,对DO-178C和DO-278A的基于模型的开发与验证的补充
• - 332,面向对象技术及相关技术DO-178C和DO-278A的补充
• - 333,DO-178C和DO-278A的形式方法补充

DO-178C第12.2节规定，只有在工具的输出未经验证的情况下，才需要对其进行确认。然后根据工具对软件生命周期过程的影响定义工具资格级别(tql)。DO-178C参考DO-330的工具确认细节，如目标、指导和每个TQL所需的生命周期数据。

DO资格套件支持DO- 178c和DO-330。它还提供了工作流指导、可跟踪矩阵生成和其他方便您使用的工件动态仿真模块^®而且Polyspace^®补充的软件工具，包括DO-331和DO-333。

工具用户(不是工具供应商)对这种确认负责，并且必须对每个认证项目进行工具确认。

DO鉴定套件实现了DO- 178c中规定的工具鉴定方法。要使用DO认证套件，请遵循以下步骤:

1. 向认证机构提供工具认证计划。
2. 文档工具操作需求。
3. 确认工具满足工具操作要求，然后定义工具的限制和限制。
4. 向认证机构提供工具合格结果，包括限制和限制。

DO限定套件为上述步骤提供了指导和信息，并包括您需要限定的文档模板、测试用例和测试过程支持Simulink和Polyspace产品2022世界杯八强谁会赢？．

为支持产品2022世界杯八强谁会赢？， DO认证套件包括以下工件:

• 工具资格计划
• 工具运行要求
• 测试用例、过程和结果(带有支持文档)

您需要在您的MATLAB^®或Polyspace安装环境。然后，您应该将生成的测试结果与套件的预期结果进行比较，并努力消除任何差异。仿真软件报告生成器™符合资格要求要求工具箱™，模型检查™，仿真软件覆盖™，仿真软件代码检查员™而且仿真软件测试™．

注意:使用DO-178合格工具并不保证软件或系统的安全。