DO资格试剂盒(DO-178和DO-254)
为DO-178、金宝appDO-278和DO-254验证Simulink和Polyspace工具
资格验证工具包是否提供了文档、测试用例和过程，使您能够对Simulink进行资格验证金宝app®和Polyspace®用于基于DO-178C、DO-278A和相关补充的项目的软件验证工具。该工具包包含了工具鉴定计划，工具操作要求，以及其它软件鉴定工具所需的材料。有了这个工具包，您可以简化使用它开发的嵌入式系统的认证金宝app支持Simulink金宝app和Polyspace产品下载188bet金宝搏。
DO限定工具包还允许您限定Simulink金宝app®基于DO-254的项目模型验证工具。金宝appSimulink代码检查器™和Polyspace®代码验证工具不支持HDL代码，因此不适用于do -254。金宝app
工具鉴定工具包可用于特定版本的Simulink和基于DO-330软件工具鉴定考虑的Polyspace验证工具。金宝app您可以修改特定项目的工具资格工具包中的工件，并将它们包含在DO-178C、DO-278A和DO-254提交给认证的认证包中。
开始:
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节规定，只有在工具的输出未经验证时，才需要对其进行资格验证。然后根据工具对软件生命周期过程的影响，定义工具资格级别(TQLs)。DO-178C参考文献DO-330提供了工具鉴定的详细信息，如每个TQL所需的目标、指导和生命周期数据。
DO资格套件支持DO- 178c和DO-3金宝app30。它还提供了工作流指导、可跟踪性矩阵生成和其他有助于您使用的构件金宝app®和Polyspace®用于补充的软件工具，包括DO-331和DO-333。
工具使用者(而不是工具供应商)负责此资格认证，并且必须为每个认证项目进行工具资格认证。
使用基于模型的设计工作流来显示DO-178C和相关补充的遵从性
DO-254是事实上的国际安全标准，用于认证商用航空电子系统硬件，特别是FPGAs和asic;它越来越多地用于其他部门和应用。它于2000年4月出版。
DO-254，第11.4节规定，只有在工具的输出没有得到独立评估的情况下，才需要该工具的资格。然后根据工具对硬件生命周期过程的影响定义工具资格类型。工具可以定义为设计工具或验证工具。
DO资格认证工具包支持DO-254用于验证金宝app过程中使用的特定工具。它还提供了工作流指导、可跟踪性矩阵生成和其他有助于您使用的构件金宝app®验证工具。
工具使用者(而不是工具供应商)负责此资格认证，并且必须为每个认证项目进行工具资格认证。
使用基于模型的设计工作流来显示与DO-254的一致性
DO鉴定工具包实现DO- 178c中规定的工具鉴定方法。要使用DO资格认证工具包，请遵循以下步骤:
- 为认证机构提供一份工具认证计划。
- 记录工具操作要求。
- 验证工具满足工具操作需求，然后定义工具的限制和限制。
- 向认证机构提供工具认证结果，包括限制和限制。
资格验证工具包是否为上述步骤提供了指导和信息，并包括您需要资格验证的文档模板、测试用例和测试过程金宝app支持Simulink金宝app和Polyspace产品下载188bet金宝搏。
为金宝app支持产品下载188bet金宝搏， DO鉴定工具包包括以下工件:
- 工具资格计划
- 工具运行要求
- 测试用例、过程和结果(带有支持文档)金宝app
您需要在您的系统中执行DO资格认证工具包中的测试用例和过程MATLAB®或Polyspace安装环境。然后，您应该将生成的测试结果与工具包中的预期结果进行比较，以消除任何差异。金宝app仿真软件报告生成器™资格考试是必需的金宝app仿真软件的需求™,金宝app仿真软件检查™,金宝app仿真软件覆盖™,金宝app仿真软件代码检查器™和金宝app仿真软件测试™。
注意:使用DO-178合格工具并不保证所考虑的软件或系统的安全性。
使用DO鉴定工具包来鉴定符合DO- 178c和DO-254的验证工具。
