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

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

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

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

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

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

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