Rabah M. Methods and means for efficiency increasing of model of behavior of FTMS in a failure flow

This dissertation is devoted to developing new means and methods that allow a more efficient usage of experiments with grapho-logical models of fault-tolerant multiprocessor systems (FTMS) in a failure flow in order to increase the accuracy of calculating their reliability. The author researched the features of two-stable models FTMS and proved a series of statement, which define certain peculiarities of such models and enable a scientist to design models. These models are optimized according to the criteria of minimum of ribs, all of which are disappearing once a system state vector with three zeros is introduced. For FTMS and their general character models the algorithm of minimization is proposed, witch most often allows us to simplify the model. This decrease the experiment time and simultaneously increase their number, which allow increasing accuracy of calculations of FTMS reliability using the method of statistic experiments.