Bio-inspired information technology for multi-version design of highly reliable software systems

The main result of the research is the creation of a new model of multiversion design of highly reliable software systems, which allows taking into account the real-time mode in the operation of programs that are part of reliability critical applications. The problem of multiversion design of the highly reliable software systems is presented in the form of the well-known problem of covering the set, which made it possible to use bioinspired algorithms, in particular, ant colony algorithms, to solve it. The decision rule of the ant colony algorithm has been modified, which provides support for the implementation of bioinspired information technology, taking into account changes in the structure of the software system in real time. The proposed model and the performed modifications of the ant colony algorithm are the basis for the creation of new tools that implement software and algorithmic support for the effective multiversion design of the highly reliable software systems in real time.