Предложен метод моделирования надежности системы на основе алгебры регулярных алгоритмов и теории нечетких множеств. Носителем модели надежности является логико-алгоритмическое описание событий, связанных с возникновением, обнаружением и устранением нарушений (отказов, ошибок) в процессе выполнения системой задачи. Исходными данными для моделирования служат функции принадлежности и нечеткие правила IF-THEN, которые характеризуют правильность выполнения операторных и логических элементов модели в зависимости от измеряемых параметров и влияющих факторов. Качество процедур контроля и коррекции учитывается с помощью операций сжатия-растяжения функций принадлежности. Результат применения метода – многомерная функция принадлежности, дающая распределение правильности выполнения задачи в зависимости от параметров объектов и процессов, из которых состоит система. Для реализации метода разработана нечетко-алгоритмическая алгебра, которая представляет собой формальные правила перехода от операций в алгебре регулярных алгоритмов к соответствующим операциям над функциями принадлежностей операторов и условий.
