近日，在長(zhǎng)沙“AI構(gòu)建世界,智能引領(lǐng)未來(lái)”1024程序員節(jié)上，開(kāi)源智能駕駛操作系統(tǒng)微內(nèi)核龘EasyAda V2.3與開(kāi)源安全車控操作系統(tǒng)小滿EasyXMen V25.10新版本發(fā)布。同期，北京中國(guó)汽車工業(yè)協(xié)會(huì)舉行新版本媒體說(shuō)明會(huì)，雙城聯(lián)動(dòng)見(jiàn)證中國(guó)車用操作系統(tǒng)開(kāi)源生態(tài)的關(guān)鍵進(jìn)展。

全球汽車產(chǎn)業(yè)正邁向智能化、網(wǎng)聯(lián)化，亟需構(gòu)建開(kāi)源開(kāi)放的全棧操作系統(tǒng)，實(shí)現(xiàn)軟硬件協(xié)同，為智能網(wǎng)聯(lián)汽車發(fā)展奠定基礎(chǔ)。值得注意的是，“開(kāi)源”已成為貫穿從戰(zhàn)略到實(shí)踐的核心紐帶。2023年2月，中國(guó)汽車工業(yè)協(xié)會(huì)推出“中國(guó)車用操作系統(tǒng)開(kāi)源共建計(jì)劃”，旨在通過(guò)開(kāi)源平臺(tái)匯聚生態(tài)力量，推動(dòng)技術(shù)創(chuàng)新，構(gòu)建安全生態(tài)體系，筑牢產(chǎn)業(yè)安全基礎(chǔ)。

中國(guó)汽車工業(yè)協(xié)會(huì)副秘書(shū)長(zhǎng)楊中平致辭

中國(guó)汽車工業(yè)協(xié)會(huì)副秘書(shū)長(zhǎng)楊中平在媒體說(shuō)明會(huì)上指出：“汽車產(chǎn)業(yè)的技術(shù)進(jìn)步與可持續(xù)發(fā)展，需要開(kāi)放、公平的國(guó)際市場(chǎng)環(huán)境，更需要以‘安全’為前提的行業(yè)協(xié)同。開(kāi)源模式用開(kāi)放打破封閉，以協(xié)同替代孤立，不僅是打通產(chǎn)業(yè)鏈條、實(shí)現(xiàn)多方共贏的有效手段，更是構(gòu)建智能汽車產(chǎn)業(yè)協(xié)同生態(tài)、降本增效、提升整體競(jìng)爭(zhēng)力的關(guān)鍵路徑?！?/p>

同時(shí)，普華基礎(chǔ)軟件總經(jīng)理助理羅彤在1024程序員日發(fā)布會(huì)上指出：“開(kāi)源技術(shù)的每一次版本迭代，都旨在解決行業(yè)共性痛點(diǎn)。通過(guò)開(kāi)源共建，我們可以避免‘重復(fù)造輪子’，大幅降低研發(fā)成本，提升創(chuàng)新效率?！苯刂?025年10月，開(kāi)源小滿社區(qū)已匯聚467家企業(yè)、189所高校，下載和克隆總次數(shù)16922次，社區(qū)累計(jì)訪問(wèn)數(shù)107288次，彰顯了開(kāi)源生態(tài)的凝聚力。

開(kāi)源龘微內(nèi)核V2.3：以形式化驗(yàn)證技術(shù)筑牢安全防線，實(shí)現(xiàn)可靠性飛躍

開(kāi)源龘微內(nèi)核EasyAda作為全球首個(gè)開(kāi)源智能駕駛操作系統(tǒng)微內(nèi)核，自2023年2月啟動(dòng)開(kāi)源工作以來(lái)，持續(xù)迭代升級(jí)。本次發(fā)布的V2.3版本最大的亮點(diǎn)是安全性提升——采用了形式化驗(yàn)證技術(shù)，這是汽車操作系統(tǒng)領(lǐng)域的重要突破。

形式化驗(yàn)證通過(guò)建立數(shù)學(xué)模型定義的軟件系統(tǒng)行為規(guī)范（形式化規(guī)約），再用數(shù)學(xué)方法證明軟件系統(tǒng)符合行為規(guī)范。這意味著它能夠覆蓋可能的輸入和系統(tǒng)狀態(tài)，確保軟件的可能行為都經(jīng)過(guò)驗(yàn)證。形式化驗(yàn)證還能夠在設(shè)計(jì)和編碼階段進(jìn)行，以便于更早發(fā)現(xiàn)問(wèn)題，減少后期錯(cuò)誤修復(fù)的成本。

普華基礎(chǔ)軟件戰(zhàn)略研究院副院長(zhǎng)肖堃解釋道：“在安全關(guān)鍵系統(tǒng)如智能汽車、飛機(jī)、eVTOL（電動(dòng)垂直起降飛行器）等領(lǐng)域，軟件正確性至關(guān)重要。形式化驗(yàn)證能夠發(fā)現(xiàn)深層次錯(cuò)誤，如復(fù)雜邏輯錯(cuò)誤、不符合規(guī)范的狀態(tài)轉(zhuǎn)換等，這是傳統(tǒng)測(cè)試難以做到的?！?/p>

