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