嵌入式高可靠星务管理软件设计与验证

Design and Verification of High Reliable Embedded Satellite Mission Management Software

针对某型号小卫星在空间飞行可能面临的硬件和软件故障,设计星载计算机星务管理软件,分析其可靠性。该星载计算机采用双机冗余设计,使用双机通信保持主备份机切换时的系统运行状态,通过软件可靠性技术实现空间环境下部分硬件暂态错误的容错。空间飞行测试结果证明该星务管理软件安全可靠,使卫星完成了预定的任务。

Aiming at the hardware and software fault Chinese first micro-satellite may face,this paper introduces the dependable technology of On-Board Data Handling（OBDH） software.The on-board computer is designed as dual-computer system.When the switch happens between host and standby computer,the normal running of satellite can be kept by dual-computer communication.The main function of the satellite software is shown,and the OBDH software is projected.The paper illustrates the module design and the function of OBDH software,and the running mode of OBDH software is explained.The software reconstruction method after host computer failure is presented.The satellite fulfills the expectation aim,and the On-Board Computer（OBC） does good job as desire,so the design of OBDH software is safe and reliable.