Perforce SAST专家详解:自动驾驶汽车的安全与技术挑战,Klocwork、Helix QAC等静态代码分析成必备合规性工具

ops/2024/11/27 10:44:06/

自动驾驶汽车安全吗?现代汽车的软件包含1亿多行代码,支持许多不同的功能,如巡航控制、速度辅助和泊车摄像头。而且,这些嵌入式系统中的代码只会越来越复杂。
随着未来汽车的互联程度越来越高,这一趋势还将继续。汽车越来越依赖于技术,将逐渐变得更加自主,并最终实现自动驾驶。因此,了解自动驾驶汽车的安全问题非常重要,这样你才能回答 “自动驾驶汽车安全吗?”、”自动驾驶汽车比人类驾驶更安全吗?”等问题。

自动驾驶汽车安全吗?比人类驾驶更安全吗?

有专家认为,自动驾驶汽车有可能比人类驾驶员更安全。

自动驾驶汽车正在不断改进:《自然通讯杂志》最近发表的一项研究比较了2100个自动驾驶系统和25,113个人类驾驶汽车的事故数据。研究发现,在大多数可比情况下,自动驾驶汽车比人类驾驶汽车发生的事故更少。

支持使用自动驾驶汽车的数据是有道理的——毕竟,人类驾驶员每年都会发生数百万起事故。2022年,约有600万起载有人类驾驶员的车辆事故,其中致命事故不到百分之一。

不过,该研究的其他数据表明,自动驾驶汽车要成为常态,还有很长的路要走。

例如,《自然》杂志的研究分析了其他情况下的事故率,发现在黎明、黄昏以及转弯条件下,使用高级驾驶辅助系统(ADAS)的事故更为频繁。

此外,《自然》杂志的研究承认,由于自动驾驶汽车仍然稀缺,事故数据也很少。与此同时,确实发生并成为头条新闻的事故可能会削弱公众对全自动驾驶汽车的信任。例如,福布斯的一项法律调查发现,93%的受访者对自动驾驶汽车表示担忧。

臭名昭著的是,2018年3月,一辆Uber自动驾驶测试车在亚利桑那州与一名骑自行车的人发生了致命碰撞。这辆自动驾驶汽车未能将骑车人识别为人类,直到来不及停车。而车内的人类安全驾驶员也没有注意到这名骑自行车的人。

我们可能还需要一段时间才能看到自动驾驶汽车的广泛应用。

与此同时,由人类驾驶的车辆正在使用越来越多的ADAS技术。

自动驾驶汽车如何保障安全?

如今,大多数新车都配备了ADAS。ADAS包括:

  • 车道跟踪 
  • 自主紧急制动 
  • 增强型视觉系统 

提供这些功能的系统依赖于通过本地网络进行通信的传感器和执行器。它们由微控制器控制。

汽车之间也相互通信,即车对车通信(V2V)。汽车还可以与交通灯、路标或卫星等基础设施进行通信,即车对基础设施通信 (V2I) 或V2X。

实现这一切的当然是软件。除了应用程序代码之外,还有操作系统和中间件(如网络通信栈),以及传感器、执行器和显示接口。

安全问题:自动驾驶汽车安全吗?

配备ADAS的车辆面临着比以往更多的安全问题。

围绕汽车的安全问题日益突出。随着V2X通信的发展,汽车很容易受到恶意攻击。有报道称,黑客控制了汽车并凌驾于驾驶员之上。

大多数汽车制造商都使用车载诊断系统(OBD)。OBD可访问各种发动机参数,以便在维修时进行故障查找和诊断。

连接器接口(OBD II)的技术细节已公开发布。目前有许多蓝牙OBD连接器,任何人都可以使用手机访问发动机参数。

显然,这可能会使发动机控制系统暴露给任何怀有善意或恶意的人。

密歇根大学最近对此进行了测试。他们发现,笔记本电脑与OBD接口的直接连接可用于覆盖驾驶员的指令。

汽车合规标准为何至关重要?

因此,随着ADAS的发展和自动驾驶汽车的普及,汽车合规性仍将十分重要。而汽车标准也需要得到遵守。

