行业案例研究
CppDepend助力可靠的任务关键型航空航天软件
可认证的航空电子与国防软件：面向DO-178C项目的架构控制、可追溯性和长生命周期可维护性。
CppDepend助力可靠的任务关键型航空航天软件
航空航天与国防行业对软件可靠性、安全性和合规性设定了极高的标准。无论是飞行控制系统、雷达软件、导航模块还是航空电子设备，风险都极高。故障是不可接受的——这就是为什么代码质量、可维护性和可追溯性必须嵌入开发过程的每个环节。
CppDepend帮助航空航天软件团队确保大型安全关键C和C++代码库的代码质量和架构完整性。
关键标准与指南
- DO-178C：航空航天领域最关键的安全标准，要求软件开发中彻底的验证、可追溯性和严谨性。
- MISRA C / MISRA C++：被广泛采用以确保代码安全且可预测，尤其是在嵌入式航空电子系统中。
- JSF++ AV：为联合攻击战斗机计划开发的C++子集，专注于安全性和可维护性。
- CERT C/C++：用于避免任务关键系统中的漏洞和未定义行为。
CppDepend使团队能够通过完全可定制的规则集、依赖控制和架构验证来实施这些标准。
航空航天软件开发的挑战
- 生命周期长的大型遗留代码库
- 严格的认证和可追溯性要求
- 具有严格模块化要求的复杂架构
- 需要维护代码10-20年的压力
- 确保安全性以及对未定义行为的鲁棒性
CppDepend如何支持航空航天软件团队
- 可追溯性：通过丰富的差异和趋势分析跟踪代码随时间的变化。
- 架构执行：定义并执行严格的组件边界，以降低耦合并保持模块化。
- 规则定制：通过可维护性指标、自定义查询和仪表板实现DO-178C支持。
- 审计就绪：为内部和外部审查生成详细报告和仪表板。
- 安全性：检测可能导致漏洞的危险编码模式或依赖关系。
谁在航空航天与国防领域使用CppDepend？
CppDepend被国防承包商、航空电子公司和航空航天研发部门广泛使用，这些领域对安全性、保密性和长期维护至关重要。其建模代码架构、执行自定义策略和提供深度洞察的能力，使其既适用于遗留项目也适用于新系统开发。
航空航天团队的收益
- 通过保持代码整洁和结构良好来降低重新认证成本
- 通过清晰的依赖图使长期维护变得可行
- 及早检测可能损害系统可靠性的架构漂移
- 通过趋势跟踪和技术债务估算实现持续改进
案例研究：在航空航天软件开发中执行DO-178C与架构控制
挑战。 一家领先的航空航天技术公司正在为下一代航空电子系统开发嵌入式软件。该软件必须符合DO-178C A级安全标准——机载系统的最高保证等级——以及严格的内部编码……
结果。 DO-178C支持：CppDepend通过自动化验证编码标准、控制流复杂性和架构结构，帮助达成A-5（设计）、A-6（实现）和A-7（代码标准）目标。
阅读完整案例研究