
在智能操作系統(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)著自己的力量。












