静态分析：解锁 ADAS 安全标准的密钥
摘要：
高级驾驶辅助系统 (ADAS) 是现代软件定义车辆的核心组成部分。满足安全标准绝非易事。本文深入探讨静态代码分析在保障ADAS 安全性中的关键作用。
近期涉及自动驾驶系统 (ADS) 和 ADAS 的车辆事故引起了监管部门的密切关注。近三年中，相关系统的事故已经接近 4,000 起。自动驾驶汽车中指导实时决策的代码量高达数百万行，即使最微小的缺陷也可能导致严重的道路后果。这种复杂性，加上日益严苛的安全标准（如ISO 26262、ISO 21448、MISRA和UNECE第157号法规），要求开发者采取积极主动的方法来确保软件质量。静态代码分析与自动化测试措施相结合是这一过程中的关键组成部分。本文将研究如何在整个开发周期中通过静态代码分析和自动化 CI/CD 来增强软件关键型车辆的安全性。
ADAS 在软件定义汽车中的作用和核心功能
ADAS是 软件定义汽车中主要的软件驱动功能。它利用先进的软件提供关键的驾驶辅助功能，包括防撞、自适应巡航控制和自动泊车。
为了提高系统性能、实现组件之间的流畅通信并确保制动、转向、油门控制等关键功能的实时协调，ADAS 依赖集中式电子架构。这些架构利用高性能中央计算单元来处理传感器数据、执行传感器融合，并通过高级决策增强车辆安全性和自动化。
为实现软件定义汽车的先进功能上，ADAS 需具备以下功能：
PART.01 防撞和紧急制动
通过雷达、激光雷达和摄像头来检测潜在的碰撞风险，系统可预警驾驶员或自动应用紧急制动来降低追尾碰撞概率。
PART.02改进控制的自适应系统
自适应巡航控制和车道保持辅助系统持续监测交通状况，调整车速和转向以保持安全距离和车道居中行驶。这些系统会进行实时调整，确保在复杂交通情况下更好地控制车辆。
PART.03 视觉和检测系统
通过传感器融合和计算机视觉，ADAS 可以识别障碍物、路志、车道线和行人，显著提升低能见度和夜间驾驶时的安全性。
PART.04车联万物 (V2X)
V2X技术使车辆能与周边的基础设施、行人和其他车辆进行互动，从而增强环境感知能力并预防潜在事故发生。
PART.05 导航和引导系统
ADAS集成高清地图和GPS，提供实时导航、车道路径规划和路线优化，确保出行更高效、更安全。
ADAS开发的挑战
与所有安全关键型软件系统一样，构建ADAS是一项复杂的任务。其应用场景需回答以下核心安全问题：
· 软件是否安全可靠？
· 是否符合监管合规要求？
· 能否满足实时性能的长期需求？
因此，ADAS系统要想进入市场，必须在不可预测的驾驶场景中完美运行，任何微小的错误也可能导致灾难性的后果。因此，开发者面临的主要挑战包括：
PART.01功能安全合规（ISO 26262）
ADAS需处理摄像头、激光雷达、超声波传感器等海量数据，并在瞬间完成决策。ISO 21448（预期功能安全）着重最大限度地降低复杂环境下系统限制带来的风险。
PART.02 实时性能保障（ISO 21448）
ADAS需处理摄像头、激光雷达、超声波传感器等海量数据，并在瞬间完成决策。ISO 21448（预期功能安全）着重最大限度地降低复杂环境下系统限制带来的风险。
PART.03 动态法规应对（UNECE第157号法规）
以欧盟自动车道保持系统（ALKS）为例，UNCEC法规要求特定场景下的严格测试。同样，ISO/SAE 21434 确保网络安全保障，防止对车辆系统的潜在攻击。
为了应对这些挑战，企业都开始采用Parasoft等自动化测试平台，可以帮助开发团队在将代码部署前捕捉隐患。Parasoft 的自动化测试解决方案专门针对ISO 26262、ISO 21434、AUTOSAR C++14和MISRA等汽车标准而设计。通过使用 Parasoft C/C++test执行静态分析和动态分析，可以在开发早期发现缺陷，并借助可定制的仪表板和报告确保合规性。
这种策略不仅加快了产品上市时间，而且还确保交付安全、可靠且合规的 ADAS 软件。
静态分析在 ADAS 开发中的核心作用
静态代码分析可以在不运行代码的情况下检测出错误、漏洞、合规问题，成为保障软件可靠性的基石。
静态分析不可或缺？
与需运行程序的动态测试不同，静态分析直接在代码层面审查问题，在开发早期识别缺陷，避免潜在故障演变为高昂代价。它还能提升代码质量、可维护性与安全性，是ADAS开发者的必备工具。
控制流与数据流分析：提前拦截缺陷
ADAS 软件依赖于实时处理传感器数据的复杂算法。控制流分析可确保执行路径符合预期，而数据流分析追踪变量变化，可发现竞态条件、内存泄漏等隐蔽问题——这些问题若未被察觉，可能在实际运行中引发致命故障。
确保符合 ISO 26262 和 MISRA合规
ISO 26262 和汽车软件编码标准 (MISRA) 对 ADAS 开发提出了严格的要求。执行静态分析可通过强制执行编码标准来自动满足合规性要求，降低现场故障风险并减少返工成本。
Parasoft 如何利AI强化静态分析
在人工智能时代，Parasoft 积极整合AI技术。Parasoft的静态代码分析解决方案使用先进的 AI 和 ML 算法来提高软件质量并强制合规。该平台集成了模式识别、规则分析和数据流技术，可自动检测 C/C++、Java、C# 和 VB.NET 等编码语言中的漏洞、编码错误和合规性问题。该方案还可以优先处理规则违规并提供修复建议，缩短修复周期。为了支持敏捷开发，Parasoft的解决方案还支持静态分析嵌入 CI/CD 流程中，允许团队在快速迭代中仍然确保安全措施。
开发安全可靠的 ADAS不仅需要技术创新，更依赖严格的测试、实时性能验证和合规的遵从性。随着安全问题的日益严重和召回事件的增多，车企必须超越标准要求，确保这些系统在真实道路上完美运行。Parasoft 的自动化测试解决方案（包括静态分析、基于仿真的验证和合规验证），正成为连接开发与真实世界安全的关键桥梁。
更多信息请关注庭田科技
文章来自来自PARASOFT官方