无人机安全组网系统

电子信息

针对无人机面临的网络与系统层面的安全威胁，在 GF 基础科研、装备预研项目等重大项目支撑下，研发了具有完全自主知识产权的无人机安全防护系统，从无人机系统安全、无人机通信安全、无人机应用安全三大安全需求出发，突破了飞控形式化建模及代码自动生成、安全形式化验证、可信计算、区块链等关键技术，发明了满足安全与安保需求的飞控系统代码自动化生成技术，实现了符合实时性要求的无人机飞控系统安全性验证与运行监控，实现构建了“开发 - 运行 - 维护”的飞控系统全生命周期的一体化一体化无人系统安全防御体系。

截止目前，无人机安全防护系统已经历技术研发、原理样机开发两个阶段，技术成熟度达到 4 级，相关技术已应用于国产大飞机 C919、国产嵌入式操作系统“天脉”，持续深入推进军民融合协同发展。

主要技术指标

在无人机飞行控制系统开发阶段，从安全与安保需求出发，支持对无人机飞控模块进行形式化建模及关键软件组件的代码自动化生成，并且对自动生成的飞控核心代码进行自动化及组合验证，覆盖率不小于 90%；在运行阶段，基于可信计算及分区隔离技术，无人机安全防护系统的动态安全事件响应速度小于 500ms；并且，针对无人机集群以、无人机与地面站通信两种应用场景，支持机 - 站接入认证及批量认证、机群群组密钥管理，安全性至少达到 80bit 安全。

随着无人机在各领域持续的落地应用，其安全防护需求愈加迫切。政府、公安、电力等关系国计民生领域对安全性的需求尤为突出。然而，目前国内外对无人机安全防护的研究存在落后于应用、落后于需求的问题，还未有涵盖无人机各个层面安全防护需求的一体化解决方案。

针对上述问题，团队设计并实现了无人机安全防护系统，面向军民融合领域，为军事国防、航空航天、移动通信等提供安全保障。在军用领域，构建涵盖系统与网络的一体化安全防护机制；在民用领域，与各领域厂商合作，破解无人机行业应用难题，护航无人机安全飞行。