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