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

論壇現(xiàn)場

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

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

胡春明教授在主持論壇

01

專家報告

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

何小慶秘書長在做報告

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

陳輝博士報告現(xiàn)場

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

鄧暢研究員在做報告

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

周霆研究員在做報告

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

牛建偉教授在做報告

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

薛棟梁副研究員報告現(xiàn)場

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

章樂平經(jīng)理報告現(xiàn)場

02

論壇總結

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