ISO 26262可能是最重要的车辆安全标准。它侧重于电气和电子系统的功能安全,适用于安全相关系统生命周期内的所有活动。其中包括对软件质量的要求。

该标准使用汽车安全完整性等级(ASIL)来衡量风险。范围从A到D,A是最低的安全完整性级别。D级为最高级别,要求也最多。

风险参数包括风险的严重程度、暴露概率和可控性。

可控性假定驾驶员:

  • 具备适当的驾驶条件。
  • 接受过相应的驾驶培训(有驾驶执照)。
  • 符合所有适用的法律法规。

自动驾驶汽车合法吗?

自动驾驶汽车可以在一些国家/地区进行合法测试。但是,自动驾驶汽车还需要克服更多的法律障碍。

法律需要适应ADAS和自动驾驶汽车。立法必须考虑到ADAS出现故障时应如何处理,这一点至关重要。在这种情况下,ADAS将需要通知驾驶员,并恢复人为控制。

软件设计标准 

如果通知失效,人类驾驶员可能会注意力不集中,无法避免伤害——就像Uber自动驾驶汽车的情况一样。如果回退失败,系统可能会继续控制,而不是让驾驶员进行干预并避免伤害。

美国汽车工程师协会(SAE)标准J3016将驾驶自动化分为六个等级,从无自动化到全自动。

SAE三级或更高水平的ADAS依靠软件来实现:

  • 从传感器收集数据。 
  • 创建环境模型。
  • 决定如何协助驾驶员或控制车辆。

这些级别的ADAS还能确定传感器是否正常工作、何时向驾驶员发出警报以及何时恢复人工控制。

交通法规

为适应ADAS的发展,交通法规需要进行修改,特别是在责任和隐私方面。每个国家都有自己的交通法规。

北美
在美国,国家公路交通安全管理局提出了一个正式的分类系统,定义了五个级别的自动化。在最低级别,驾驶员必须始终完全控制车辆。在最高级别中,车辆在整个行程中执行所有安全关键功能——驾驶员在任何时候都无需控制车辆。

在州一级,情况各不相同。2011年,内华达州成为第一个批准在公共道路上进行自动驾驶汽车测试的州。如今,有29个州允许测试自动驾驶汽车。在内华达州、佛罗里达州、佐治亚州、西弗吉尼亚州、犹他州、北卡罗来纳州和北达科他州等七个州,如果车辆的人工智能达到SAE 4级或5级,则完全自动驾驶是合法的。

欧洲 
欧洲的一个研究项目——智能车辆的自动驾驶应用与技术——于2014年1月启动。该项目通过根据情况和驾驶员状态动态调整自动驾驶水平,为日常交通开发各种自动驾驶功能。

该项目还涉及可能影响成功引入市场的法律问题。

车辆与道路自动化 (VRA) 是一项由欧盟资助的支持行动。其目的是建立一个专家和利益相关者合作网络,致力于自动驾驶汽车和相关基础设施的部署。

亚太地区 

日本也许是最接近实现自动驾驶汽车的国家。他们在2020年东京奥运会前及时通过了新法规,使自动驾驶交通系统在有限条件下,在奥运村附近全面投入使用。然而,赛事期间发生的一起轻微事故表明,安全方面仍需要改进,自动驾驶汽车尚未准备好用于正常的道路和日常使用。

在中国,自动驾驶立法正在上海和北京等大城市进行。中国的立法相当灵活,政府有更大的权力将所需的变革落实到位。不过也仍需要处理与其他国家相同的复杂问题。

印度 
印度也在考虑自动驾驶,但面临着重大挑战。其中之一就是立法进展缓慢,而且由于基础设施的原因,很难实施预期的规则。

汽车开发人员始终需要合规性工具

可以为车辆开发安全可靠的系统。为了遵守法律法规,汽车开发人员始终需要智能工具,如Klocwork和Helix QAC等静态代码分析器。

软件设计 
系统安全始于功能设计。

这可能包括使用防火墙来保持安全关键型应用(如转向和制动)与非关键型应用之间的隔离。这对于与外界通信的应用程序(如信息娱乐系统)尤为重要。

