Method of creation and verification of the spacecraft onboard equipment operation model

This article represents the method of creation and verification of a simulation model consisting of graphical structure duplicating the elements of spacecraft onboard equipment and the knowledge base describing the methods of its function. The authors have developed software tools for model building and verification with the help of visual components converting formal description of the model and the knowledge base into interactive graphical images of infographics. The method can be used at any stage of onboard equipment designing, however it is most efficient at the initial stages.