無人機(jī)安全組網(wǎng)系統(tǒng)
針對(duì)無人機(jī)面臨的網(wǎng)絡(luò)與系統(tǒng)層面的安全威脅,在 GF 基礎(chǔ)科研、裝備預(yù)研項(xiàng)目等重大項(xiàng)目支撐下,研發(fā)了具有完全自主知識(shí)產(chǎn)權(quán)的無人機(jī)安全防護(hù)系統(tǒng),從無人機(jī)系統(tǒng)安全、無人機(jī)通信安全、無人機(jī)應(yīng)用安全三大安全需求出發(fā),突破了飛控形式化建模及代碼自動(dòng)生成、安全形式化驗(yàn)證、可信計(jì)算、區(qū)塊鏈等關(guān)鍵技術(shù),發(fā)明了滿足安全與安保需求的飛控系統(tǒng)代碼自動(dòng)化生成技術(shù),實(shí)現(xiàn)了符合實(shí)時(shí)性要求的無人機(jī)飛控系統(tǒng)安全性驗(yàn)證與運(yùn)行監(jiān)控,實(shí)現(xiàn)構(gòu)建了“開發(fā) - 運(yùn)行 - 維護(hù)”的飛控系統(tǒng)全生命周期的一體化一體化無人系統(tǒng)安全防御體系。
截止目前,無人機(jī)安全防護(hù)系統(tǒng)已經(jīng)歷技術(shù)研發(fā)、原理樣機(jī)開發(fā)兩個(gè)階段,技術(shù)成熟度達(dá)到 4 級(jí),相關(guān)技術(shù)已應(yīng)用于國產(chǎn)大飛機(jī) C919、國產(chǎn)嵌入式操作系統(tǒng)“天脈”,持續(xù)深入推進(jìn)軍民融合協(xié)同發(fā)展。
主要技術(shù)指標(biāo)
在無人機(jī)飛行控制系統(tǒng)開發(fā)階段,從安全與安保需求出發(fā),支持對(duì)無人機(jī)飛控模塊進(jìn)行形式化建模及關(guān)鍵軟件組件的代碼自動(dòng)化生成,并且對(duì)自動(dòng)生成的飛控核心代碼進(jìn)行自動(dòng)化及組合驗(yàn)證,覆蓋率不小于 90%;在運(yùn)行階段,基于可信計(jì)算及分區(qū)隔離技術(shù),無人機(jī)安全防護(hù)系統(tǒng)的動(dòng)態(tài)安全事件響應(yīng)速度小于 500ms;并且,針對(duì)無人機(jī)集群以、無人機(jī)與地面站通信兩種應(yīng)用場景,支持機(jī) - 站接入認(rèn)證及批量認(rèn)證、機(jī)群群組密鑰管理,安全性至少達(dá)到 80bit 安全。
西安電子科技大學(xué)
2023-05-04