DO资格的试剂盒（DO-178和DO-254）

资格Simuli万博1manbetxnk和Polyspace验证工具的DO-178，DO-278和DO-254

申请免费试用

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

补充文件：

  • DO-330，软件工具资质的注意事项
  • - 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- 178c和DO-330的合格套万博1manbetx件。它还提供了工作流指导、可追溯矩阵生成，以及其他有助于您使用的构件万博1manbetx®和Polyspace®软件工具的补充，包括DO-331和DO-333。

工具用户(不是工具供应商)负责此鉴定，并且必须为每个认证项目进行工具鉴定。

使用基于模型的设计工作流来显示对DO-178C和相关补充的遵从性

什么是DO-254？

DO-254是事实上的国际安全标准，用于认证商用航空电子系统硬件，特别是fpga和asic;它越来越多地应用于其他部门和应用。它于2000年4月出版。

DO-254，第11.4节，状态只需要一个工具的该资格如果其输出不独立评估。然后，它定义了基于工具的硬件生命周期过程的影响工具的资格类型。工具可以被定义为设计工具或验证工具。

在验证过程中使用的特定工具是否支持DO-2万博1manbetx54。它还提供了工作流指导、可追溯矩阵生成，以及其他有助于您使用的构件万博1manbetx®验证工具。

工具用户(不是工具供应商)负责此鉴定，并且必须为每个认证项目进行工具鉴定。

8:25
如何基于模型利用设计来展示DO-254符合

排位赛工具

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

执行DO- 178c中规定的工具检验方法。要使用DO鉴定包，请遵循以下步骤:

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

DO资格套件为上述步骤的指导和信息，包括文档模板，测试用例和测试程序，你需要限定万博1manbetx支持Simulink万博1manbetx和Polyspace产品s manbetx 845。

为了万博1manbetx支持的产品s manbetx 845， DO鉴定包包括以下工件:

  • 工具资格计划
  • 工具操作要求
  • 测试用例、过程和结果(带有支持文档)万博1manbetx

你需要从DO资格的套件，执行测试用例和程序的MATLAB®要么Polyspace安装环境。然后，你应该从工具箱和工作预期的结果比较你生成的测试结果，以消除任何分歧。万博1manbetxSimulink的报告生成器™是否符合资格万博1manbetxSimulink的要求™，万博1manbetx模型检查™，万博1manbetxSimulink的覆盖™，万博1manbetxSimulink的代码检查™和万博1manbetx仿真软件测试™。

注:使用经DO-178认证的工具不能确保所考虑的软件或系统的安全。

按照DO- 178c和DO-254的要求，使用DO鉴定试剂盒对验证工具进行鉴定。

认证系统

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

随着DO资格工具，可以将生成显示需求到模型，到代码的双向追踪路径和文件信息的追溯矩阵表格。您还可以使用DO资格工具来生成报告的错误列表，你可以存储和存档关键万博1manbetx和Polyspace使用基于模型的设计验证工具。

体系认证

最新的特性

DO-178C项目模板

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

万博1manbetx仿真软件覆盖

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

看到发布说明对任何这些特征和对应的功能的详细说明。

额外的DO认证套件资源
看看最新版本有什么新内容

在DO鉴定工具包有兴趣吗？

申请试用

有问题吗？

联系DO资质套件的技术团队。