无人机安全组网系统
针对无人机面临的网络与系统层面的安全威胁,在 GF 基础科研、装备预研项目等重大项目支撑下,研发了具有完全自主知识产权的无人机安全防护系统,从无人机系统安全、无人机通信安全、无人机应用安全三大安全需求出发,突破了飞控形式化建模及代码自动生成、安全形式化验证、可信计算、区块链等关键技术,发明了满足安全与安保需求的飞控系统代码自动化生成技术,实现了符合实时性要求的无人机飞控系统安全性验证与运行监控,实现构建了“开发 - 运行 - 维护”的飞控系统全生命周期的一体化一体化无人系统安全防御体系。
截止目前,无人机安全防护系统已经历技术研发、原理样机开发两个阶段,技术成熟度达到 4 级,相关技术已应用于国产大飞机 C919、国产嵌入式操作系统“天脉”,持续深入推进军民融合协同发展。
主要技术指标
在无人机飞行控制系统开发阶段,从安全与安保需求出发,支持对无人机飞控模块进行形式化建模及关键软件组件的代码自动化生成,并且对自动生成的飞控核心代码进行自动化及组合验证,覆盖率不小于 90%;在运行阶段,基于可信计算及分区隔离技术,无人机安全防护系统的动态安全事件响应速度小于 500ms;并且,针对无人机集群以、无人机与地面站通信两种应用场景,支持机 - 站接入认证及批量认证、机群群组密钥管理,安全性至少达到 80bit 安全。
西安电子科技大学
2023-05-04