面向机载雷达综合处理的演示验证系统设计与实现

为了支撑机载典型雷达信号处理和数据处理应用在基于国产CPU和FPGA的处理平台中的功能性能验证,在地面验证、上机验证前预先评估典型航电雷达处理应用与国产化平台的适配能力,设计并实现了一个面向机载雷达综合处理的演示验证系统。演示系统硬件平台基于国产CPU主处理器和国产FPGA协处理器,使用FPGA对信号处理、数据处理算法进行异构加速,FPGA的灵活性可支持系统中自由部署多种不同数据规模、不同类型特点的雷达信号和数据处理应用,支持应用重构。同时,开发了仿真信号生成、仿真图像显示、雷达综合处理演示应用等配套软件,所设计实现的系统可支持从生成仿真雷达接收信号到仿真目标图像显示的全过程演示验证。

基于AADL的跨域信息系统的设计与验证方法

根据美国国防部赛博安全过程的要求,研究人员提出了基于AADL的跨域信息系统的设计方法。在扩展AADL安全属性集的基础上,实现了数据收发、收发验证、数据加密等一系列功能。以简化组件端口、支持域间交互、统一加解密属性为优化导向,进一步扩展AADL安全属性集,凝练一致性规则与加解密规则,提出一种新的跨域信息系统设计方法与验证方法,并开发相应工具验证了设计方法的一致性与加解密性能。