DO认证套件(用于DO-178和DO-254)
确认Simuli万博1manbetxnk和Polyspace验证工具适用于DO-178、DO-278和DO-254
Do Rusification Kit提供了让您限定Simulink的文档，测试用例和程序万博1manbetx®和多胶囊®基于DO-178C、DO-278A的项目软件验证工具及相关补充。该工具包包含工具鉴定计划、工具操作要求和软件验证工具鉴定所需的其他材料。使用该工具包，您可以简化嵌入式系统的认证使用万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845．
Do Resification Kit也让您有资格Simulink万博1manbetx®基于DO-254的项目模型验证工具。万博1manbetxSimulink代码Inspector™和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是当前版本。它们于2011年12月发表以及延长或修改DO-178和DO-278的补充文件，用于采用特定技术或技术的软件流程的指导。
补充文件如下:
- - 330,软件工具鉴定注意事项
- DO-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-178C和DO-33万博1manbetx0。它还提供工作流程指导，可追溯矩阵生成和其他便于您使用的工件万博1manbetx®和Polyspace®补充的软件工具包括DO-331和DO-333。
工具用户（不是工具供应商）负责此资格认证，必须为每个认证项目完成刀具资格。
使用基于模型的设计工作流程显示符合DO-178C和相关补充剂
DO-254是用于认证商业航空系统硬件，专门FPGA和ASIC的事实上的国际安全标准;它越来越多地用于其他部门和应用程序。它于2000年4月发表。
DO-254，章节11.4，指出只有在工具的输出没有被独立评估的情况下，才需要对工具进行鉴定。然后根据工具对硬件生命周期过程的影响定义工具鉴定类型。工具可以定义为设计工具或验证工具。
在验证过程中使用的特定工具，请执行合格套件万博1manbetx支持DO-254。它还提供工作流程指导，可追溯矩阵生成和其他便于您使用的工件万博1manbetx®验证工具。
工具用户（不是工具供应商）负责此资格认证，必须为每个认证项目完成刀具资格。
Do Resification Kit实现DO-178C中规定的刀具资格方法。要使用DO RUSTIFICARIE KIT，请按照下列步骤操作：
- 提供具有工具资格计划的认证机构。
- 文档工具操作要求。
- 确认工具满足工具操作要求，然后定义工具的限制和限制。
- 提供具有工具资格结果的认证机构，包括限制和限制。
DO确认套件提供了上述步骤的指导和信息，包括文档模板、测试用例和测试过程，您需要这些来确认万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845．
为万博1manbetx支持产品s manbetx 845，资格套件包括这些文物：
- 工具资格计划
- 工具运行要求
- 测试用例，程序和结果（带支持文档）万博1manbetx
您需要执行DO确认套件中的测试用例和程序马铃薯®或Polyspace安装环境。然后，您应该将生成的测试结果与工具包的预期结果进行比较，并努力消除任何差异。万博1manbetx仿真软件报告生成器™资格赛需要万博1manbetx仿真软件需求™，万博1manbetxSimulink Check™，万博1manbetx仿真软件覆盖™，万博1manbetx仿真软件代码检查员™和万博1manbetxSimulink Test™．
注意：使用DO-178合格工具不确保软件或正在考虑的系统的安全性。
使用DO REQUITICATIONG套件来符合DO-178C和DO-254的验证工具。
DO确认套件为使用基于模型的设计开发和验证系统提供了详细的工作流程指导。工作流指南描述了从高级需求验证到可执行对象代码验证的每个软件开发和验证步骤所使用的过程、方法和工具。它清楚地标识了工具独立性路径。对DO-331中引入的基于模型的设计的新概念进行了解释和说明，包括模拟测试用例和模型覆盖的角色。
使用DO Qualification Kit，您可以生成一个可追溯矩阵电子表格，显示从需求到模型到代码的双向可追溯路径和文件信息。您还可以使用DO Qualification Kit来生成一个报告的bug列表，您可以存储并存档这些bug作为密钥万博1manbetx和Polyspace用于基于模型的设计的验证工具。
体系认证
