行业标准

DO-178C

使用基于模型的设计获得机载系统认证

DO-178C 标准为机载系统中要认证的软件规定了一系列需满足的目标。您可以通过验证方法降低风险和工作量,以支持 DO-178C 目标:

  • 通过创建可执行规范来迭代和细化系统需求
  • 利用建模和仿真,以稳健性和可维护性为目标定义架构并确认您的设计选项
  • 通过背靠背测试和从需求到测试的端到端可追溯性证明代码和可执行文件的覆盖率
  • 模型自动化和代码审查活动
  • 通过使用形式化方法减少测试活动

管理需求和可追溯性

使用端到端可追溯性管理您的系统需求:

  • 用富文本、图像及其所有属性生成需求
  • 审查并证明您的目标的完整性
  • 为认证审核生成需求文档
管理需求和可追溯性

实现和验证您的设计

实现和验证您的设计

设计架构并作出实现选择,以确保设计的稳健性和可维护性:


证明您的代码质量

通过汽车工业软件可靠性协会 (MISRA) 合规性和形式化方法实现代码验证的自动化:

  • 根据 MISRA 或 CERT-C 规则,通过检查代码来检查代码质量和可维护性
  • 利用形式化方法 (DO-333) 减少低级测试活动
证明您的代码质量

基于需求测试您的实现

覆盖率结果中的测试和需求可追溯性。

基于需求测试您的实现

在功能和技术预期方面证明与需求相符:


使用已鉴定的工作流

“我们对生成代码和对传统手动流程创建的代码一样充满了信心。使用 Embedded Coder,我们可保证生成代码的正确性;使用 Simulink Code Inspector,我们可保证代码能够追溯到模型。”

吉利安·阿尔弗雷德,贝尔 525 电传操纵控制规则设计者