Abstract: The spacecraft control software is becoming more complex and huge now, which requires higher software reliability and security and leads to higher demands on both reliability design and measure of spacecraft control software. In this paper, a reliability design method, which is suitable for space application, is given and analyzed. Based on a certain aerospace combined with concrete examples of the reliability measure, the software design is proposed.

Key words: spacecraft control software, guidancenavigation control, software reliability design, reliability measure