Fully Digital Simulation Development and Verification Platform for Satellite Embedded Software
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 controlla-ble solutions,a fully digital simulation development and verification platform for satellite embedded software is established.This plat-form 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 A 6017 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 hard-ware-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.
LinuxQEMUSPARC V8SOC2012embedded softwarefully digital simulation
万方数据
维普
