do-178c 标准为机载系统中要认证的软件规定了一系列需满足的目标。您可以通过验证方法降低风险和工作量，以支持 do-178c 目标：
- 通过创建可执行规范来迭代和细化系统需求
- 利用建模和仿真，以稳健性和可维护性为目标定义架构并确认您的设计选项
- 通过背靠背测试和从需求到测试的端到端可追溯性证明代码和可执行文件的覆盖率
- 模型自动化和代码审查活动
- 通过使用形式化方法减少测试活动
matlab 和 simulink 对 do-178 标准的支持
实现和验证您的设计
设计架构并作出实现选择，以确保设计的稳健性和可维护性：
- 分解您的实现并组件化
- 管理您的数据耦合和控制耦合
- 检查您的设计是否准确以及是否符合行业标准（、 检查）
- 为认证审核生成设计文档
- 生成代码并确保代码和模型之间的合规性
使用已鉴定的工作流
“我们对生成代码和对传统手动流程创建的代码一样充满了信心。使用 embedded coder，我们可保证生成代码的正确性；使用 simulink code inspector，我们可保证代码能够追溯到模型。”
吉利安·阿尔弗雷德，贝尔 525 电传操纵控制规则设计者
了解更多
- do-178c 流程部署咨询服务
- 在 do-178c 开发流程中使用经鉴定的工具（11 个视频）
- do-178c 详细案例研究（免费下载）
