Combined method of Gonets-M spacecraft control multiversion software design

The combined method developed w ithin the framework of goal-oriented approach to software development is proposed to realize multi-version programming of the complex Gonets-M spacecraft control systems, which requires a high level of fault-tolerance. The design of software module version composition supports the base scheme of N-variant programming, as well as RB-block - a scheme of fault-tolerant programming with recovery block.