10月24日，在“AI构建世界,智能引领未来”为主题的长沙1024程序员节活动现场，开源智能驾驶操作系统微内核龘EasyAda V2.3与开源安全车控操作系统小满EasyXMen V25.10新版本正式发布。同期，北京中国汽车工业协会发布厅内，新版本媒体说明会同步召开，双城联动见证中国车用操作系统开源生态的关键迭代。

中国汽车工业协会副秘书长杨中平在媒体说明会上表示：“汽车产业的技术进步与可持续发展，需要开放和公平的国际市场环境，更需要以‘安全’为前提的行业协同。开源模式用开放打破封闭，以协同替代孤立，不仅是打通产业链条、实现多方共赢的有效手段，更是构建智能汽车产业协同生态、降本增效、提升整体竞争力的关键路径。”

中国汽车工业协会副秘书长杨中平

操作系统衔接上层应用软件生态和底层硬件资源，是构建智能网联汽车生态体系的关键。然而，操作系统的开发是技术、资金、生态三重壁垒叠加的超复杂工程，需要长期资源投入与技术沉淀。中国电科普华基础软件总经理助理罗彤在1024程序员日发布会上表示：“开源技术的每一次版本迭代，都旨在解决行业共性痛点。通过开源共建，我们可以避免‘重复造轮子’，大幅降低研发成本，提升创新效率。”截至2025年10月，开源小满社区已汇聚467家企业、189所高校加入共建，下载和克隆总次数16922次，社区累计访问数107288次，彰显了开源生态的凝聚力。

其中，开源龘微内核EasyAda作为全球首个开源智能驾驶操作系统微内核，自2023年2月启动开源工作以来，持续迭代升级。本次发布的V2.3版本最大的亮点是安全性提升——采用了形式化验证技术，这是汽车操作系统领域的重要突破。形式化验证是一种基于数学模型的软件正确性保障方法。与传统软件测试方法有本质区别：传统测试如代码审查、软件测试等，类似于“抽样检查”。

中国电科普华基础软件战略研究院副院长肖堃解释道：“在安全关键系统如智能汽车、飞机、eVTOL等领域，软件正确性至关重要。形式化验证能够发现深层次错误，如复杂逻辑错误、不符合规范的状态转换等，这是传统测试难以做到的。”

中国电科普华基础软件战略研究院副院长肖堃

此外，开源龘微内核还采用第三代微内核架构，相比与传统的宏内核在安全性上有优势。宏内核架构中所有系统服务都在内核态执行，包括文件系统、设备驱动等，并且系统服务之间紧密耦合，一个模块出错可能会影响整个系统。而微内核架构在内核态只执行最小化的关键系统服务，大量的系统服务在用户态执行，并且相互之间独立隔离。

开源龘微内核V2.3进一步强化这些优势：针对线程调度和异常处理等关键代码进行了形式化验证，解决了发现的问题，显著提升了系统稳定性和安全性。同时新增了扩展访问控制机制，进一步完善了微内核的安全模型。

值得一提的是，开源小满EasyXMen作为全球首个规模化、量产级安全车控操作系统，于2024年10月24日正式上线。本次发布的V25.10版本以多核多分区为核心升级，应对车规MCU从单核向多核演进的技术趋势。

随着汽车电子发展，车规MCU正经历从单核到多核的演进。然而，多核硬件需要适配的软件才能发挥性能优势。

“MCU多核软件的核心作用是最大化释放多核硬件的并行计算能力，同时解决核间协同、任务调度、安全隔离等关键问题。它是连接多核硬件架构与实际车载应用的‘桥梁’，没有适配的多核软件，多核硬件的性能优势会完全无法落地。”中国电科普华基础软件战略研究院总监梁浩说。

中国电科普华基础软件战略研究院总监梁浩

除了多核多分区升级，开源小满V25.10还在多个方面实现增强：包括OS新增系统监控功能、智能内存分配管理功能、E2E数据保护机制增强、功能栈模块全面升级、功能栈性能全面提升等。梁浩表示：“得益于开源小满EasyXMen V25.10的全面多核支持、性能升级和功能完善，该版本除了支持传统ECU开发之外，还能满足域控制器/区域控制器等复杂控制器的开发需求。”

开源车用操作系统的价值不仅体现在技术升级，更在于其推动产业协同创新的能力。

普华基础软件通过开源“星辉计划”，构建了覆盖芯片协同、工程服务、测试认证、量产应用、人才培育的全流程生态体系。其中，芯片协同体系将联合国内外芯片厂商，建立统一接口和验证机制，推动小满安全车控操作系统与芯片的深度适配。

梁浩介绍，普华基础软件与英飞凌基于Drive Core开展深度合作，近期将完成在TC4Dx 的适配工作。面向国内芯片厂商，通过协同创新助力国产芯片与车用操作系统深度融合，重点支持RISC-V等自主可控架构。

目前，小满已完成180余款国内国际芯片适配，开源版本中包括英飞凌TC397、恩智浦S32K148和瑞萨RH850 U2A16等芯片示例工程。阿里巴巴达摩院基于小满完成RISC-V适配，并共同建设面向全球的RISC-V软硬协同生态。

此次开源车用操作系统新版本发布，标志着中国车用操作系统开源生态进入新阶段。开源龘微内核V2.3通过形式化验证技术实现安全性提升，为智能驾驶系统筑牢可信根基；开源小满V25.10通过多核多分区架构升级，释放硬件性能潜力，满足域控制器等复杂场景需求。从产业视角看，开源模式正成为破解汽车软件发展瓶颈的关键路径：通过共建共享，避免低水平重复建设；通过开放协作，加速技术创新迭代；通过生态聚合，推动标准制定与人才培养。

（光明日报全媒体记者崔兴毅）