用于嵌入式软件的DO-178C认证

随着FAA、EASA和其他世界级民用航空主管部门采用DO-178C标准,今天的航空制造企业必须满足新的认证要求。而SCADE Suite和SCADE Display KCG认证代码生成器、SCADE生命周期测试环境及SCADE Suite MTC模型覆盖工具均可提供基于模型的方法,能够符合DO-178C中工具认证文件DO-330的各项要求,即满足最高水平的安全要求。

SCADE Suite MTC 6.4.5 Flow

工具资质/认证

  • SCADE Suite KCG 6.4 Code Generator现已获得DO-178C(DO-330 TQL-1)最高级安全认证。
  • SCADE Suite MTC 6.4.5支持实现Model Coverage和Structural Code Coverage分析。
  • MTC 6.4.5认证为Criteria 2工具(DO-330 TQL-4)。
  • 全面资质/认证工具包现已提供。

最新Model-Test Coverage (MTC)技术优势:

  • 模型覆盖和代码覆盖措施同时在HLR测试层面进行,采用单一的验证案例测试套件(在SCADE QTE中创建)。
  • 两项措施完全符合最新DO-178C规定。
  • 这种独特方法正式获得FAA(和波音)的批准,可用于采用SCADE Suite的KC-46 Tanker项目。

最新Model-Test Coverage(MTC)图形优势:

  • 最新详细视图显示了激活给定路径(从输入到输出)的覆盖范围及原因。

Embedded Software DO178C MTC Graphical

  • 扩大了扩展运算符的覆盖范围。

Coverage of Expanded Operators

DO-178C Certification