它还包括减少或限制通信,以及检查和验证任何通信数据。

安全的嵌入代码 
大多数汽车嵌入式软件都是用C或C++编写的。

您可以使用编码标准来确保嵌入代码的安全性。MISRA提供了C和C++的指导原则。AUTOSAR也提供了现代C++的指导原则。

Perforce静态分析工具有效管理自动驾驶汽车的安全问题

在Perforce最新的《汽车软件开发现状报告》中,信息安全(security)已成为汽车开发人员日益关注的问题,超越了对使用安全(safety)的关注,跃居首位。

Klocwork静态应用程序安全测试(SAST)适用于C、C++、C#、Java、JavaScript、Python和Kotlin,可识别软件的安全性、质量和可靠性问题,保护您的软件免受潜在网络安全漏洞的威胁。

适用于C和C++的Perforce Helix QAC,使代码符合MISRA和AUTOSAR等编码标准以及ISO 26262等功能安全标准。

Perforce中国授权合作伙伴——龙智:


http://www.ppmy.cn/ops/137055.html

相关文章

AdaPipe:动态规划解决显存和GPU在LLM计算中出现气泡问题

目录 AdaPipe:动态规划解决显存和GPU在LLM计算中出现气泡问题 0-5表示不同数据 大的方块表示:管道,便于理解了想成GPU 黄色方块表示显存 Stage表示Attention和FFN layer(Projection和MLP) 重计算和分区策略:细化了Attention和FFN layer Transformer中的管道 AdaPi…

鸿蒙动画开发07——粒子动画

1、概 述 粒子动画是在一定范围内随机生成的大量粒子产生运动而组成的动画。 动画元素是一个个粒子,这些粒子可以是圆点、图片。我们可以通过对粒子在颜色、透明度、大小、速度、加速度、自旋角度等维度变化做动画,来营造一种氛围感,比如下…

【算法】欧几里得与拓展欧几里得算法

目录 一、欧几里得算法 二、拓展欧几里得算法 2.1 裴蜀定理 2.2 拓展欧几里得算法 2.3 例题 三、线性同余方程 3.1 概念 3.2 例题 一、欧几里得算法 欧几里得算法又称辗转相除法,可用于求解两个数的最大公约数 其思路: gcd(a, b) gcd(b, a%b…

241126学习日志——[CSDIY] [ByteDance] 后端训练营 [19]

CSDIY:这是一个非科班学生的努力之路,从今天开始这个系列会长期更新,(最好做到日更),我会慢慢把自己目前对CS的努力逐一上传,帮助那些和我一样有着梦想的玩家取得胜利!!&…

Deepnote、JupyterLab、Google Colab、Amazon SageMaker、VS Code对比

功能比较 平台语言支持扩展性数据连接可视化能力DeepnotePython、R、SQL中等,依赖云端支持主要云平台(BigQuery、Snowflake等)内置仪表盘与交互图表JupyterLab多种语言,插件支持广泛极高,完全可自定义使用库&#xff…

【C++】list模拟实现(完结)

1.普通迭代器(补充) 1.1 后置和后置-- 我们迭代器里面实现了前置和前置--,还需要实现后置和后置--。 在list.h文件的list_iterator类里面实现。 //后置/-- Self& operator(int) {Self tem(*this);//保存原来的值_node _node->_nex…

111.有效数字

class Solution {public boolean isValid(String word) {if(word.length()<3){return false;}int countV0,countC0;//分别统计原音和辅音for(int i0;i<word.length();i){if(Character.isLetterOrDigit(word.charAt(i))){if(word.charAt(i)a||word.charAt(i)e||word.charA…

Xcode15(iOS17.4)打包的项目在 iOS12 系统上启动崩溃

0x00 启动崩溃 崩溃日志&#xff0c;只有 2 行&#xff0c;看不出啥来。 0x01 默认配置 由于我开发时&#xff0c;使用的 Xcode 14.1&#xff0c;打包在另外一台电脑 Xcode 15.3 Xcode 14.1 Build Settings -> Asset Catalog Compliter - Options Xcode 15.3 Build S…