Алгоритмический метод проектирования автоматизированных систем контроля критических приложений

Abstract

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

Запропоновано метод проектування автоматизованих систем контролю (АСК), що ґрунтується на алгоритмічній алгебрі. Ефективність розробленого методу пов'язані з використанням під час створення АСК для критичних додатків теорії рекурсивних автоматів.