Рассмотрена GL-модель отказоустойчивой многопроцессорной системы, которая теряет минимальное количество ребер при появлении вектора состояния системы, включающего один лишний отказ. Сделано обобщение утверждения об условиях одновременного пропадания той или иной пары ребер при появлении такого вектора. Представлены оценки сложности преобразования GL-модели базовой отказоустойчивой многопроцессорной системы путем введения дополнительных ребер. Они позволяют разработчику ОМС оценить необходимые ресурсы (вычислительные и временные) для расчета надежности статистическими методами с требуемой точностью на этапе ее проектирования.

 Наукова періодика України 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"