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

本次大會，中國電科以“數(shù)智縱橫，引領(lǐng)未來”為主題，全面展示半導(dǎo)體、電子裝備、智能物聯(lián)、數(shù)字科技的四大產(chǎn)業(yè)集群成果。在汽車電子展示區(qū)域，普華基礎(chǔ)軟件開源智能駕駛操作系統(tǒng)微內(nèi)核龘EasyAdaV2.3與開源安全車控操作系統(tǒng)小滿EasyXMenV25.10，協(xié)同芯片伙伴打造的智能網(wǎng)聯(lián)汽車“中國芯+中國軟”自主創(chuàng)新解決方案，憑借底層技術(shù)自主可控、安全性能領(lǐng)先的核心優(yōu)勢，吸引了眾多與會者的駐足關(guān)注與深入交流。
開源龘微內(nèi)核V2.3是全球首個采用形式化驗證技術(shù)的開源智駕操作系統(tǒng)微內(nèi)核，其最大的亮點在于安全性提升。通過建立數(shù)學(xué)模型明確軟件系統(tǒng)的行為規(guī)范（即形式化規(guī)約），再以嚴謹?shù)臄?shù)學(xué)方法證明系統(tǒng)完全符合該規(guī)范，能夠覆蓋可能的輸入與系統(tǒng)狀態(tài)，確保軟件的所有潛在行為都經(jīng)過嚴格驗證，從底層筑牢安全防線。同時，開源龘依托開源生態(tài)技術(shù)同源、供應(yīng)鏈共享的協(xié)同網(wǎng)絡(luò)，正突破單一汽車領(lǐng)域，加速向低空飛行器、人形機器人等多場景智能終端滲透，成功應(yīng)用于某國產(chǎn)航空軟件項目。

開源小滿EasyXMen V25.10是全球首個規(guī)?；?、量產(chǎn)級安全車控操作系統(tǒng)，其通過開源共建的方式，圍繞車輛控制的各種應(yīng)用場景，搭建一個高實時性、高安全性和高可靠性的車控操作系統(tǒng)平臺，為行業(yè)內(nèi)企業(yè)帶來資源共享、研發(fā)合力與成本優(yōu)化等多重優(yōu)勢。

開源小滿第一代版本于2024年10月24日正式上線，在生態(tài)伙伴的共建支持下，社區(qū)生態(tài)蓬勃發(fā)展。2025年10月24日，開源小滿V25.10版本正式發(fā)布，實現(xiàn)了功能與性能的全面提升。目前，小滿已完成180余款國內(nèi)國際芯片適配，普華基礎(chǔ)軟件與英飛凌基于Drive Core開展深度合作，近期將完成在TC4Dx 的適配工作。截至2025年10月，開源小滿社區(qū)已匯聚41家整車企業(yè)，420余家零部件企業(yè)，189所高校，1993位社區(qū)成員，下載和克隆開源軟件總次數(shù)超1.6萬次，社區(qū)累計訪問數(shù)超10萬次。

普華基礎(chǔ)軟件將持續(xù)深耕開源技術(shù)與產(chǎn)品創(chuàng)新，攜手生態(tài)伙伴以開源模式打破產(chǎn)業(yè)壁壘，為構(gòu)建開放合作、安全普惠的數(shù)智未來貢獻力量。