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

論壇現(xiàn)場

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

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

胡春明教授在主持論壇

01

專家報告

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

何小慶秘書長在做報告

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

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

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

鄧暢研究員在做報告

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

周霆研究員在做報告

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

牛建偉教授在做報告

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

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

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

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

02

論壇總結(jié)

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