本報記者 劉釗

    10月24日，在“AI構建世界，智能引領未來”為主題的長沙1024程序員節(jié)活動現(xiàn)場，開源智能駕駛操作系統(tǒng)微內核龘EasyAda V2.3與開源安全車控操作系統(tǒng)小滿EasyXMen V25.10新版本正式發(fā)布。

    同期，在北京的中國汽車工業(yè)協(xié)會發(fā)布廳內，新版本媒體說明會同步召開，雙城聯(lián)動見證中國車用操作系統(tǒng)開源生態(tài)的關鍵迭代。此次發(fā)布不僅是對程序員的致敬，更是對汽車產(chǎn)業(yè)智能化轉型深水區(qū)核心需求的有力回應——以安全技術突破和多核架構升級為核心，為汽車軟件定義未來奠定堅實基礎。

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

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

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

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

    普華基礎軟件戰(zhàn)略研究院副院長肖堃解釋道：“在安全關鍵系統(tǒng)如智能汽車、飛機、eVTOL等領域，軟件正確性至關重要。形式化驗證能夠發(fā)現(xiàn)深層次錯誤，如復雜邏輯錯誤、不符合規(guī)范的狀態(tài)轉換等，這是傳統(tǒng)測試難以做到的。”

    開源龘微內核V2.3的安全性提升可以滿足高安全等級行業(yè)認證要求。開源龘微內核整體可通過ISO 26262 ASIL-D、CC EAL 5+等高安全等級認證，為智能駕駛系統(tǒng)提供安全可信的底座。

    開源小滿V25.10：多核多分區(qū)架構釋放硬件潛力 賦能復雜車控場景

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

    普華基礎軟件戰(zhàn)略研究院總監(jiān)梁浩博士指出：“MCU多核軟件的核心作用是最大化釋放多核硬件的并行計算能力，同時解決核間協(xié)同、任務調度、安全隔離等關鍵問題。它是連接多核硬件架構與實際車載應用的‘橋梁’，沒有適配的多核軟件，多核硬件的性能優(yōu)勢會完全無法落地。”

    開源小滿V25.10在多核多分區(qū)功能上實現(xiàn)重大突破。新版本支持通信棧、存儲棧、診斷棧等核心功能棧在可信分區(qū)上的多核部署，通過智能負載均衡，充分利用硬件并發(fā)特性，有效降低單核負載率，實現(xiàn)實時性與資源利用率的平衡。

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

    開源車用操作系統(tǒng)的價值不僅體現(xiàn)在技術升級，更在于其推動產(chǎn)業(yè)協(xié)同創(chuàng)新的能力。普華基礎軟件通過開源“星輝計劃”，構建了覆蓋芯片協(xié)同、工程服務、測試認證、量產(chǎn)應用、人才培育的全流程生態(tài)體系。

    芯片協(xié)同體系將聯(lián)合國內外芯片廠商，建立統(tǒng)一接口和驗證機制，推動小滿安全車控操作系統(tǒng)與芯片的深度適配。面向國際芯片廠商，積極開展開放合作，共同洞察中國汽車軟件市場趨勢。梁浩介紹，普華基礎軟件與英飛凌基于Drive Core開展深度合作，近期將完成在TC4Dx的適配工作。面向國內芯片廠商，通過協(xié)同創(chuàng)新助力國產(chǎn)芯片與車用操作系統(tǒng)深度融合，重點支持RISC-V等自主可控架構。

    目前，小滿已完成180余款國內國際芯片適配，開源版本中包括英飛凌TC397、恩智浦S32K148和瑞薩RH850 U2A16等芯片示例工程。阿里巴巴達摩院基于小滿完成RISC-V適配，并共同建設面向全球的RISC-V軟硬協(xié)同生態(tài)。

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

    此次開源車用操作系統(tǒng)新版本發(fā)布，標志著中國車用操作系統(tǒng)開源生態(tài)進入新階段。開源龘微內核V2.3通過形式化驗證技術實現(xiàn)安全性提升，為智能駕駛系統(tǒng)筑牢可信根基；開源小滿V25.10通過多核多分區(qū)架構升級，釋放硬件性能潛力，滿足域控制器等復雜場景需求。從產(chǎn)業(yè)視角看，開源模式正成為破解汽車軟件發(fā)展瓶頸的關鍵路徑：通過共建共享，避免低水平重復建設；通過開放協(xié)作，加速技術創(chuàng)新迭代；通過生態(tài)聚合，推動標準制定與人才培養(yǎng)。

    楊中平強調，開源共建意義重大，行業(yè)協(xié)同任重道遠。中國汽車工業(yè)協(xié)會呼吁，國內外行業(yè)企業(yè)和科研機構等，在電動化、智能化領域深化以“安全”為核心的開放合作與融合發(fā)展，共同完善車用操作系統(tǒng)功能安全、信息安全標準，共同推進智能網(wǎng)聯(lián)底座安全技術研發(fā)，推動全球汽車產(chǎn)業(yè)在安全的軌道上實現(xiàn)高質量發(fā)展。

（編輯 張明富）