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