普華基礎(chǔ)軟件戰(zhàn)略研究院副院長(zhǎng)肖堃博士致辭

開(kāi)源小滿V25.10：多核多分區(qū)架構(gòu)釋放硬件潛力，賦能復(fù)雜車控場(chǎng)景

開(kāi)源小滿EasyXMen作為全球首個(gè)規(guī)?；?、量產(chǎn)級(jí)安全車控操作系統(tǒng)，于2024年10月24日正式上線。本次發(fā)布的V25.10版本以多核多分區(qū)為核心升級(jí)，應(yīng)對(duì)車規(guī)MCU（電機(jī)控制單元）從單核向多核演進(jìn)的技術(shù)趨勢(shì)。

普華基礎(chǔ)軟件戰(zhàn)略研究院總監(jiān)梁浩博士致辭

普華基礎(chǔ)軟件戰(zhàn)略研究院總監(jiān)梁浩博士指出：“MCU多核軟件的核心是釋放多核硬件并行計(jì)算能力，解決核間協(xié)同、任務(wù)調(diào)度和安全隔離等關(guān)鍵問(wèn)題，作為硬件與應(yīng)用的橋梁，沒(méi)有它硬件優(yōu)勢(shì)無(wú)法實(shí)現(xiàn)?！?/p>

開(kāi)源小滿V25.10除了多核多分區(qū)升級(jí)，還增強(qiáng)了系統(tǒng)監(jiān)控、內(nèi)存管理、E2E數(shù)據(jù)保護(hù)等功能棧性能和模塊。梁浩強(qiáng)調(diào)：“得益于全面多核支持、性能升級(jí)和功能完善，該版本不僅能支持傳統(tǒng)ECU開(kāi)發(fā)，還能滿足域控制器/區(qū)域控制器等復(fù)雜控制器的需求?！?/p>

應(yīng)用實(shí)踐與生態(tài)建設(shè)：從技術(shù)突破到產(chǎn)業(yè)協(xié)同

開(kāi)源車用操作系統(tǒng)價(jià)值不僅在技術(shù)升級(jí)，更在于推動(dòng)產(chǎn)業(yè)協(xié)同創(chuàng)新。普華基礎(chǔ)軟件通過(guò)開(kāi)源“星輝計(jì)劃”構(gòu)建全流程生態(tài)體系，涵蓋芯片協(xié)同、工程服務(wù)、測(cè)試認(rèn)證、量產(chǎn)應(yīng)用、人才培育。芯片協(xié)同體系聯(lián)合國(guó)內(nèi)外芯片廠商，建立統(tǒng)一接口和驗(yàn)證機(jī)制，推動(dòng)小滿安全車控操作系統(tǒng)與芯片深度適配。面向國(guó)際芯片廠商，積極開(kāi)放合作，洞察中國(guó)汽車軟件市場(chǎng)趨勢(shì)，如普華基礎(chǔ)軟件與英飛凌基于Drive Core合作，近期將完成在TC4Dx的適配。面向國(guó)內(nèi)芯片廠商，協(xié)同創(chuàng)新助力國(guó)產(chǎn)芯片與車用操作系統(tǒng)融合，重點(diǎn)支持RISC - V等自主可控架構(gòu)。

目前，小滿已完成180余款國(guó)內(nèi)外芯片適配，開(kāi)源版本含英飛凌TC397等芯片示例工程。阿里巴巴達(dá)摩院基于小滿完成RISC-V適配，共建全球RISC-V軟硬協(xié)同生態(tài)。

產(chǎn)業(yè)價(jià)值與未來(lái)展望：開(kāi)源模式引領(lǐng)汽車軟件創(chuàng)新

此次開(kāi)源車用操作系統(tǒng)新版本發(fā)布，標(biāo)志著中國(guó)車用操作系統(tǒng)開(kāi)源生態(tài)進(jìn)入新階段。龘微內(nèi)核V2.3提升安全性，筑牢智能駕駛可信根基；小滿V25.10升級(jí)架構(gòu)，釋放硬件潛力，滿足復(fù)雜場(chǎng)景需求。開(kāi)源模式是關(guān)鍵路徑：共建共享避免重復(fù)建設(shè)，開(kāi)放協(xié)作加速創(chuàng)新，生態(tài)聚合推動(dòng)標(biāo)準(zhǔn)與人才。

楊中平強(qiáng)調(diào)，開(kāi)源共建很重要，行業(yè)協(xié)同任務(wù)重。中國(guó)汽車工業(yè)協(xié)會(huì)呼吁國(guó)內(nèi)外企業(yè)及科研機(jī)構(gòu)深化安全為核心的開(kāi)放合作，完善安全標(biāo)準(zhǔn)，推進(jìn)技術(shù)研發(fā)，推動(dòng)產(chǎn)業(yè)高質(zhì)量發(fā)展。