slot-gacor

         日前，元心信息科技集團有限公司技術團隊提交的論文《面向混合關鍵系統的高安全嵌入式虛擬化平台研究與實現》被全國抗惡劣環境計算機第三十一屆學術年會收錄，並發表于《全國抗惡劣環境計算機第三十一屆學術年會論文集》。

         該篇論文以“混合關鍵系統”“多獨立級信息/功能安全”“分離內核”與“微內核”為關鍵詞。對于寫作背景，論文指出“在邊緣計算場景下，出現了越來越多的混合關鍵系統。混合關鍵系統需要支持不同的應用，應用的實時性、關鍵等級、安全等級等要求不一樣，因此迫切需要研發嵌入式虛擬機多域技術。”

         在此背景下，論文首先介紹了虛擬化的發展歷程以及嵌入式Hypervisor的分類，重點介紹了分離內核的Hypervisor實現，並引出分離內核的相關概念。隨後介紹了“元心嵌入式虛擬化平台SyberX”的分離機制、微內核設計特點，在ARMv8平台上CPU隔離、內存隔離、中斷隔離、外設隔離的實現，以及EAL5+的高安全保障。最後針對實際應用中的無人機機群的同步，介紹了SyberX的分域方案。

         全國抗惡劣環境計算機第三十一屆學術年會評價指出，該論文在介紹虛擬化的發展歷程以及嵌入式Hypervisor分類的基礎上，闡述了SyberX架構的分離機制、微內核設計特點，具有一定的創新性和較高的應用價值。

         據了解，元心嵌入式虛擬化平台SyberX是元心科技在元心智能移動操作系統（SyberOS）成功的基礎上，面向無人駕駛、智能座艙、航空航天、人工智能物聯網（AIoT）等混合關鍵領域打造的擁有100%代碼自有率的虛擬化平台。該系統具備“時空分區隔離，支持多異構操作系統”“關鍵子系統調度確定性及高安全性”等產品特性，同時對內核進行了精簡，所構建的形式化模型，能夠進一步保證系統的安全可靠，並且對安全攸關領域的強實時應用起到支持作用。

         這篇論文是集體智慧的結晶，在元心科技首席科學家鄒仕洪的指導下，元心科技技術骨干王艷偉、姜哲、張廣偉對論文的成文做出了巨大貢獻。作為國產智能移動操作系統的開拓者和研發者，元心科技一直以“自主可控、自主替代、自主發展”為目標，致力于國產安全操作系統——元心智能移動操作系統SyberOS（元心系統）的研發和產業化發展，已連續為政務、公安、司法、國防、金融、電力、水利等重點領域用戶提供了多個量身定制且優質高效的安全解決方案。

         全國抗惡劣環境計算機第三十一屆學術年會由中國計算機學會主辦、中國計算機學會抗惡劣環境計算機專委會承辦、中國電子科技集團公司第三十二研究所協辦，是業界一年一度的學術盛會，旨在為本領域搭建學術研討、技術交流、產業合作的平台，會議圍繞“新時代抗惡劣環境計算機新技術、新路徑、新發展”這一主題，總結、交流了我國抗惡劣環境計算機最新科研成果，研討分析了抗惡劣環境計算機的發展重點和技術途徑。