DO认证套件(用于DO-178和DO-254)

确认Simuli金宝appnk和Polyspace验证工具适用于DO-178、DO-278和DO-254

DO确认套件提供文档、测试用例和程序,让您确认Simulink金宝app®和Polyspace®基于DO-178C、DO-278A的项目软件验证工具及相关补充。该工具包包含工具鉴定计划、工具操作要求和软件验证工具鉴定所需的其他材料。使用该工具包,您可以简化嵌入式系统的认证使用金宝app支持的Simulin金宝appk和Polyspace产品下载188bet金宝搏

DO认证套件还允许您对Simulink进行认证金宝app®基于DO-254的项目模型验证工具。金宝appSimulink Code Inspector™和Polyspace®代码验证工具不支持HDL代码,因此不适用于do -254。金宝app

基于DO-330(软件工具鉴定考虑)的Simulink和Polyspace验证工具的特定版本可用工具鉴定工具包。金宝app您可以修改特定项目的工具确认套件中的工件,并将它们包含在提交认证的DO-178C、DO-278A和DO-254认证包中。

开始:

- 178是做什么?

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-3金宝app30。它还提供了工作流指导、可跟踪矩阵生成以及其他有助于您使用的工件金宝app®Polyspace®补充软件工具,包括DO-331和DO-333。

工具使用者(而不是工具供应商)负责确认,并且必须对每个认证项目进行工具确认。

使用基于模型的设计工作流显示符合DO-178C和相关补充

- 254是做什么?

DO-254是事实上的国际安全标准,用于认证商用航空电子系统硬件,特别是fpga和asic;它在其他领域和应用中得到了越来越多的应用。它发表于2000年4月。

DO-254,章节11.4,指出只有在工具的输出没有被独立评估的情况下,才需要对工具进行鉴定。然后根据工具对硬件生命周期过程的影响定义工具鉴定类型。工具可以定义为设计工具或验证工具。

DO确认套件支持DO-254用于验证过程中金宝app使用的特定工具。它还提供了工作流指导、可跟踪矩阵生成以及其他有助于您使用的工件金宝app®验证工具。

工具使用者(而不是工具供应商)负责确认,并且必须对每个认证项目进行工具确认。

使用基于模型的设计工作流来显示与DO-254的遵从性

合格的工具

向认证机构提供完整的认证包

DO确认套件执行DO- 178c中规定的工具确认方法。要使用DO鉴定套件,请遵循以下步骤:

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

DO确认套件提供了上述步骤的指导和信息,包括文档模板、测试用例和测试过程,您需要这些来确认金宝app支持的Simulin金宝appk和Polyspace产品下载188bet金宝搏

金宝app支持产品下载188bet金宝搏, DO确认套件包括以下工件:

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

您需要在您的系统中执行DO鉴定工具包中的测试用例和程序MATLAB®Polyspace安装环境。然后,您应该将生成的测试结果与工具包中的预期结果进行比较,并努力消除任何差异。金宝app仿真软件报告生成器符合资格要求金宝app仿真软件的需求金宝app仿真软件检查金宝app仿真软件覆盖金宝app仿真软件代码检查器金宝app仿真软件测试

注意:使用经过DO-178认证的工具并不保证考虑中的软件或系统的安全。

使用DO确认套件对符合DO- 178c和DO-254的验证工具进行确认。

认证系统

DO鉴定工具包提供了使用基于模型的设计开发和验证系统所需的详细工作流程指南。工作流指南描述了从高级需求验证到可执行目标代码验证的每个软件开发和验证步骤所使用的过程、方法和工具。它清楚地标识了刀具独立性路径。对DO-331中引入的基于模型的设计的新概念进行了解释和说明,包括模拟测试用例的作用和模型覆盖率。

使用DO Qualification Kit,您可以生成一个可追溯矩阵电子表格,显示从需求到模型到代码的双向可追溯路径和文件信息。您还可以使用DO Qualification Kit来生成一个报告的bug列表,您可以存储并存档这些bug作为密钥金宝appPolyspace用于基于模型的设计的验证工具。

系统认证

最新的特性

- 178 c项目模板吗

使用模板来简化基于模型的设计计划、开发和验证任务

金宝app仿真软件覆盖

限定函数和函数调用代码覆盖类型

看到发布说明有关这些特性和相应功能的详细信息。