2024 CCF中國軟件大會(huì )“工業(yè)嵌入式基礎軟件”論壇成功舉辦

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

論壇現場(chǎng)

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

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

胡春明教授在主持論壇

01

專(zhuān)家報告

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

何小慶秘書(shū)長(cháng)在做報告

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

陳輝博士報告現場(chǎng)

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

鄧暢研究員在做報告

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

周霆研究員在做報告

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

牛建偉教授在做報告

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

薛棟梁副研究員報告現場(chǎng)

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

章樂(lè )平經(jīng)理報告現場(chǎng)

02

論壇總結

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