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