行业标准
DO-178C.
实现空中系统认证利用基于模型的设计
DO-178C标准定义了一组用于经认证的软件以供空中系统的目标。您可以通过验证方法来降低风险和努力来支持DO-178C目标:万博1manbetx
- Iterate and refine system requirements by creating an executable specification
- 定义架构并确认您的设计选择,以利用建模和仿真来确认鲁棒性和可维护性
- Demonstrate code and executable coverage through back-to-back testing and end-to-end traceability from requirements to tests
- 自动化模型和代码审查活动
- 使用正式方法减少测试活动
DO-178标准与MATLAB和SIMULINK万博1manbetx
Managing Requirements and Traceability
使用端到端可追溯性管理您的系统要求:
- 生产要求with rich text, images, and all their attributes
- Review and demonstrate completeness with your objectives
- 生成认证审核的需求文件
学到更多
探索产品s manbetx 845
实施和验证您的设计
设计架构并进行实现选择,以便您的设计具有稳健和可维护性:
- 分解您的实现和组件化
- 管理您的数据耦合和控制耦合
- 检查你的设计for accuracy and ;compliance with industry standards (DO-178C./DO-331那DO-254.支票)
- 生成用于认证审核的设计文档
- 生成代码确保代码和模型之间的符合性
展示您的代码质量
Automatize code validation through the Motor Industry Software Reliability Association (MISRA) compliance and formal methods:
- 检查代码质量和可维护性inspecting code关于MISRA或CERT-C规则
- Reduce low-level testing activities leveragingformal methods(DO-333)
根据要求测试您的实现
Demonstrate conformance to the requirements regarding functional and technical expectations:
- 重新使用测试程序用于成熟的正式测试要求
- Use requirements-based testing用于模型开发
“我们对使用传统手动流程创建的代码中生成的代码的质量具有相同的高度信心。通过嵌入式编码器,我们知道我们正在生成正确的代码,并使用Simulink代码检查器我们可以保证它可追溯到该模型。“万博1manbetx
Jillian Alfred,Bell 525飞绕照法律设计师