英伟达探索将 Linux 内核用于 ASIL-B 级汽车安全场景-低调大师

英伟达探索将 Linux 内核用于 ASIL-B 级汽车安全场景

2025-12-23 4

英伟达正试图为汽车、机器人等安全关键场景打造可满足功能安全认证要求的“安全版”Linux内核，并将当前重点放在满足汽车功能安全标准中的 ASIL-B 等级上。

英伟达工程师 Igor Stoppa 本月早些时候在 Linux Plumbers Conference（LPC）上发表演讲，直指上游 Linux 内核在安全关键应用中的不足，以及围绕 ASIL 认证所面临的技术与流程挑战。

Stoppa 在演讲摘要中强调，英伟达选择的路线刻意避免把负担转嫁给上游内核维护者和开发者，希望他们不必被迫成为功能安全专家，也不希望内核代码被大量冗长的行为说明所“拖累”。他表示，目标是在不干扰既有上游开发流程的前提下，实现 Linux 在安全应用场景中的可验证安全性，因此希望借此开启一场关于“如何与上游共存”的讨论。

在功能安全等级上，英伟达目前聚焦于满足汽车行业的 ASIL-B 完整性需求，这也是其围绕 Linux 内核安全性的优先级所在。为此，英伟达已经在内核相关使用区域做出一系列调整，以便通过 ASIL-B 认证，同时尽量避免过于“入侵式”的改动，降低对主线代码的影响。

英伟达的策略之一，是将安全要求局限在内核中真正需要符合安全标准的部分，而不是为整个庞大的 Linux 代码库套上安全合规的枷锁。这种做法既希望在未来具备把相关代码上游合并的可能，又要照顾到很多上游开发者对安全标准本身并不关心、也不愿承担额外流程负担的现实。

对 Linux 在安全关键场景可行性有兴趣的开发者和业界人士，目前可以通过大会公开的 PDF 幻灯片以及 LPC 2025 的完整视频演讲，进一步了解英伟达的技术路径和思路。

演讲中详细介绍了英伟达如何在不重塑社区治理模式的情况下，引入可验证安全机制，以适配汽车电子和机器人等高要求应用。

演讲 PPT：https://lpc.events/event/19/contributions/2132/attachments/1905/4076/LPC2025%20-%20Igor%20Stoppa.pdf

微信关注我们

原文链接：https://www.oschina.net/news/391579

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

文心 5.0 Preview 登榜 LMArena，国内第一

12月23日，LMArena 大模型竞技场发布最新排名，文心新模型 ERNIE-5.0-Preview-1203 以 1451 分登上 LMArena 文本榜，排名中国第一。在创意写作、高难度指令等方面表现突出，超过Claude-Opus-4-1、GPT-5.2、GPT-5.1和Qwen3-Max-Preview等多款国内外主流模型。在创意写作及复杂任务场景中，ERNIE-5.0-Preview-1203 能够准确理解用户需求，生成结构清晰、逻辑一致的文本内容。文心大模型于2019年首次对外发布，文心大模型5.0是百度今年11月发布的原生全模态大模型。该模型参数量达2.4万亿，采用原生全模态统一建模技术，具备全模态理解与生成能力，支持文本、图像、音频、视频等多种信息的输入与输出。此前，文心大模型 5.0 Preview 在 LMArena 文本榜中位居全球并列第二、中国第一，超过GPT-5-High等多款国内外主流模型；同时，在 LMArena 视觉理解榜中位居国内第一，整体表现与 Claude-Sonnet-4、GPT-5-High 相当。

2025-12-23

3

AI领域两位顶尖学者近日在社交平台吵起来了。图灵奖得主、前Meta首席AI科学家杨立昆（Yann LeCun）和诺贝尔奖得主、谷歌DeepMind CEO Demis Hassabis —— 就通用人工智能（AGI）的定义以及AI是否能够与人类能力相匹配，产生了分歧。杨立昆几天前在一档对谈节目中说道：根本不存在所谓的“通用智能”，纯粹就是胡扯（complete BS）。这个概念毫无意义，因为它实际上是用来指代人类水平的智能，但人类智能其实是高度专业化的。我们在现实世界里确实干得不错，比如认个路、导航blabla；也特别擅长跟人打交道，因为咱们进化了这么多年就是干这个的。但在国际象棋方面，我们表现很差。而且还有一堆事儿都搞不定，反倒是有些动物比我们强得多。所以说，我们其实就是“专才”。我们认为自己是“通用”的，但这仅仅是一种错觉，因为我们能理解的所有问题都局限于我们能想到的那些。 Hassabis 转发了上述内容，并强调&ldquo...

2025-12-25

4

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。