Highly reliable on-board computer software design and verification for space radiation

In this paper, the on-board computer software and its reliability design of a micro-satellite are analyzed. Because the satellites can’t be repaired while flying in the space, it should be as reliable as possible. The micro-satellite on-board computer adopts the dual-computer redundancy method, and uses the dual-computer communication to realize the system operation state recovery and hold when the host and standby computer switch, and some reliability design of the computer hardware in the space environment is realized and completed by the software. The space flight test proves that the micro-satellite on-board computer software is safe and reliable. This paper introduces the main features of the microsatellite's On-board Data Handling software and the reliability design technology adopted, which reflects the microsatellite's On-Board Data Handling software's main design technology in terms of reliability.