星载嵌入式软件全数字仿真开发验证平台

A Fully Digital Simulation Development and Verification Platform for On-board Embedded Software

摘要:

为了应对当前航天器软件功能日趋复杂与软件研制周期短、对软件可靠性和安全性要求高的矛盾，同时为了满足国产化自主可控的需求，在国产Linux操作系统下，以QEMU的 SPARC V8指令集模拟器为基础，解决了SOC2012片内外设与A6017仿真等关键问题，搭建了一种星载嵌入式软件全数字仿真开发验证平台；提出了通过共享内存解决方案，提高QEMU指令集仿真内核对外围IO空间读写仿真效率；该平台已经用于某卫星型号控制分系统软件和星务软件测试，相较于基于硬件的测试平台，该平台具有更好的可重用性和快速搭建性，能够大大降低硬件测试的风险和成本，同时具备更强的可控性以及更丰富的调试和测试手段。

Abstract:

To address the contradiction between the increasing complexity of spacecraft software functions, the short development cycles, and the high requirements for software reliability and security, as well as to meet the demands for domestic independent and controllable solutions, a fully digital simulation development and verification platform for satellite embedded software was established. This platform is based on a domestic Linux operating system, utilizing the SPARC V8 instruction set simulator of QEMU to address critical issues such as the simulation of SOC2012 on-chip peripherals and the A6017 chip. A shared memory solution is proposed to improve the efficiency of QEMU instruction set simulation kernel"s reading and writing simulation of peripheral IO space. This platform has been applied in the testing of control subsystem software and satellite mission software for a specific satellite model. Compared with hardware-based test platforms, this platform offers better reusability and rapid deployment capabilities, significantly reducing the risks and costs associated with hardware testing. Additionally, it provides stronger controllability, as well as richer debugging and testing methods.