在智能操作系統(tǒng)領域，開源龘微內(nèi)核V2.3與開源小滿EasyXMen V25.10的相繼問世，為行業(yè)帶來了全新的發(fā)展契機。開源龘微內(nèi)核V2.3作為全球首個運用形式化驗證技術的開源智駕操作系統(tǒng)微內(nèi)核，將安全性提升到了前所未有的高度。它借助數(shù)學模型精準界定軟件系統(tǒng)的行為準則，也就是形式化規(guī)約，再運用嚴謹?shù)臄?shù)學手段證明系統(tǒng)完全契合這一規(guī)范。這種方式能夠全面覆蓋各種可能的輸入以及系統(tǒng)狀態(tài)，保證軟件的每一項潛在行為都經(jīng)過嚴格審視，從底層為安全構(gòu)筑起堅固防線。值得一提的是，開源龘并未局限于汽車領域，而是依托開源生態(tài)技術同源、供應鏈共享的協(xié)同網(wǎng)絡，加速向低空飛行器、人形機器人等多元智能終端拓展，目前已在某國產(chǎn)航空軟件項目中成功落地應用。

開源小滿EasyXMen V25.10同樣表現(xiàn)卓越，它是全球首個實現(xiàn)規(guī)模化、量產(chǎn)級應用的安全車控操作系統(tǒng)。該系統(tǒng)采用開源共建模式，緊密圍繞車輛控制的各類應用場景，精心搭建起一個具備高實時性、高安全性和高可靠性的車控操作系統(tǒng)平臺。這一創(chuàng)新舉措為行業(yè)內(nèi)的企業(yè)帶來了諸多益處，實現(xiàn)了資源共享、研發(fā)協(xié)同以及成本優(yōu)化等多重優(yōu)勢。

開源小滿的發(fā)展歷程也頗具亮點。其第一代版本于2024年10月24日正式上線，在眾多生態(tài)伙伴的共同助力下，社區(qū)生態(tài)呈現(xiàn)出蓬勃發(fā)展的態(tài)勢。僅僅一年后的2025年10月24日，開源小滿V25.10版本便正式發(fā)布，在功能和性能方面實現(xiàn)了全方位的提升。在芯片適配方面，小滿成果斐然，已完成180余款國內(nèi)國際芯片的適配工作。其中，普華基礎軟件與英飛凌基于Drive Core展開深度合作，近期即將完成在TC4Dx上的適配。在社區(qū)建設上，開源小滿同樣成績突出，截至2025年10月，社區(qū)已匯聚了41家整車企業(yè)、420余家零部件企業(yè)、189所高校以及1993位社區(qū)成員。開源軟件的下載和克隆總次數(shù)超過1.6萬次，社區(qū)累計訪問數(shù)更是突破了10萬次。

普華基礎軟件始終致力于開源技術與產(chǎn)品創(chuàng)新，積極攜手生態(tài)伙伴，以開源模式打破產(chǎn)業(yè)間的壁壘，為構(gòu)建開放合作、安全普惠的數(shù)智世界貢獻著自己的力量。