Специализированная компьютерная система диагностирования и расчёта надёжности реконфигурируемых отказоустойчивых многопроцессорных систем

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