航空航天和国防

行业标准

- 178 c吗

实现机载系统杠杆认证基于模型的设计

DO-178C标准为在机载系统中使用的软件定义了一套认证目标。您可以通过验证方法来支持DO-178C的目标，从而减少风险和工作量:

  • 通过创建可执行的规范来迭代和细化系统需求
  • 定义体系结构，并利用建模和仿真确定鲁棒性和可维护性的设计选择
  • 通过背靠背测试和从需求到测试的端到端跟踪演示代码和可执行覆盖
  • 自动化模型和代码评审活动
  • 通过使用形式化的方法减少测试活动
- 178 c图吗

管理需求和可追溯性

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

  • 生产需求具有丰富的文本、图像及其所有属性
  • 回顾并证明你的目标已经完成
  • 为认证审核生成需求文档
管理需求和可追溯性

客户成功

了解更多

探索产品2022世界杯八强谁会赢？

实现和验证您的设计

执行和验证你的设计

设计一个架构并做出实现选择，这样你的设计是健壮的和可维护的:

客户成功

探索产品2022世界杯八强谁会赢？

演示代码质量

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

演示代码质量

客户成功

了解更多

探索产品2022世界杯八强谁会赢？

基于需求测试您的实现

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

基于需求测试您的实现

证明符合关于功能和技术期望的要求:

客户成功

探索产品2022世界杯八强谁会赢？

启用合格工作流

“我们对生成代码的质量有同样高的信心，就像使用传统手工过程创建的代码一样。使用嵌入式编码器，我们知道我们正在生成正确的代码，而使用Simulink代码检查器，我们可以保证它是可跟踪到模型的。”

吉莉安·阿尔弗雷德，贝尔525电传飞控律设计师
读故事
具有合格代码生成的DO-178C工作流
下载的海报

了解更多

Baidu
map