来源：【汽车纵横全媒体】
亲爱的科技爱好者们，准备好迎接智能汽车的下一个里程碑了吗？10月24日，在“AI构建世界，智能引领未来”为主题的长沙1024程序员节上，开源智能驾驶操作系统微内核龘EasyAda V2.3与开源安全车控操作系统小满EasyXMen V25.10新版本震撼发布！同期，北京中国汽车工业协会发布厅同步召开媒体说明会，双城联动见证中国车用操作系统开源生态的关键飞跃。这不仅是对程序员的献礼，更是对汽车产业智能化转型核心需求的强力回应——以安全突破和多核升级为核心，为软件定义汽车奠定坚实基座。
全球汽车产业正加速迈向“智能化、网联化”下半场，行业亟需构建开源开放的全栈操作系统，实现软硬件协同。开源已成关键纽带：2023年2月，中国汽车工业协会启动“中国车用操作系统开源共建计划”，目标凝聚生态力量，促进技术创新，筑牢产业安全屏障。
中国汽车工业协会副秘书长杨中平在媒体说明会上强调：“汽车技术进步需开放公平的国际环境，更需以安全为前提的协同。开源模式打破封闭，以协作替代孤立，是打通产业链、降本增效、提升竞争力的核心路径。”
中国汽车工业协会副秘书长杨中平
操作系统是构建
智能网联汽车生态体系的关键
智能网联汽车面临多重挑战：低水平重复建设、生态封闭、技术滞后、人才短缺。电子电气架构正从分布式ECU向域控制器演进，操作系统需支持异构高算力芯片，具备高安全高性能特性。开发是技术、资金、生态三重壁垒的超复杂工程。
普华基础软件总经理助理罗彤在发布会上指出：“开源迭代解决行业痛点，避免重复造轮子，降本增效。”截至2025年10月，开源小满社区汇聚467家企业、189所高校，下载克隆超16922次，访问量破107288次，彰显生态凝聚力。
开源龘微内核V2.3
以形式化验证技术筑牢安全防线，实现可靠性飞跃
开源龘微内核EasyAda作为全球首个开源智能驾驶操作系统微内核，持续迭代。V2.3版最大亮点是安全性飞跃——采用形式化验证技术，这是汽车OS领域的重大突破。
【形式化验证】
从“抽样检测”到“数学证明”的安全革命
形式化验证基于数学模型保障软件正确性。传统测试如“抽样检查”，而形式化验证通过数学证明覆盖所有可能行为，早发现问题降成本。普华基础软件战略研究院副院长肖堃解释：“在安全关键系统如智能汽车，它能发现深层次错误，传统测试难以做到。”
普华基础软件战略研究院副院长肖堃博士
【开源龘微内核V2.3】
安全性提升
采用第三代微内核架构，关键代码经形式化验证，新增扩展访问控制，强化安全模型。相比宏内核，微内核服务独立隔离，一个模块出错不影响全局。
【开源龘微内核V2.3】
性能与功能的协同优化
新增全局负载均衡机制，优化IPC兼顾性能安全；完善多线程编程支持。测试表现优异：线程切换时延<3微秒，中断响应<1微秒，关键指标波动控制在3倍内。
【开源龘微内核V2.3】
产业价值与认证要求
满足ISO 26262 ASIL-D、CC EAL 5+等高安全认证，为智能驾驶提供可信底座。
开源小满V25.10
多核多分区架构释放硬件潜力，
赋能复杂车控场景
开源小满EasyXMen作为全球首个量产级安全车控OS，V25.10版以多核多分区升级应对车规MCU从单核向多核演进趋势。
车规MCU演进由性能、安全、功耗驱动。多核硬件需适配软件释放性能。普华基础软件战略研究院总监梁浩博士强调：“多核软件是连接硬件与应用的桥梁，无适配则性能优势无法落地。”
普华基础软件战略研究院总监梁浩博士
【开源小满V25.10】
多核多分区升级详解
支持通信栈、存储栈等核心功能在可信分区多核部署，智能负载均衡降低单核负载，实现实时性与资源利用率平衡。梁浩表示：“升级满足高性能、高可靠性需求，提升系统效率。”
【开源小满V25.10】
全面功能升级与性能提升
新增OSM监控模块，实时跟踪CPU、任务等状态；智能内存分配支持ASIL-B到D开发；E2E数据保护机制新增6种Profile；功能栈全面优化。实测RAM占用降31.92%，CAN跨核效率升29.10%，存储效率升17.47%。
【开源小满V25.10】
应用场景扩展与技术优势
覆盖ADAS多传感器融合、BMS电池监控、车身域控制、动力总成管理。优势：高性能并行处理、功能安全冗余、功耗优化、系统整合降成本。梁浩强调：“V25.10满足域控制器等复杂场景需求。”
应用实践与生态建设：
从技术突破到产业协同
开源价值推动产业协同。普华基础软件通过“星辉计划”，构建全流程生态体系。
芯片协同体系：共建软硬一体生态
联合英飞凌、恩智浦等完成180余款芯片适配，支持RISC-V架构。阿里巴巴达摩院基于小满完成RISC-V适配，共建全球生态。
工程服务体系：培育专业服务网络
社区认证伙伴获技术服务资质，享受政策支持，为主机厂提供低成本工程支持。
测试认证体系：建立行业质量标杆
构建统一测试验证体系，为第三方检测机构开拓市场。
量产应用体系：推动技术落地实践
“软件工厂”模式整合资源，帮助主机厂规避技术绑定风险。
人才培育体系：夯实产业发展基础
开源社区吸引189所高校，通过大赛培养人才。第二届开放原子大赛——小满挑战赛提升SM2算法性能超30%。
产业价值与未来展望：
开源模式引领汽车软件创新
开源共建避免重复建设，加速创新。此次发布标志中国车用OS开源生态新阶段：龘V2.3筑牢安全根基，小满V25.10释放多核潜力。
杨中平呼吁：“深化以安全为核心的开放合作，完善标准，推动全球汽车高质量发展！”
立即行动：加入开源社区，共同塑造智能汽车未来！访问官网参与共建。
本文来自【汽车纵横全媒体】，仅代表作者观点。全国党媒信息公共平台提供信息发布传播服务。
ID：jrtt
相关问答
大众的汽车智能互联系统水平如何?-汽车维修技术网
[回答]2022-07-1015:28:06汽车知识问答
什么是汽车智能控制系统?
智能导航系统,智能防撞系统,智能刹车系统,智能安全系统第一、身份id登录,这个在市面上很多事情都是没有用的,有时会出现一款是指纹登录,但是现在呢,我们...
汽车系统英文缩写和含义大全-汽车维修技术网
[回答]qcwx_s2()
为何汽车需要智能系统?-ZOL问答
建立空调智能控制系统可以让新能源汽车更加节能。这一项技术目前已经广泛的应用于很多款新能源汽车当中。一、系统构建随着人们对新能源汽车性能和乘坐舒适性...
汽车智能启停系统是什么_车坛
汽车智能启停系统就是个省油的小帮手。当你开车遇到临时停车的情况,比如等红灯的时候,它会自动把发动机熄火。等你需要继续开的时候,它又会立刻把发...
升级后的互联网汽车智能系统有什么不同吗，荣威RX5能为大家复工出行带来安全感吗?
荣威RX5的智联系统在升级之后,大屏不仅有娱乐功能了,还推出八大主动关怀车机提醒功能,为咱们这些上班族的驾车出行再添一份安全感!不得不说的是它的高速申报...
汽车智能系统哪家好?
有很多汽车智能系统的公司提供各种各样的产品和服务,其中一些著名的公司包括:1.苹果公司(Apple):苹果的CarPlay系统可以将iPhone与车载娱乐系统连接,提供...
什么是移动管家汽车智能云控系统?手机撑控汽车有哪些解决方...
什么是移动管家汽车智能云控系统?手机撑控汽车有哪些解决方案?扫地机器人联想联想智能扫地机器人讨论回答(7)miss5120你好!移动管家汽车智能控制系统...
驾驶辅助系统有哪些-汽车知识问答-爱卡汽车
驾驶辅助系统有车道保持辅助系统、自动泊车辅助系统、刹车辅助系统、倒车辅助系统和行车辅助系统。汽车自动驾驶辅助系统是利用安装在车上的各式各样传感器...
互联网汽车是什么?有什么优势呢?-太平洋汽车
[最佳回答]互联网汽车是指准备智能操作系统的新型汽车。对于互联网汽车的更多资料如下:智能操作系统的作用:智能操作系统为互联网汽车提供了第二个引擎使得互...
