产品发布与核心升级 - 开源智能驾驶操作系统微内核龘EasyAda V2 3与开源安全车控操作系统小满EasyXMen V25 10新版本于长沙1024程序员节正式发布 [1] - 龘EasyAda V2 3版本的核心亮点是采用形式化验证技术提升安全性 可实现可靠性飞跃并满足ISO 26262 ASIL-D等高安全等级认证要求 [2] - 小满EasyXMen V25 10版本的核心升级是多核多分区架构 旨在释放多核硬件潜力 支持核心功能栈在多核上的部署 实现智能负载均衡 [3] 技术突破与行业意义 - 形式化验证技术是汽车操作系统领域的重要突破 能够发现传统测试难以识别的复杂逻辑错误等深层次问题 [2] - 多核软件是连接多核硬件与车载应用的桥梁 对最大化硬件并行计算能力及解决核间协同等关键问题至关重要 [3] - 此次发布标志着中国车用操作系统开源生态进入新阶段 为汽车软件定义未来及应对智能化转型深水区需求奠定基础 [1][6] 开源生态与产业协同 - 截至2025年10月 开源小满社区已汇聚467家企业及189所高校加入共建 下载和克隆总次数达16922次 社区累计访问数为107288次 [1] - 公司通过开源“星辉计划”构建覆盖芯片协同、工程服务、测试认证等全流程的生态体系 推动产业协同创新 [4] - 小满操作系统已完成180余款国内国际芯片适配 并与英飞凌等国际厂商及阿里巴巴达摩院等开展深度合作 共同建设RISC-V等生态 [4][5] 行业观点与发展路径 - 中国汽车工业协会指出 汽车产业技术进步需要以安全为前提的行业协同 开源模式是构建智能网联汽车产业协同生态的关键路径 [1][6] - 开源共建可避免重复造轮子 大幅降低研发成本并提升创新效率 成为破解汽车软件发展瓶颈的关键路径 [1][6] - 行业呼吁在电动化、智能化领域深化以安全为核心的开放合作 共同完善车用操作系统相关标准与技术研发 [6]