Предложен метод преобразования циклических графологических моделей, отражающих поведение отказоустойчивых многопроцессорных систем в потоке отказов, путем модификации их реберных функций. Приведены и доказаны оценки для множества блокируемых векторов состояния системы (т.е. таких векторов, на которых поведение модифицированной модели будет отличаться от базовой). Приведены также оценки для множества блокируемых векторов служебной модели, используемой при построении реберных функций базовой модели. Приведен пример модификации с моделированием предлагаемого метода. Полученное множество блокируемых векторов подтверждает соответствие теоретических оценок практическому результату.

  Повний текст PDF - 301.669 Kb    Зміст випуску     Цитування публікації

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