CppDepend
功能安全——汽车

使用CppDepend实现汽车C/C++的ISO 26262合规

CppDepend如何帮助汽车团队达成ISO 26262目标:静态分析、MISRA合规、架构控制、ASIL就绪证据和审计报告。

CppDepend开箱即用的支持。 CppDepend附带以下内置规则集: MISRA C/MISRA C++, CWE, CERT C/CERT C++ 和 AUTOSAR C++14 ——不包括其他标准。所有其他标准(包括本标准)均通过以下方式执行: 自定义CQLinq规则 由您的团队编写(如有需要我们可协助),再加上架构验证和CI质量门。

ISO 26262 是道路车辆电气和电子系统的国际功能安全标准。它定义了从概念到报废的安全生命周期,并按汽车安全完整性等级(ASIL A至D)对软件进行分类。对于用C和C++编写的软件单元,该标准明确建议静态代码分析、编码指南(MISRA)和受控的软件架构。

ISO 26262对您的C/C++代码库的期望

  • 编码指南执行: ISO 26262第6部分建议使用MISRA C/C++进行语言子集控制——更高的ASIL要求系统性执行的证明。
  • 静态分析: 缺陷、死代码、未初始化变量和复杂度必须通过基于工具的分析检测,而非仅靠手动审查。
  • 架构约束: 软件组件之间的免于干扰——分区和受控接口。
  • 可追溯性与证据: 每项需求都需要审计员可以审查的可验证、可重复的证据。

CppDepend如何支持ISO 26262工作流

  • 内置MISRA C/C++规则集 具有严重性映射、基线管理和带理由的抑制——第6部分的编码标准支柱。
  • 自定义CQLinq规则 编码您项目特定的安全规则:禁用函数、禁止递归、动态内存限制、命名和分层约定。
  • 架构验证: 执行组件分区,在ASIL级和QM代码之间的禁用耦合到达车辆之前检测它们。
  • 技术债务与质量门: 在CI时通过违规、复杂度和覆盖率阈值阻止不安全代码。
  • 审计就绪报告: 与安全案例文档需求一致的可导出时间戳分析报告。

相关行业与案例研究

相关编码标准

MISRA C++ · AUTOSAR C++14 · IEC 61508 · ISO 21434

了解CppDepend在您的代码库中揭示了什么

在您自己的项目上运行分析:编码标准、架构验证、技术债务和质量门——几分钟内完成。