来源：【汽车纵横全媒体】
嘿，汽车科技先锋们！你们准备好解锁智能驾驶的无限可能了吗？在长沙1024程序员节上，主题“AI构建世界，智能引领未来”，开源智能驾驶操作系统微内核龘EasyAda V2.3和开源安全车控操作系统小满EasyXMen V25.10重磅登场！北京同步召开媒体说明会，双城联动见证中国车用操作系统的关键跃迁。这不仅致敬程序员，更直击汽车智能化深水区——以安全突破和多核架构为核心，为软件定义汽车奠定坚不可摧的基石。
全球汽车产业加速迈向“智能化、网联化”，行业急需开源开放的全栈操作系统，实现软硬件协同。开源已成战略核心——2023年2月，中国汽车工业协会启动“中国车用操作系统开源共建计划”，目标凝聚生态力量，发掘创新项目，构建安全屏障。
中国汽车工业协会副秘书长杨中平在说明会上强调：“汽车进步需开放国际市场，更需安全协同。开源打破封闭，以协同替代孤立，是降本增效、提升竞争力的关键路径。”
中国汽车工业协会副秘书长杨中平
操作系统是构建
智能网联汽车生态体系的关键
智能网联汽车面临多重挑战：低水平重复建设、生态封闭、技术滞后、人才短缺。电子电气架构从分布式ECU向域控制器、中央平台演进，操作系统需支持异构高算力芯片，具备高安全高性能。作为连接应用生态与硬件的核心，操作系统开发是技术、资金、生态三重壁垒的超级工程。
普华基础软件总经理助理罗彤在发布会上指出：“开源迭代解决行业痛点，避免重复造轮子，降本增效。”截至2025年10月，开源小满社区汇聚467家企业、189所高校，下载克隆超16922次，访问量破107288次，彰显生态凝聚力。
开源龘微内核V2.3
以形式化验证技术筑牢安全防线，实现可靠性飞跃
开源龘微内核EasyAda作为全球首个开源智能驾驶OS微内核，持续升级。V2.3版最大亮点是安全性——采用形式化验证技术，实现汽车OS领域重大突破。
【形式化验证】
从“抽样检测”到“数学证明”的安全革命
形式化验证基于数学模型保障软件正确性。传统测试如抽样检查，无法覆盖所有错误。形式化验证通过数学证明软件符合规范，覆盖所有输入和状态，早期发现问题。普华基础软件战略研究院副院长肖堃解释：“在智能汽车等安全关键领域，它能发现深层次逻辑错误，传统测试难以企及。”
普华基础软件战略研究院副院长肖堃博士
【开源龘微内核V2.3】
安全性提升
采用第三代微内核架构，优于宏内核：关键服务在内核态，其余在用户态独立隔离。V2.3针对线程调度等关键代码进行形式化验证，提升稳定性；新增扩展访问控制，完善安全模型。
【开源龘微内核V2.3】
性能与功能的协同优化
性能上，新增全局负载均衡机制，高效调度多核处理器；重构IPC机制，兼顾性能与安全。功能上，完善多线程编程支持，遵循POSIX标准。实测在ARM Cortex A55 1.5GHz处理器上，线程切换时延小于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种机制；功能栈全面升级。实测RAM占用优化31.92%，CAN跨核效率提升29.10%，存储效率优化17.47%。
【开源小满V25.10】
应用场景扩展与技术优势
场景覆盖ADAS多传感器融合、BMS电池监控、车身域控制、动力总成。优势：高性能并行处理提升响应；功能安全支持ASIL-D；功耗优化；系统整合减少硬件成本。梁浩强调：“V25.10满足域控制器等复杂需求。”
应用实践与生态建设：
从技术突破到产业协同
开源价值推动产业协同。普华基础软件“星辉计划”构建全流程生态：芯片协同、工程服务、测试认证、量产应用、人才培育。
芯片协同体系：共建软硬一体生态
联合国内外芯片厂商，建立统一接口。与英飞凌深度合作，适配TC4Dx；支持国产芯片如RISC-V。小满已完成180余款芯片适配，包括英飞凌TC397等示例工程。阿里巴巴达摩院基于小满完成RISC-V适配。
工程服务体系：培育专业服务网络
通过社区认证培训，培育服务商，为主机厂提供低成本支持。开放源代码，支持产品化开发。
测试认证体系：建立行业质量标杆
构建统一测试验证体系，为检测机构开拓市场。
量产应用体系：推动技术落地实践
“软件工厂”模式整合资源，提供灵活开发支持，规避技术绑定风险。
人才培育体系：夯实产业发展基础
以社区为载体，培养嵌入式人才。2025年新能源汽车人才缺口超百万。社区已吸引189所高校，通过大赛培养人才。第二届开放原子大赛——小满挑战赛提升SM2算法性能超30%。
产业价值与未来展望：
开源模式引领汽车软件创新
开源破解发展瓶颈：共建共享避免重复；开放协作加速创新；生态聚合推动标准。此次发布标志生态新阶段：龘V2.3筑牢安全根基；小满V25.10释放多核潜力。
杨中平呼吁深化安全合作，完善标准，推动全球高质量发展！
本文来自【汽车纵横全媒体】，仅代表作者观点。全国党媒信息公共平台提供信息发布传播服务。
ID：jrtt
相关问答
汽车电控系统由哪三部分组成？各有什么核心作用？
[最佳回答]汽车电控系统由传感器、控制单元和执行器组成。传感器实时采集数据，控制单元处理指令，执行器驱动动作，三者协同确保车辆高效运行。
电车ACS系统是什么？它如何提升驾驶体验？
[回答]电动汽车ACS指智能补电系统，采用数字集成技术，自动优化电量管理，延长续航，让出行更无忧。
互联网汽车的优势在哪？它如何改变出行？
[最佳回答]互联网汽车搭载智能OS，实现车联网、远程控制、OTA升级，提升安全性、便捷性和娱乐性，重塑驾驶体验。
电动助力转向系统（EPS）为何成为主流？它有哪些革新？
[回答]EPS取代液压助力，重量更轻、响应更快、能耗更低，通过电机直接辅助转向，提升操控精准度。
驾驶辅助系统有哪些？它们如何守护安全？
驾驶辅助系统包括车道保持、自动泊车、刹车辅助等，利用传感器实时监控环境，预防碰撞，让行车更智能、更安心。
车载智能系统与传统汽车有何区别？它带来哪些便利？
车载智能系统集成导航、娱乐、诊断功能，通过AI优化驾驶决策，而传统车缺乏互联性。智能系统提升便捷性、安全性，让驾驶更轻松。
未来智能汽车的前沿设计聚焦哪些领域？如何突破？
4条回答：前沿设计包括AI安全系统、自动驾驶算法、V2X通信。互联网车企如奇点汽车，整合全球技术，实现更高效的安全防护。
汽车智能启停系统如何工作？它有哪些实际效益？
智能启停在车辆停止时自动关闭引擎，减少怠速油耗和排放。重启迅速，提升燃油经济性高达15%，环保又省钱。
升级后的互联网汽车智能系统有何亮点？荣威RX5如何保障复工出行？
升级系统新增主动关怀提醒，如路况预警、健康监测。荣威RX5通过高速申报等功能，增强驾驶安全感，适合复工通勤。
汽车智能系统可靠吗？失灵时如何应对？
L2级智能驾驶辅助可靠，但需人机协同。失灵时，系统会报警并切换手动模式。定期更新软件、检查传感器，可最大限度降低风险。
