2024年11月17日上午，CCF中國軟件大會“工業嵌入式基礎軟件”專題論壇在陜西省西安市高新國際會議中心興隆廳成功舉辦。論壇由北京航空航天大學的牛建偉教授、中國航空工業集團公司西安航空計算技術研究所崔西寧研究員和北京航空航天大學胡春明教授共同主持。業界從事科研和產品研發的共300余名專家學者線上和線下出席了論壇交流。

論壇現場

論壇邀請了嵌入式系統聯誼會何小慶秘書長、華東計算技術研究所鄧暢研究員、中國航空工業集團公司西安航空計算技術研究所周霆研究員、北京航空航天大學牛建偉教授、上海交通大學薛棟梁副研究員、華為技術有限公司技術專家陳輝博士和望安科技形式化驗證技術與工具平臺負責人章樂平做了7場專題報告，內容涉及國產嵌入式操作系統產業生態、嵌入式基礎軟件的發展、嵌入式操作系統應用場景、智能工業機器人領域的嵌入式操作系統發展、工業場景中的泛在操作系統、混合關鍵性工業系統、嵌入式系統中的關鍵軟硬件形式化驗證與安全認證等。

論壇主席（左：胡春明教授；中：崔西寧研究員；右：牛建偉教授）

胡春明教授在主持論壇

01

專家報告

嵌入式系統聯誼會秘書長、麥克泰軟件公司創始人何小慶圍繞嵌入式操作系統產業生態展開深入探討，系統梳理了國內外嵌入式操作系統的發展歷程與現狀，分析了中外嵌入式操作系統的差異，并分享了他對國產嵌入式操作系統發展模式與路徑的深刻思考，為產業發展提供了寶貴的見解和參考。

何小慶秘書長在做報告

華為技術有限公司技術專家陳輝博士重點介紹了面向嵌入式場景的 openEuler 版本——openEuler Embedded。他提出了歐拉與鴻蒙深度結合，共同打造數字全場景基礎軟件底座的愿景，并明確了二者在系統架構上的結合方向。陳博士進一步闡釋了這一結合在具體場景中的應用與目標，及其在一機多域、高性能、強實時性和強交互協同計算方面的顯著優勢。

陳輝博士報告現場

華東計算技術研究所鄧暢研究員介紹了嵌入式系統體系結構演變及其關鍵技術問題，指出嵌入式軟件的發展需求是綜合化、服務化、網絡化和智能化。他詳細介紹了自研國產混合異構嵌入式操作系統——銳華嵌入式操作系統的軟件架構，重點討論了虛擬化底座、智能化支持、高安全屬性、混合關鍵部署等特點及其在復雜電子裝備等領域的應用實踐，并展示了其在生態建設與行業應用中的引領作用。

鄧暢研究員在做報告

航空工業計算所周霆研究員，圍繞無人機/無人集群自主作業、有人/無人機體系協同等快閉環智能處理場景，重點分析了端側實時混合智能處理的場景需求，介紹了混合關鍵隔離架構、嵌入式云原生、一體化智能計算服務、內生可信等支撐技術的國內外研究現狀，給出了支持混合關鍵智能處理的嵌入式操作系統能力特征和架構定義，并對關鍵技術的解決思路進行了分析和探討。

周霆研究員在做報告

北京航空航天大學的牛建偉教授以智能機器人應用為切入點，深入探討嵌入式操作系統的應用前景。他介紹了智能機器人的組成與發展現狀，分析了當前嵌入式操作系統在智能機器人應用中面臨的主要挑戰。重點講解了大語言模型協同、三維場景感知建圖、智能體自主導航規劃等基于智能機器人操作系統的具身智能技術，并對混合部署的嵌入操作系統在智能工業機器人領域的應用做出展望。

牛建偉教授在做報告

上海交通大學的薛棟梁副研究員結合工業泛在計算場景，深入分析當前工業領域中宏內核架構操作系統所面臨的挑戰，提出微內核架構作為解決方案的優勢。他詳細介紹了基于矽璓微內核的操作系統軟硬件架構，展示了其在智能終端中的實際應用及其在工業場景中的實踐成果。

薛棟梁副研究員報告現場

望安科技技術經理章樂平報告了關鍵軟硬件的形式化驗證與高安全級認證這一主題，指出了形式化驗證應用于高安全級認證中的難點問題，介紹了望安科技針對這些問題推出的工具，重點討論了這些工具中所涉及的核心技術以及如何應用于高安全級認證過程中，最后分別展示了工具在航空航天、汽車、軌道交通等軟硬件關鍵領域的應用以及產生的效果。

章樂平經理報告現場

02

論壇總結

嵌入式系統的發展正不斷推動數字化、智能化進程，但依然面臨架構優化、生態建設和多場景適配等諸多挑戰。本次論壇全面覆蓋了國產嵌入式操作系統的發展模式、工業和智能領域的操作系統應用、關鍵技術挑戰與解決路徑等熱點話題。與會專家系統梳理了嵌入式操作系統的歷史與現狀，分析了不同應用場景中的需求特性，提出了適應未來智能化、網絡化發展的架構設計與技術方案，為國產嵌入式操作系統在工業、智能機器人、航天等領域的突破提供了重要啟示。