0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

新思科技如何验证更安全的智能汽车软件

新思科技 来源:新思科技 2025-07-10 15:12 次阅读
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

汽车软件正在迅速发展,其复杂性、安全性要求以及对高效开发流程的需求与日俱增。在这一背景下,虚拟ECU(vECU)成为加速开发和验证的关键工具,而将Rust语言集成进AUTOSAR Classic环境则为行业带来了宝贵的新可能。虽然在全新项目中使用Rust看似简单,但将其整合到现有基于C语言的AUTOSAR Classic软件栈中,将更具现实意义和实用价值。这是因为现有的、经过系列验证的汽车软件堆栈通常以C代码实现,而将这些堆栈移植到Rust需要承担高昂的完全重写成本。此外,由于对供应链的依赖性,这项工作十分复杂,而且并非所有场景都需进行此类迁移,因此其商业可行性仍有待考量。Rust与C语言的互操作性为这一难题提供了巧妙的解决方案,可以在保留AUTOSAR Classic堆栈的主要部分(如RTE、BSW和MCAL)的同时,用Rust实现新的AUTOSAR软件组件(SWC),或者将现有的AUTOSAR SWC逐步从C语言迁移到Rust代码。

这种混合方法使开发者能够在AUTOSAR Classic项目中发挥Rust的价值,同时保持现有的开发工作流程。在vECU开发中,与新思科技Silver等市场领先的工具相结合时,这种灵活性显得尤为重要。通过支持在AUTOSAR Classic项目中使用Rust SWC,Silver为在混合编程语言环境中进行更安全、更快速的汽车软件开发开辟了可能。

Rust在汽车领域的应用:挑战与现状

多年来,AUTOSAR Classic环境下的软件开发完全依赖于C语言。虽然C语言的性能优越,但Rust在性能相当的情况下,通过内置支持来避免某些类型的内存相关漏洞(如越界读/写),从而降低了任务关键型应用程序的风险。从本质上讲,C语言中与内存相关的漏洞往往难以察觉,在某些情况下甚至可能永远无法被发现。对于需要遵守ISO 26262和ISO 21448等标准的安全关键型系统来说,这无疑是一个严峻的挑战。值得一提的是,内存相关漏洞通常占安全漏洞的很大一部分,这也进一步凸显了问题的严重性[1, 2, 3, 4]。

Rust在汽车行业的优势已得到广泛认可,因此AUTOSAR联盟于2022年在其安全工作组中启动了对Rust在AUTOSAR Adaptive中应用的研究[5]。2023年11月,AUTOSAR联盟在R23-11版本中发布了如何用Rust编写AUTOSAR Adaptive应用程序的初步提案[6],这突显了Rust在基于POSIX的软件栈中的相关性 。Rust优势显而易见。例如,得益于内置的所有权系统和借用规则,Rust可以避免多线程AUTOSAR Adaptive应用程序中的并发错误。鉴于Rust已在AUTOSAR Adaptive中展现出的显著优势,将其用于实现AUTOSAR Classic SWC也是顺理成章的事。

虚拟ECU和Rust:强大的组合

虚拟ECU的重要性

虚拟ECU(vECU)彻底改变了汽车行业的软件开发和测试。通过在虚拟环境中模拟物理ECU的行为,可以在无需依赖物理硬件的前提下,更快地开发和验证软件。这样,即使没有硬件,也可以提前启动软件开发和测试。此外,以SDV为核心的流程(如CI/CD)可以在整个开发周期中充分利用虚拟ECU,从而更快地获得代码更改后的预期结果。如同Silver这样的市场领先的软件,构建了虚拟ECU,使其基于AUTOSAR Classic平台的软件开发与验证得以加速。

Rust在Level 1层级vECU中的作用

