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

Fully Digital Simulation Development and Verification Platform for Satellite Embedded Software

作　　者：王赛亚 吴小明[2] 邓玉欣 WANG Saiya;WU Xiaoming;DENG Yuxin(Shanghai Highly Trusted Computing Laboratory,East China Normal University,Shanghai 200062,China;Beijing Institute of Control Engineering,Beijing 100190,China)

机构地区：[1]华东师范大学上海市高可信计算重点实验室,上海200062 [2]北京控制工程研究所,北京100190

出　　处：《计算机测量与控制》2024年第5期302-311,共10页Computer Measurement &Control

摘　　要：为了应对当前航天器软件功能日趋复杂与软件研制周期短、对软件可靠性和安全性要求高的矛盾,同时为了满足国产化自主可控的需求,在国产Linux操作系统下,以QEMU的SPARC V8指令集模拟器为基础,解决了SOC2012片内外设与A6017仿真等关键问题,搭建了一种星载嵌入式软件全数字仿真开发验证平台;提出了通过共享内存解决方案,提高QEMU指令集仿真内核对外围IO空间读写仿真效率;该平台已经用于某卫星型号控制分系统软件和星务软件测试,相较于基于硬件的测试平台,该平台具有更好的可重用性和快速搭建性,能够大大降低硬件测试的风险和成本,同时具备更强的可控性以及更丰富的调试和测试手段。To address the contradictions between the increasing complexity of spacecraft software functions,short development cycles,and high requirements for software reliability and security,as well as to meet demands for domestic independent and controllable solutions,a fully digital simulation development and verification platform for satellite embedded software is established.This platform is based on a domestic Linux operating system,the SPARC V8 instruction set simulator of quick emulator(QEMU)is applied to solve critical issues such as the simulation of SOC2012 on-chip peripherals and A6017 chip.A shared memory solution is proposed to improve the reading and writing simulation efficiency of QEMU instruction set simulation kernel on peripheral IO space.This platform is applied in the testing of control subsystem software and satellite mission software for a certain satellite model.Compared with hardware-based test platforms,this platform has 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.

关 键 词：LINUX QEMU SPARC V8 SOC2012 嵌入式软件 全数字仿真 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]