11月7日-9日，以“共筑开放合作、安全普惠的数智未来——携手构建网络空间命运共同体”为主题的2025年世界互联网大会乌镇峰会在浙江乌镇召开，普华基础软件携开源智能驾驶操作系统微内核龘V2.3和开源安全车控操作系统小满EasyXMen两款新产品，集中展示开源技术赋能产业升级的实践成果。
本次大会，中国电科以“数智纵横，引领未来”为主题，全面展示半导体、电子装备、智能物联、数字科技的四大产业集群成果。在汽车电子展示区域，普华基础软件开源智能驾驶操作系统微内核龘EasyAda 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万次。
普华基础软件将持续深耕开源技术与产品创新，携手生态伙伴以开源模式打破产业壁垒，为构建开放合作、安全普惠的数智未来贡献力量。