DO-178C标准定义了一套用于机载系统的软件认证目标。您可以通过验证方法来减少风险和工作量,以支持DO-178C目标:万博1manbetx
- 通过创建可执行规范来迭代和细化系统需求
- 定义体系结构并确认利用建模和仿真实现健壮性和可维护性的设计选择
- 通过背靠背测试和从需求到测试的端到端可跟踪性来演示代码和可执行覆盖率
- 自动化模型和代码评审活动
- 通过使用形式化方法减少测试活动
基于MATLAB和Simulink的DO-178标准万博1manbetx
了解更多
探索产品s manbetx 845
实现和验证你的设计
设计架构并做出实现选择,使您的设计健壮且可维护:
- 分解实现并组件化
- 管理数据耦合和控制耦合
- 检查你的设计为准确及符合行业标准(- 331 - 178 - c /做什么,做- 254检查)
- 为认证审核生成设计文档
- 生成代码和确保代码和模型之间的一致性
了解更多
探索产品s manbetx 845
客户成功
探索产品s manbetx 845
“我们对生成的代码的质量有很高的信心,就像使用我们传统的手工过程创建的代码一样。使用Embedded Coder,我们知道我们正在生成正确的代码,而使用Simulink code Inspector,我们可以保证它是可跟踪万博1manbetx到模型的。”
Jillian Alfred, Bell 525电传飞控律设计师
了解更多
- DO-178C进程部署咨询服务
- 在DO-178C开发过程中使用合格的工具(11个视频)
- 详细案例研究(免费下载)