10月24日，开源智能驾驶操作系统微内核龘EasyAda V2.3与开源安全车控操作系统小满EasyXMen V25.10新版本发布。同日，北京中国汽车工业协会发布厅内，新版本媒体说明会同步召开，见证中国车用操作系统开源生态的关键迭代。
当下，随着全球汽车产业迈向“智能化、网联化”的下半场，汽车电子电气架构正发生从分布式ECU向域控制器、中央计算平台的巨大变化。这种变革对操作系统提出了全新需求：必须支持异构高算力芯片，具备高安全、高性能特性，行业亟需构建开源、开放、自主可控的全栈式操作系统，实现与异构芯片的软硬件协同。
说明会现场，中国汽车工业协会副秘书长杨中平表示，开源模式用开放打破封闭，以协同替代孤立，不仅是打通产业链条、实现多方共赢的有效手段，更是构建智能汽车产业协同生态、降本增效、提升整体竞争力的关键路径。
操作系统是构建智能网联汽车生态体系的重要一环，然而，其开发是技术、资金、生态三重壁垒叠加的超复杂工程，需要长期资源投入与技术沉淀。
对此，中国电科普华基础软件总经理助理罗彤表示，开源技术的每一次版本迭代，都旨在解决行业共性痛点。通过开源共建，我们可以避免‘重复造轮子’，大幅降低研发成本，提升创新效率。
据悉，开源龘微内核EasyAda作为全球首个开源智能驾驶操作系统微内核，自2023年2月启动开源工作以来，持续迭代升级。本次发布的V2.3版本最大的亮点是采用了基于数字模型的软件正确性保障方法形式化验证技术。
“这是汽车操作系统领域的重要突破。对智能汽车、飞机、eVTOL等领域而言，软件正确性至关重要。”中国电科普华基础软件战略研究院副院长肖堃在接受中国证券报记者采访时表示，形式化验证能够发现深层次错误，如复杂逻辑错误、不符合规范的状态转换等，这是传统测试难以做到的。此外，开源龘微内核采用第三代微内核架构，与传统的宏内核相比在安全性上有优势。
