Minimization of inter-module interface for provision of reliability of multiversion software system

It is shown that the use of a modular principle at the stage of technical design of multiversioning software package is connected to the process of optimization of structure and interactions of the individual components. The authors offer an original definition of the problem of synthesis of multiversioning modular structure of software system that ensures the minimization of inter-module interface. The presented definition of the problem allows to generate a set of components multiversioning modules that are used in the programs of the complexes as arbitrary, and in the pre-set sequence. In this case the set of multiverses meets the specified conditions, ensuring maximum reliability and minimum PC specifications of inter-module interface.