Romankevych V. Methods and means of dependability technical characteristics` estimation for complex objects` control fault-tolerant multiprocessor systems

The problem of an organization of self-test of fault-tolerant multiprocessor systems (FTMS) of control is considered, a row of methods of increasing of efficiency of self-testing for different topology of links is offered. The principles of creation of graph-logical models (GL-models) which display behavior of FTMS in a failure flow are considered. Methods of formation of such models which feature is attributing of Boolean functions to a graph branch, their minimization and conversion by introduction of additional branches or by changeover of rib functions are offered. Boundaries of such conversions are defined. Methods of calculation of probability of fault-less operation of fault-tolerant multiprocessor systems by execution of statistical experiments with GL-models and determination of calculation error are offered. The method of reliability augmentation of fault-tolerant multiprocessor systems internal reserves using, and also a method of calculation of level of technical safety of the multiprocessor systems with using of GL-models is offered. Methods of synthesis of generators of the pseudorandom equilibrium vectors oriented on execution of statistical experiments with GL-models are offered.