2024年,新思科技发布了一份全面的白皮书[7],介绍了AUTOSAR Classic和基于POSIX的软件栈的vECU级别分类。新思科技Silver可以生成Level 1-Level 3 vECU,而本文主要聚焦于AUTOSAR Classic Level 1 vECU。新思科技Silver Level 1 vECU提供了一个虚拟化的AUTOSAR Classic RTE,可以在典型主机或云端的软件在环(SiL)仿真中运行AUTOSAR Classic SWC,因此目标机不需要AUTOSAR Classic软件栈或物理硬件的支持。RTE由Silver根据AUTOSAR XML文件生成,这一过程与真实ECU的AUTOSAR Classic工作流程完全一致。用Rust实现AUTOSAR Classic SWC时,RTE生成过程确保了Rust SWC能够访问RTE的C语言接口。因此,根据所提供的规范,通过新思科技Silver调度和执行可运行实体,可以实现RTE与仿真中其他SWC的通信。下图为将Rust SWC集成到Level 1级vECU的高层架构,展示了如何通过新思科技Silver生成的RTE与基于C语言的SWC进行通信。

10b84550-5b1d-11f0-baa5-92fbcf53809c.png

新思科技继续引领技术发展,推动在SiL仿真中验证Rust SWC

Rust在汽车行业越来越受欢迎。最近,多家主流汽车量产软件供应商已经宣布,支持将基于Rust的SWC集成到现有基于C语言的AUTOSAR Classic软件栈中,具体示例请见参考资料[8]。

新思科技作为汽车测试和仿真领域的市场领导者,正与首批标杆客户合作,通过SiL仿真验证基于Rust的软件。本文概述了新思科技Silver如何通过生成虚拟RTE的Level 1 vECU,对基于Rust的AUTOSAR Classic SWC进行了验证。展望未来,相关用例还将持续涌现,共同为Rust在汽车行业的广泛应用铺平道路。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • AUTOSAR
    +关注

    关注

    11

    文章

    409

    浏览量

    23760
  • 新思科技
    +关注

    关注

    5

    文章

    981

    浏览量

    53002
  • 智能汽车
    +关注

    关注

    30

    文章

    3342

    浏览量

    109698
  • Rust
    +关注

    关注

    1

    文章

    241

    浏览量

    7664

原文标题:Rust上车新趋势!看新思科技如何无缝验证更安全的智能汽车软件

文章出处:【微信号:Synopsys_CN,微信公众号:新思科技】欢迎添加关注!文章转载请注明出处。

