普华基础软件开源车用操作系统新版本发布，赋能多场景智能终端安全发展
在智能操作系统领域，开源龘微内核V2.3与开源小满EasyXMen V25.10的相继问世，为行业带来了全新的发展契机。开源龘微内核V2.3作为全球首个运用形式化验证技术的开源智驾操作系统微内核，将安全性提升到了前所未有的高度。它借助数学模型精准界定软件系统的行为准则，也就是形式化规约，再运用严谨的数学手段证明系统完全契合这一规范。这种方式能够全面覆盖各种可能的输入以及系统状态，保证软件的每一项潜在行为都经过严格审视，从底层为安全构筑起坚固防线。值得一提的是，开源龘并未局限于汽车领域，而是依托开源生态技术同源、供应链共享的协同网络，加速向低空飞行器、人形机器人等多元智能终端拓展，目前已在某国产航空软件项目中成功落地应用。
开源小满EasyXMen V25.10同样表现卓越，它是全球首个实现规模化、量产级应用的安全车控操作系统。该系统采用开源共建模式，紧密围绕车辆控制的各类应用场景，精心搭建起一个具备高实时性、高安全性和高可靠性的车控操作系统平台。这一创新举措为行业内的企业带来了诸多益处，实现了资源共享、研发协同以及成本优化等多重优势。
开源小满的发展历程也颇具亮点。其第一代版本于2024年10月24日正式上线，在众多生态伙伴的共同助力下，社区生态呈现出蓬勃发展的态势。仅仅一年后的2025年10月24日，开源小满V25.10版本便正式发布，在功能和性能方面实现了全方位的提升。在芯片适配方面，小满成果斐然，已完成180余款国内国际芯片的适配工作。其中，普华基础软件与英飞凌基于Drive Core展开深度合作，近期即将完成在TC4Dx上的适配。在社区建设上，开源小满同样成绩突出，截至2025年10月，社区已汇聚了41家整车企业、420余家零部件企业、189所高校以及1993位社区成员。开源软件的下载和克隆总次数超过1.6万次，社区累计访问数更是突破了10万次。
普华基础软件始终致力于开源技术与产品创新，积极携手生态伙伴，以开源模式打破产业间的壁垒，为构建开放合作、安全普惠的数智世界贡献着自己的力量。
来源：https://www.drd.com.cn/xinche/202511/107782.html