基于QEMU的ARM Cortex A53虚拟平台构建与实现  

Construction and realization of ARM Cortex A53 virtual platform based on QEMU

作　　者：陈芳 宋雷军 张风玲 高赛军 单昕昕 CHEN Fang;SONG Leijun;ZHANG Fengling;GAO Saijun;SHAN Xinxin(Shanghai Aerospace Computer Technology Research Institute,Shanghai 201109,China)

机构地区：[1]上海航天计算机技术研究所,上海201109

出　　处：《集成电路与嵌入式系统》2024年第12期17-24,共8页Integrated Circuits and Embedded Systems

摘　　要：面对航天领域的嵌入式开发板在应用中存在硬件开发制约软件开发、硬件资源紧张、测试不充分等问题,为某型飞控软件依赖的硬件平台引入虚拟化方案。首先,编写AArch64指令测试集验证QEMU动态翻译可信性,并通过调试、追踪、更改、编译QEMU源码成功挂载Flash,在此基础上,构建虚拟网络打通数据传输链路,新建虚拟外设并通过重构设备驱动、重定向内核驱动确保外设可用,最终获得自定义虚拟机。其次,新建设备模拟器、调整模型机网络通信模式,联调虚拟机、模拟器、模型机确保数据传输正常,从而顺利搭建虚拟平台。接着,设计支持虚拟平台可视化搭建、源码远程调试、目标码覆盖率统计等功能的集成开发环境,提升虚拟平台便捷性和可靠性。最后,观测到某型飞控软件在真实平台和虚拟平台中仿真结果一致,验证了虚拟平台真实可用。In the face of the problems of hardware development constraining software development,hardware resource constraints,and insufficient testing in the application of embedded development boards in the aerospace field,virtualization solutions are introduced for the hardware platform on which a certain type of flight control software depends.Firstly,an AArch64 instruction test set was written to verify the credibility of QEMU dynamic translation,and Flash was successfully mounted by debugging,tracing,changing,and compiling the QEMU source code.Secondly,a new equipment simulator was created,the network communication mode of the model machine was adjusted,and the virtual machine,simulator and model machine were jointly debugged to ensure the normal data transmission,so as to smoothly build a virtual platform.Furthermore,an integrated development environment is designed to support functions such as the visual construction of the virtual platform,remote debugging of source code,target code coverage statistics and to improve the convenience and reliability of the virtual platform.Finally,it is observed that the simulation results of a certain type of flight control software are consistent on both the real platform and the virtual platform,verifying that the virtual platform is real and usable.

关 键 词：QEMU 虚拟平台 指令验证 虚拟外设 自定义集成环境 

分 类 号：V19[航空宇航科学与技术—人机与环境工程]