Модели замкнутых многомашинных вычислительных систем со сбое- и отказоустойчивостью на основе репликации задач в условиях возникновения враждебных неисправностей

Рассматриваются ключевые определения, понятия и модели, которые могут быть полезными при организации сбое- и отказоустойчивых вычислений в необслуживаемых многомашинных вычислительных системах с большим числом автономных взаимосвязанных ЦВМ без общей памяти и централизованного управляющего органа, с высокой параллельностью вычислений – одновременным решением на разных ЦВМ различных взаимообменивающихся информацией задач. Эти вычисления должны обеспечивать получение достоверных результатов в условиях возникновения враждебных неисправностей и управляемую деградацию системы при обнаружении отказов.