日前，元心信息科技集團(tuán)有限公司技術(shù)團(tuán)隊(duì)提交的論文《面向混合關(guān)鍵系統(tǒng)的高安全嵌入式虛擬化平臺研究與實(shí)現(xiàn)》被全國抗惡劣環(huán)境計(jì)算機(jī)第三十一屆學(xué)術(shù)年會收錄,，并發(fā)表于《全國抗惡劣環(huán)境計(jì)算機(jī)第三十一屆學(xué)術(shù)年會論文集》,。

         該篇論文以“混合關(guān)鍵系統(tǒng)”“多獨(dú)立級信息/功能安全”“分離內(nèi)核”與“微內(nèi)核”為關(guān)鍵詞。對于寫作背景,，論文指出“在邊緣計(jì)算場景下,，出現(xiàn)了越來越多的混合關(guān)鍵系統(tǒng)?；旌详P(guān)鍵系統(tǒng)需要支持不同的應(yīng)用,，應(yīng)用的實(shí)時性、關(guān)鍵等級,、安全等級等要求不一樣,，因此迫切需要研發(fā)嵌入式虛擬機(jī)多域技術(shù)。”

         在此背景下,，論文首先介紹了虛擬化的發(fā)展歷程以及嵌入式Hypervisor的分類,，重點(diǎn)介紹了分離內(nèi)核的Hypervisor實(shí)現(xiàn),，并引出分離內(nèi)核的相關(guān)概念。隨后介紹了“元心嵌入式虛擬化平臺SyberX”的分離機(jī)制,、微內(nèi)核設(shè)計(jì)特點(diǎn),，在ARMv8平臺上CPU隔離、內(nèi)存隔離,、中斷隔離,、外設(shè)隔離的實(shí)現(xiàn)，以及EAL5+的高安全保障,。最后針對實(shí)際應(yīng)用中的無人機(jī)機(jī)群的同步,，介紹了SyberX的分域方案。

         全國抗惡劣環(huán)境計(jì)算機(jī)第三十一屆學(xué)術(shù)年會評價指出,，該論文在介紹虛擬化的發(fā)展歷程以及嵌入式Hypervisor分類的基礎(chǔ)上,，闡述了SyberX架構(gòu)的分離機(jī)制、微內(nèi)核設(shè)計(jì)特點(diǎn),，具有一定的創(chuàng)新性和較高的應(yīng)用價值,。

         據(jù)了解，元心嵌入式虛擬化平臺SyberX是元心科技在元心智能移動操作系統(tǒng)（SyberOS）成功的基礎(chǔ)上,，面向無人駕駛,、智能座艙、航空航天,、人工智能物聯(lián)網(wǎng)（AIoT）等混合關(guān)鍵領(lǐng)域打造的擁有100%代碼自有率的虛擬化平臺,。該系統(tǒng)具備“時空分區(qū)隔離，支持多異構(gòu)操作系統(tǒng)”“關(guān)鍵子系統(tǒng)調(diào)度確定性及高安全性”等產(chǎn)品特性,，同時對內(nèi)核進(jìn)行了精簡,，所構(gòu)建的形式化模型，能夠進(jìn)一步保證系統(tǒng)的安全可靠,，并且對安全攸關(guān)領(lǐng)域的強(qiáng)實(shí)時應(yīng)用起到支持作用,。

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

         全國抗惡劣環(huán)境計(jì)算機(jī)第三十一屆學(xué)術(shù)年會由中國計(jì)算機(jī)學(xué)會主辦,、中國計(jì)算機(jī)學(xué)會抗惡劣環(huán)境計(jì)算機(jī)專委會承辦,、中國電子科技集團(tuán)公司第三十二研究所協(xié)辦，是業(yè)界一年一度的學(xué)術(shù)盛會,，旨在為本領(lǐng)域搭建學(xué)術(shù)研討,、技術(shù)交流、產(chǎn)業(yè)合作的平臺,，會議圍繞“新時代抗惡劣環(huán)境計(jì)算機(jī)新技術(shù),、新路徑、新發(fā)展”這一主題,，總結(jié),、交流了我國抗惡劣環(huán)境計(jì)算機(jī)最新科研成果，研討分析了抗惡劣環(huán)境計(jì)算機(jī)的發(fā)展重點(diǎn)和技術(shù)途徑,。