repairable systems.

Modern complex mission-critical systems are built as fault-tolerant systems, i.e. having the ability to function while some of their separate elements have a fault. The complexity of such fault-tolerant systems makes their reliability models quite big and complex. Therefore, such requirements for building models, as the high level of credibility and the appropriate level of formalization, are imposed on these models, which allows to implement the automation to their creating and analysis of reliability and, therefore, using modern computer tools.