关键词: 航天器控制软件, 导航制导控制, 软件可靠性设计, 可靠性度量

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