通过创建可执行规范迭代和细化系统需求 利用建模和仿真定义体系结构并确认您的健壮性和可维护性设计选择 通过背靠背测试和从需求到测试的端到端可追溯性展示代码和可执行文件的覆盖范围 自动化模型和代码审查活动 使用正式方法减少测试活动
实施和验证您的设计
分解实现并组件化 管理数据耦合和控制耦合 检查您的设计 确保准确性和符合行业标准( DO-178C/DO-331 , DO-254编号 检查） 为认证审核生成设计文档 生成代码并 确保代码和模型之间的一致性
“我们对所生成代码的质量和使用传统手动过程创建的代码的质量有着同样高的信心。使用嵌入式编码器，我们知道我们正在生成正确的代码，使用Simulink代码检查器，我们可以保证它可以跟踪到模型。” Jillian Alfred，Bell 525飞线控制法设计师
DO-178C过程部署咨询服务 在DO-178C开发过程中使用合格的工具 （11个视频） DO-178C详细案例研究 （免费下载）
