開源車用操作系統新版發布：筑牢智能汽車安全基座，多核多分區功能升級

近日，在長沙“AI構建世界,智能引領未來”1024程序員節上，開源智能駕駛操作系統微內核龘EasyAda V2.3與開源安全車控操作系統小滿EasyXMen V25.10新版本發布。同期，北京中國汽車工業協會舉行新版本媒體說明會，雙城聯動見證中國車用操作系統開源生態的關鍵進展。

全球汽車產業正邁向智能化、網聯化，亟需構建開源開放的全棧操作系統，實現軟硬件協同，為智能網聯汽車發展奠定基礎。值得注意的是，“開源”已成為貫穿從戰略到實踐的核心紐帶。2023年2月，中國汽車工業協會推出“中國車用操作系統開源共建計劃”，旨在通過開源平臺匯聚生態力量，推動技術創新，構建安全生態體系，筑牢產業安全基礎。

中國汽車工業協會副秘書長楊中平致辭

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

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

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

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

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

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

普華基礎軟件戰略研究院副院長肖堃博士致辭

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

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

普華基礎軟件戰略研究院總監梁浩博士致辭

普華基礎軟件戰略研究院總監梁浩博士指出：“MCU多核軟件的核心是釋放多核硬件并行計算能力，解決核間協同、任務調度和安全隔離等關鍵問題，作為硬件與應用的橋梁，沒有它硬件優勢無法實現。”

開源小滿V25.10除了多核多分區升級，還增強了系統監控、內存管理、E2E數據保護等功能棧性能和模塊。梁浩強調：“得益于全面多核支持、性能升級和功能完善，該版本不僅能支持傳統ECU開發，還能滿足域控制器/區域控制器等復雜控制器的需求。”

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

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

目前，小滿已完成180余款國內外芯片適配，開源版本含英飛凌TC397等芯片示例工程。阿里巴巴達摩院基于小滿完成RISC-V適配，共建全球RISC-V軟硬協同生態。

產業價值與未來展望：開源模式引領汽車軟件創新

此次開源車用操作系統新版本發布，標志著中國車用操作系統開源生態進入新階段。龘微內核V2.3提升安全性，筑牢智能駕駛可信根基；小滿V25.10升級架構，釋放硬件潛力，滿足復雜場景需求。開源模式是關鍵路徑：共建共享避免重復建設，開放協作加速創新，生態聚合推動標準與人才。

楊中平強調，開源共建很重要，行業協同任務重。中國汽車工業協會呼吁國內外企業及科研機構深化安全為核心的開放合作，完善安全標準，推進技術研發，推動產業高質量發展。