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

来源：计算机测量与控制杂志2024年第5期北京时间：

作者：王赛亚,吴小明,邓玉欣

单位：华东师范大学 上海市高可信计算重点实验室

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

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