11月7日-9日，以“共筑開放合作、安全普惠的數智未來——攜手構建網絡空間命運共同體”為主題的2025年世界互聯網大會烏鎮峰會在浙江烏鎮召開，普華基礎軟件攜開源智能駕駛操作系統微內核龘V2.3和開源安全車控操作系統小滿EasyXMen兩款新產品，集中展示開源技術賦能產業升級的實踐成果。

本次大會，中國電科以“數智縱橫，引領未來”為主題，全面展示半導體、電子裝備、智能物聯、數字科技的四大產業集群成果。在汽車電子展示區域，普華基礎軟件開源智能駕駛操作系統微內核龘EasyAdaV2.3與開源安全車控操作系統小滿EasyXMenV25.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萬次。

普華基礎軟件將持續深耕開源技術與產品創新，攜手生態伙伴以開源模式打破產業壁壘，為構建開放合作、安全普惠的數智未來貢獻力量。