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

Аннотация

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