DO资格试剂盒(DO-178和DO-254)

为DO-178、金宝appDO-278和DO-254验证Simulink和Polyspace工具

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

该DO资格套件还可以让你有资格的Simulink金宝app®模型基于DO-254项目的验证工具。金宝appSimulink的代码检查™和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是当前版本。他们与扩展或修改DO-178和DO-278指导软件流程,采用特定的技术或技能的补充文件一起刊登在2011年12月。

补充文件如下:

  • - 330,软件工具资格考虑因素
  • DO-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-33金宝app0。它还提供了工作流程的指导,跟踪矩阵生成,以及其他文物,方便您的使用金宝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. 与工具认证结果,包括限制和约束提供认证机构。

资格验证工具包是否为上述步骤提供了指导和信息,并包括您需要资格验证的文档模板、测试用例和测试过程金宝app支持Simulink金宝app和Polyspace产品下载188bet金宝搏

金宝app支持产品下载188bet金宝搏,DO资格套件包括这些工件:

  • 工具认证计划
  • 工具运行要求
  • 测试用例,程序和结果(支持文档)金宝app

你需要从DO资格的套件,执行测试用例和程序的MATLAB®要么Polyspace安装环境。然后,你应该从工具箱和工作预期的结果比较你生成的测试结果,以消除任何分歧。金宝app仿真软件报告生成器需要资格金宝appSimulink的要求,金宝app仿真软件检查,金宝appSimulink的覆盖范围,金宝app仿真软件代码检查器金宝app仿真软件测试

注:DO-178合格使用工具并不能保证软件的安全性或正在考虑的系统。

使用DO鉴定工具包来鉴定符合DO- 178c和DO-254的验证工具。

认证系统

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

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

体系认证

最新功能

资格和认证工件

合格支持的产品R2019b版本下载188bet金宝搏金宝app

Simulink的测试自定义条件的金宝app资格

出线的Simul金宝appink测试自定义标准,包括基于函数的MATLAB单元测试方法

其他模型顾问检查的资格

限定高完整性模型顾问检查“检查条件表达式的类型和大小”

增强的测试套件的Polyspace代码验证和Polyspace代码验证服务器

运行鉴定试验,其中包括测试用例共享变量模式和数据字典

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