航天飞控软件操作概图开发

Development of Operational Profiles of Spaceflight Control Software Systems

航天飞控软件是具有高可靠性要求的软件系统，对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂，使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例，介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式，并确定每个操作模式所运行的相关软件；然后给出了识别每个软件的操作发起者和操作方法；最后对不同类型的操作给出了确定其发生概率的方法。

Spaceflight control software systems are of very high reliability requirements. Reliability testing is necessary for spaceflight control software systems. But reliability testing has been rarely done for these systems because of different difficulties in technologies and developing methods. Operational profiles are bases for reliability testing. Because it is difficult to develop software operational profiles, developing operational profiles has become one of the main limited factors for reliability testing. This paper introduces the procedures and methods of developing operational profiles for spaceflight control software systems. First, the operational modes determining method is presented. Then, how the operation initiators are identified and how the operation lists are created are introduced. Finally, methods of determining the operation occurrence rates and operation occurrence probabilities are discussed.