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
    +关注

    关注

    10

    文章

    389

    浏览量

    23509
  • 新思科技
    +关注

    关注

    5

    文章

    923

    浏览量

    52638
  • 智能汽车
    +关注

    关注

    30

    文章

    3230

    浏览量

    109139
  • Rust
    +关注

    关注

    1

    文章

    240

    浏览量

    7477

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

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

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

扫码添加小助手

加入工程师交流群

    评论

    相关推荐
    热点推荐

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    思科技邀您相约DVCon China 2025

    主题演讲、技术分享和技术展台的方式,分享新思科技在AI驱动的验证技术创新、形式化验证加速低功耗设计、硬件加速验证创新领域的前沿技术,共同探索万物智能
    的头像 发表于 04-09 17:52 964次阅读

    密码赋能|事关智能网联汽车产品准入、召回及软件在线升级管理

    近日,工信部联合市场监管总局发布了《关于进一步加强智能网联汽车产品准入、召回及软件在线升级管理的通知》,目的是规范智能网联汽车行业,提升产品
    的头像 发表于 03-20 16:04 785次阅读
    密码赋能|事关<b class='flag-5'>智能</b>网联<b class='flag-5'>汽车</b>产品准入、召回及<b class='flag-5'>软件</b>在线升级管理

    思科技与Vector达成战略合作

    近日,新思科技和Vector宣布建立战略合作关系,携手加速汽车行业向软件定义汽车(SDV)转型。该合作将提供集成了Vector软件工厂的专业
    的头像 发表于 03-12 17:26 962次阅读

    2025年汽车行业发展:智能安全迅速

    ,既是推动力量也是坚实支撑。事实上,Arbe的前沿雷达解决方案与汽车行业不断演进的需求不谋而合。以下是今年汽车行业几个值得密切关注的方面: 人工智能引领未来驾驶 预计到2032年,汽车
    的头像 发表于 03-06 14:02 509次阅读
    2025年<b class='flag-5'>汽车</b>行业发展:<b class='flag-5'>更</b><b class='flag-5'>智能</b>、<b class='flag-5'>更</b><b class='flag-5'>安全</b>、<b class='flag-5'>更</b>迅速

    思科技推出基于AMD芯片的新一代原型验证系统

    一代HAPS-200原型验证系统和ZeBu仿真系统,凭借其卓越的运行性能、更快的编译速度和更高的调试效率,引领了行业发展的新潮流。这些系统均采用了新思科技最新研发的仿真与原型验证就绪(EP-ready)硬件,通过精细的
    的头像 发表于 02-19 17:12 1152次阅读

    思科技推出全新硬件辅助验证产品组合

    思科技近日宣布,推出基于全新AMD Versal Premium VP1902自适应系统级芯片(SoC)的HAPS原型验证系统,全新升级其业界领先的硬件辅助验证(HAV)产品组合。
    的头像 发表于 02-18 17:30 1012次阅读

    思科技全新升级业界领先的硬件辅助验证产品组合,助力下一代半导体与设计创新

    思科技 (Synopsys, Inc.,纳斯达克股票代码:SNPS)近日宣布,推出基于全新AMD Versal™ Premium VP1902自适应系统级芯片(SoC)的HAPS®原型验证系统
    发表于 02-18 16:00 470次阅读

    Arm平台助力未来汽车功能安全

    随着消费者对安全智能且高度网联的汽车需求日益增长,汽车行业正经历快速变化。同时,由于自动驾
    的头像 发表于 12-23 09:15 1093次阅读