Models of closed multimachine computer systems with transient-fault-tolerance and fault-tolerance on the basis of replication under byzantine faults

Consideration was given to the key definitions, notions, and models that may be useful for transient-fault-tolerant and fault-tolerant computing in the unmanned multimachine computer systems having many interconnected autonomous computers without shared memory and centralized control organ and operating with high degree of computational parallelism, that is, executing on different computers simultaneously various tasks which interchange their information. These computations should establish reliable results under byzantine faults and controllable degradation of the system at detection of faults.