10月24日，在“AI構建世界,智能引領未來”為主題的長沙1024程序員節活動現場，開源智能駕駛操作系統微內核龘EasyAda V2.3與開源安全車控操作系統小滿EasyXMen V25.10新版本正式發布。同期，北京中國汽車工業協會發布廳內，新版本媒體說明會同步召開，雙城聯動見證中國車用操作系統開源生態的關鍵迭代。此次發布不僅是對程序員的致敬，更是對汽車產業智能化轉型深水區核心需求的有力回應——以安全技術突破和多核架構升級為核心，為汽車軟件定義未來奠定堅實基礎。

在全球汽車產業邁向“智能化、網聯化”的下半場，亟需構建開源、開放的全棧式操作系統，實現與異構芯片的軟硬件協同，從而為智能網聯汽車發展奠定堅實基礎。值得關注的是，從戰略構想到產業實踐，“開源”正成為貫穿始終的關鍵紐帶。2023年2月，中國汽車工業協會發布了行業首個“中國車用操作系統開源共建計劃”，其核心目標是依托開源平臺發掘優質項目，凝聚生態力量，促進技術創新，并構建安全的開源生態體系，從技術底層筑牢產業安全屏障。

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

操作系統是構建智能網聯汽車生態體系的關鍵

智能網聯汽車是新一代科技革命的重要載體，其發展正面臨多重挑戰：低水平重復建設導致內耗式競爭;生態系統封閉性限制創新;技術更新速度跟不上市場需求;跨領域人才嚴重短缺;以及新架構下整車廠對操作系統提出更高要求。

操作系統銜接上層應用軟件生態和底層硬件資源，是構建智能網聯汽車生態體系的關鍵。然而，操作系統的開發是技術、資金、生態三重壁壘疊加的超復雜工程，需要長期資源投入與技術沉淀。

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

開源龘微內核V2.3

以形式化驗證技術筑牢安全防線，實現可靠性飛躍

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

形式化驗證：從“抽樣檢測”到“數學證明”的安全革命

形式化驗證是一種基于數學模型的軟件正確性保障方法。與傳統軟件測試方法有本質區別：傳統測試如代碼審查、軟件測試等，類似于“抽樣檢查”，正如計算機科學家艾茲赫爾·迪杰斯特拉所言：“測試只能表明程序中存在錯誤，而不能表明程序中沒有錯誤。”

形式化驗證通過建立數學模型定義的軟件系統行為規范(形式化規約)，再用數學方法證明軟件系統符合行為規范。這意味著它能夠覆蓋可能的輸入和系統狀態，確保軟件的可能行為都經過驗證。形式化驗證還能夠在設計和編碼階段進行，以便于更早發現問題，減少后期錯誤修復的成本。

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

開源龘微內核V2.3：安全性提升

開源龘微內核采用第三代微內核架構，相比與傳統的宏內核在安全性上有優勢。宏內核架構中所有系統服務都在內核態執行，包括文件系統、設備驅動等，并且系統服務之間緊密耦合，一個模塊出錯可能會影響整個系統。而微內核架構在內核態只執行最小化的關鍵系統服務，大量的系統服務在用戶態執行，并且相互之間獨立隔離。 開源龘微內核V2.3進一步強化這些優勢：針對線程調度和異常處理等關鍵代碼進行了形式化驗證，解決了發現的問題，顯著提升了系統穩定性和安全性。同時新增了擴展訪問控制機制，進一步完善了微內核的安全模型。

開源龘微內核V2.3的安全性提升可以滿足高安全等級行業認證要求。ISO 26262《道路車輛功能安全》和ISO/IEC 15408《通用信息技術安全評估標準》都對形式化技術提出了明確要求或建議。開源龘微內核整體可通過ISO 26262 ASIL-D、CC EAL 5+等高安全等級認證，為智能駕駛系統提供安全可信的底座。

開源小滿V25.10

多核多分區架構釋放硬件潛力，賦能復雜車控場景

開源小滿EasyXMen作為全球首個規模化、量產級安全車控操作系統，于2024年10月24日正式上線。本次發布的V25.10版本以多核多分區為核心升級，應對車規MCU從單核向多核演進的技術趨勢。

隨著汽車電子發展，車規MCU正經歷從單核到多核的演進。單核時代主要依靠頻率提升，功能單一專用，對應ECU分布式架構;雙核過渡階段出現主從鎖步架構，支持功能安全冗余設計;如今進入多核時代，采用異構多核架構，支持安全隔離和復雜任務并行處理，對應域控制器集中化趨勢。

這種演進由性能需求、功能安全、功耗限制和系統整合等技術因素驅動。然而，多核硬件需要適配的軟件才能發揮性能優勢。

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

開源小滿V25.10：全面功能升級與性能提升

除了多核多分區升級，開源小滿V25.10還在多個方面實現增強：包括OS新增系統監控功能、智能內存分配管理功能、E2E數據保護機制增強、功能棧模塊全面升級、功能棧性能全面提升等。實測數據顯示，功能棧模塊RAM空間占用優化31.92%，Flash空間占用優化0.63%;多核通信方面，CAN、ETH跨核效率優化29.10%;數據存儲效率優化17.47%;RTE通訊效率優化31.24%。

梁浩強調：“得益于開源小滿EasyXMen V25.10的全面多核支持、性能升級和功能完善，該版本除了支持傳統ECU開發之外，還能滿足域控制器/區域控制器等復雜控制器的開發需求。”

應用實踐與生態建設從技術突破到產業協同

開源車用操作系統的價值不僅體現在技術升級，更在于其推動產業協同創新的能力。普華基礎軟件通過開源“星輝計劃”，構建了覆蓋芯片協同、工程服務、測試認證、量產應用、人才培育的全流程生態體系。其中，芯片協同體系將聯合國內外芯片廠商，建立統一接口和驗證機制，推動小滿安全車控操作系統與芯片的深度適配。面向國際芯片廠商，積極開展開放合作，共同洞察中國汽車軟件市場趨勢。梁浩介紹，普華基礎軟件與英飛凌基于Drive Core開展深度合作，近期將完成在TC4Dx 的適配工作。面向國內芯片廠商，通過協同創新助力國產芯片與車用操作系統深度融合，重點支持RISC-V等自主可控架構。

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

產業價值與未來展望

開源模式引領汽車軟件創新

在復雜汽車軟件領域，單一企業難以覆蓋所有技術環節。開源模式通過共建共享，快速集聚行業力量，建立上下游生態和開源根社區，而開源項目是技術共享平臺和創新孵化器。全球開發者可以基于開源系統進行創新優化，推動行業技術進步。

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

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