DO资格的试剂盒（DO-178和DO-254）
资格Simuli万博1manbetxnk和Polyspace验证工具的DO-178，DO-278和DO-254
DO资格Kit提供的文档，测试用例和程序，让你有资格的Simulink万博1manbetx®和Polyspace®软件验证工具基于DO-178C，DO-278A，以及相关的补充项目。该套件包含合格软件验证工具所需的工具认证计划，工具操作要求，和其他材料。试剂盒，您可以使用开发简化嵌入式系统的认证万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845。
该DO资格套件还可以让你有资格的Simulink万博1manbetx®模型基于DO-254项目的验证工具。万博1manbetxSimulink的代码检查™和Polyspace®代码验证工具不支持HDL代码，因此并不适用于DO-254。万博1manbetx
工具认证套件可用于验证基于DO-330软件工具资质的思考工具Simulink和Polyspace的特定版本。万博1manbetx您可以修改工具包资质的文物为您的特定项目，并将它们包括在DO-178C，DO-278A，并提交认证DO-254认证包。
入门：
DO-178是用于证明商业航空电子系统软件事实上的国际安全标准;它被越来越多地在其他领域和应用中使用。DO-278是由DO-178衍生的并用于地面和基于空间的软件。DO-178C和DO-278A是当前版本。他们与扩展或修改DO-178和DO-278指导软件流程，采用特定的技术或技能的补充文件一起刊登在2011年12月。
补充文件：
- DO-330，软件工具资质的注意事项
- DO-331，基于模型的开发和验证补充DO-178C和DO-278A
- DO-332，面向对象技术和相关技术补充DO-178C和DO-278A
- DO-333，形式化方法补充DO-178C和DO-278A
DO-178C，12.2节，规定只需要一个工具的资格，如果它的输出未经过验证。然后，它定义了基于工具的软件生命周期过程的影响的工具资质等级（TQLs）。DO-178C引用DO-330认证工具的细节，如每个TQL所需的目标，指导和生命周期的数据。
DO资格套件支持DO-178C和DO-33万博1manbetx0。它还提供了工作流程的指导，跟踪矩阵生成，以及其他文物，方便您的使用万博1manbetx®和Polyspace®用于补充的软件工具，包括DO-331和DO-333。
该工具的用户（而不是工具供应商）负责这一资格，和工具的资格必须为每个认证项目来完成。
使用基于模型的设计工作流程，以表明符合DO-178C和相关补充
DO-254是用于证明商业航空电子系统的硬件，特别是FPGA和ASIC事实上的国际安全标准;它被越来越多地在其他领域和应用中使用。它出版于2000年4月。
DO-254，第11.4节，状态只需要一个工具的该资格如果其输出不独立评估。然后，它定义了基于工具的硬件生命周期过程的影响工具的资格类型。工具可以被定义为设计工具或验证工具。
DO资格套件支持DO-254在验证过程中使万博1manbetx用特定的工具。它还提供了工作流程的指导，跟踪矩阵生成，以及其他文物，方便您的使用万博1manbetx®验证工具。
该工具的用户（而不是工具供应商）负责这一资格，和工具的资格必须为每个认证项目来完成。
使用基于模型的设计工作流程，以表明符合DO-254
DO资格套件实现了DO-178C中指定的工具资格的做法。要使用DO资质套件，请按照下列步骤操作：
- 用工具认证计划提供的证书颁发机构。
- 文件的工具的操作要求。
- 验证工具满足工具的操作要求，然后定义限制和工具的限制。
- 与工具认证结果，包括限制和约束提供认证机构。
DO资格套件为上述步骤的指导和信息，包括文档模板，测试用例和测试程序，你需要限定万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845。
为了万博1manbetx支持的产品s manbetx 845，DO资格套件包括这些工件：
- 工具认证计划
- 工具操作要求
- 测试用例，程序和结果（支持文档）万博1manbetx
您需要在您的系统中执行DO资格认证工具包中的测试用例和过程MATLAB®要么Polyspace安装环境。然后，您应该将生成的测试结果与工具包中的预期结果进行比较，以消除任何差异。万博1manbetxSimulink的报告生成器™需要资格万博1manbetxSimulink的要求™，万博1manbetxSimulink的检查™，万博1manbetxSimulink的覆盖范围™，万博1manbetxSimulink的代码检查™和万博1manbetxSimulink的测试™。
注：DO-178合格使用工具并不能保证软件的安全性或正在考虑的系统。
使用DO资格套件的资格符合DO-178C和DO-254认证的工具。
DO资格工具包提供了所需要的开发和验证使用基于模型的设计系统，详细的工作流程指导。工作流指导描述了用于每个软件开发和验证步骤，从高层次的需求验证到可执行的目标代码验证过程，方法和工具。它清楚地标识工具独立路径。基于模型的设计新概念，DO-331引入的解释和说明，包括模拟测试案例和模型覆盖的作用。
随着DO资格工具，可以将生成显示需求到模型，到代码的双向追踪路径和文件信息的追溯矩阵表格。您还可以使用DO资格工具来生成报告的错误列表，你可以存储和存档关键万博1manbetx和Polyspace使用基于模型的设计验证工具。
体系认证
DO-178C项目模板
使用模板来简化您的基于模型的设计规划，开发和验证任务
万博1manbetxSimulink的覆盖范围
资格功能和函数调用的代码覆盖率类型
看到发行说明对任何这些特征和对应的功能的详细说明。
