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

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

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

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