收藏 人收藏
加入交流群
微信小助手二维码

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

    思科技Silver产品现已支持POSIX类型软件

    创建并仿真虚拟 ECU,从而更早、持续地开展汽车软件验证。通过此次发布,开发和测试团队可以对 POSIX 类型的 ECU 进行虚拟化,并在高度真实的系统级场景中
    的头像 发表于 04-28 11:36 490次阅读
    新<b class='flag-5'>思科</b>技Silver产品现已支持POSIX类型<b class='flag-5'>软件</b>栈

    思科技2026 HAV硬件加速验证技术开放日深圳站圆满落幕

    4 月 2 日,新思科技 2026 硬件加速验证(HAV)技术开放日在深圳湾畔盛大举行。作为新思科技 HAV 技术开放日全国巡回活动的首站,本次活动汇聚了来自新思科技总部及中国技术团队
    的头像 发表于 04-14 11:37 323次阅读

    ASPICE 3.1 与 4.0 版本的核心差异:从软件专属到全系统覆盖(四)

    硬件设计验证、HWE.4 硬件需求验证四大核心过程,完整覆盖了车载硬件从需求定义到验证落地的全生命周期,实现了软件与硬件研发过程的一体化管控,让标准真正适配
    发表于 04-08 09:48

    汽车网络安全 ISO/SAE 21434是什么?(一)

    的基础框架与全流程实施指南,是满足UNECE R155(汽车网络安全管理体系,CSMS) 法规的核心技术支撑,为整车及零部件网络安全设计、验证、运维提供统一标准。 2. 核心目标 在车辆全生命周期
    发表于 04-07 10:37

    思科技发布全新软件定义硬件辅助验证解决方案

    日益增长的需求。凭借新思科技 HAV 平台独特的软件定义能力驱动,HAV 平台在设计复杂度叠加、上市周期日益紧迫的背景下,为验证全球最复杂的 Multi-Die 与 AI 芯片,在性能、可扩展性和使用场景方面树立了全新的行业标杆
    的头像 发表于 03-17 17:17 698次阅读

    思科技首届Converge大会隆重举行

    大会序幕,分享了他对万物智能时代中“从芯片到系统(silicon-to-system)”全新设计范式愿景——由芯片驱动、AI 赋能以及软件定义。他还发布了覆盖新思科技扩展后全线产品组合的全新工程解决方案,以助力创新者设计、
    的头像 发表于 03-13 09:07 670次阅读

    思科技正式首发电子数字孪生平台

    ,对于构建当今软件定义助力物理人工智能系统的产品开发至关重要。该 eDT 平台初期聚焦高价值的汽车应用场景,通过将软件开发和系统集成工作“左移”,使整车厂(OEM)能够在硬件可用之前完
    的头像 发表于 03-11 17:28 716次阅读

    思科技携手合作伙伴共创智能汽车新生态

    思科技近期携手全球汽车生态系统的领导者举办了一系列技术创新活动,探讨推动人工智能驱动的软件定义汽车(SDV)发展的趋势、技术及工程能力。
    的头像 发表于 12-08 10:18 693次阅读

    思科技首届汽车高层论坛成功举办

    9月19日,新思科技中国三十周年之际,新思科技首届汽车高层论坛在上海成功举办,本次论坛以“数智重构汽车工程”为主题,汇聚产业领袖、技术专家与生态伙伴,聚焦“芯片-
    的头像 发表于 09-20 16:32 1579次阅读

    汽车软件安全测试中的痛点与Bugspot解决方案

    上海磐时PANSHI“磐时,做汽车企业的安全智库”汽车软件安全测试中的痛点与Bugspot解决方案日前在
    的头像 发表于 09-05 16:17 944次阅读
    <b class='flag-5'>汽车</b><b class='flag-5'>软件</b><b class='flag-5'>安全</b>测试中的痛点与Bugspot解决方案

    汽车软件开发阶段安全的意义与原则

    上海磐时PANSHI“磐时,做汽车企业的安全智库”好书分享/《一本书读懂智能汽车安全汽车
    的头像 发表于 09-05 16:16 1152次阅读
    <b class='flag-5'>汽车</b><b class='flag-5'>软件</b>开发阶段<b class='flag-5'>安全</b>的意义与原则

    编译器功能安全验证的关键要素

    汽车、工业、医疗等安全关键型应用中,确保功能安全合规性需要严格的工具链验证。开发安全关键型软件
    的头像 发表于 07-05 13:37 1721次阅读

    思科技与Arm合作加速软件定义汽车系统设计

    汽车制造商越来越依赖芯片和软件,来满足对智能安全、和对支持人工
    的头像 发表于 06-28 10:30 1609次阅读
    新<b class='flag-5'>思科</b>技与Arm合作加速<b class='flag-5'>软件</b>定义<b class='flag-5'>汽车</b>系统设计

    思科技推出汽车领域经认证的独立TRNG IP

    在当今科技主导的时代,软件安全与信息安全的重要性空前提升,汽车领域更是如此。随着汽车智能化与网联
    的头像 发表于 06-20 16:48 1209次阅读
    新<b class='flag-5'>思科</b>技推出<b class='flag-5'>汽车</b>领域经认证的独立TRNG IP

    硬件辅助验证(HAV) 对软件验证的价值

    硬件辅助验证 (HAV) 有着悠久的历史,如今作为软件驱动验证的必备技术,再度受到关注。 RISC-V 可能是说明这一点的最好例子。HAV 能够执行多个周期的软件驱动
    的头像 发表于 05-13 18:21 2269次阅读