Applying software-mathematical models of onboard equipment to develop onboard software

This paper deals with the testing of the functioning logic of spacecraft subsystems at the stage of developing system onboard software. The increasing complexity of the structure and operation logic of spacecraft due to the increased requirements in terms of providing consumers with information services (navigation, satellite monitoring of transport, geodesy, communications etc.) demands maintaining the reliability of uninterrupted operation, the implementation of automated parrying of emergency situations during the operation of spacecraft onboard equipment. In order to meet these requirements, it is necessary to test the interaction of onboard equipment and onboard integrated computing complex software that implements the target-oriented operation of spacecraft onboard systems. In such a case, meeting the requirements for reliability increase of onboard software should not lead to the increase of the manufacturing period of spacecraft. In this work we propose the approach for testing information and logical interaction between onboard equipment and software of a spacecraft onboard integrated computing complex with the use of a laboratory testing sample unit and a software-mathematical model. We described the basic concepts of conducting two-stage testing of onboard software, involving autonomous and system testing on the ground testing complex. The proposed approach is applied as part of the onboard software development cycle in accordance with the standards of the JSC “Academician M.F. Reshetnev “Information Satellite Systems”. The approach proposed in this work helps reduce the number of errors during onboard software development and testing of information and logical interaction between onboard equipment and a spacecraft as a whole in every operation mode.