Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления

Аннотация

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