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

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

2025-12-23 42

英伟达正试图为汽车、机器人等安全关键场景打造可满足功能安全认证要求的“安全版”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

40

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

2025-12-25

36

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

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