DO-178C标准定义了一套用于机载系统的软件认证目标。您可以通过验证方法来减少风险和工作量,以支持DO-178C目标:万博1manbetx
- 通过创建可执行规范来迭代和细化系统需求
- 定义体系结构并确认利用建模和仿真实现健壮性和可维护性的设计选择
- 通过背靠背测试和从需求到测试的端到端可跟踪性来演示代码和可执行覆盖率
- 自动化模型和代码评审活动
- 通过使用形式化方法减少测试活动
基于MATLAB和Simulink的DO-178标准万博1manbetx
了解更多
探索产品s manbetx 845
实现和验证你的设计
设计架构并做出实现选择,使您的设计健壮且可维护:
- 分解实现并组件化
- 管理数据耦合和控制耦合
- 检查你的设计为准确及符合行业标准(- 331 - 178 - c /做什么,做- 254检查)
- 为认证审核生成设计文档
- 生成代码和确保代码和模型之间的一致性
客户成功
探索产品s manbetx 845