Multiversion model of software control systems for space vehicles with range of decision-making

The paper presents a multiversion model with ranking of alternatives in order of preference, taking into account the dependence of the attributes in the design of software for spacecraft control systems of various classes. The applied software with a set of algorithms, based on the general scheme of the method of branches and borders allow to determine the exact solution of the optimization problem. To achieve the highest reliability of the software component of spacecraft control systems built with the use of multiversion programming methodology, a large number of versions of software modules are combined into a single structure. While software complexes even without introduction of redundant elements are characterized as complex systems, there is no need to speak about wide use of enumerative methods for their formation. Using the proposed modified method of ordered preference through similarity to an ideal solution, will allow to solve the problem of choosing the best computing system from a number of available systems. This approach is becoming increasingly possible because of the tremendous progress in computing design and manufacturing technology. Even the so-called personal computers provide computational capabilities that some time ago seemed impossible even for computers representing a much more powerful class of computing equipment - supercomputers.