無人機安全組網系統

電子信息

針對無人機面臨的網絡與系統層面的安全威脅，在 GF 基礎科研、裝備預研項目等重大項目支撐下，研發了具有完全自主知識產權的無人機安全防護系統，從無人機系統安全、無人機通信安全、無人機應用安全三大安全需求出發，突破了飛控形式化建模及代碼自動生成、安全形式化驗證、可信計算、區塊鏈等關鍵技術，發明了滿足安全與安保需求的飛控系統代碼自動化生成技術，實現了符合實時性要求的無人機飛控系統安全性驗證與運行監控，實現構建了“開發 - 運行 - 維護”的飛控系統全生命周期的一體化一體化無人系統安全防御體系。

截止目前，無人機安全防護系統已經歷技術研發、原理樣機開發兩個階段，技術成熟度達到 4 級，相關技術已應用于國產大飛機 C919、國產嵌入式操作系統“天脈”，持續深入推進軍民融合協同發展。

主要技術指標

在無人機飛行控制系統開發階段，從安全與安保需求出發，支持對無人機飛控模塊進行形式化建模及關鍵軟件組件的代碼自動化生成，并且對自動生成的飛控核心代碼進行自動化及組合驗證，覆蓋率不小于 90%；在運行階段，基于可信計算及分區隔離技術，無人機安全防護系統的動態安全事件響應速度小于 500ms；并且，針對無人機集群以、無人機與地面站通信兩種應用場景，支持機 - 站接入認證及批量認證、機群群組密鑰管理，安全性至少達到 80bit 安全。

隨著無人機在各領域持續的落地應用，其安全防護需求愈加迫切。政府、公安、電力等關系國計民生領域對安全性的需求尤為突出。然而，目前國內外對無人機安全防護的研究存在落后于應用、落后于需求的問題，還未有涵蓋無人機各個層面安全防護需求的一體化解決方案。

針對上述問題，團隊設計并實現了無人機安全防護系統，面向軍民融合領域，為軍事國防、航空航天、移動通信等提供安全保障。在軍用領域，構建涵蓋系統與網絡的一體化安全防護機制；在民用領域，與各領域廠商合作，破解無人機行業應用難題，護航無人機安全飛行。