Development of methods for equivalent transformation of GERT networks for application in multi-version software

Abstract

The usage of information and control systems in various fields of production and research requires a certain level of reliability in the functioning of these systems. One of the most promising and already positively proven methodologies to ensure high reliability and fault tolerance of software is multi-version designing. The greatest value this factor have in the areas where control system failure can result in significant financial and material losses, as well as harm to human health and life.