abstract: Международный стандарт IЕС 61499 в области промышленной автоматизации вводит класс систем управления нового поколения, которые характеризуются как разумные реконфигурируемые распределенные компонентно-базированные системы. Стандарт IEC 61499 поддерживает парадигму проектирования на основе функциональных блоков (ФБ). Одной из наиболее важных моделей выполнения ФБ является циклическая модель. Отсутствие точно определенной формальной семантики для циклической модели выполнения может негативно отразиться на качестве проектируемого управляющего программного обеспечения, в частности, это может затруднить проведение верификации и имитационного моделирования систем автоматизации. В работе предлагается синтактико-семантическая модель функциональных блоков стандарта IЕС 61499, действующих в соответствии с циклической моделью выполнения. Определяется общая структура модели, а также работа каждого из модулей. Кроме того, рассматривается формальная модель системной конфигурации и метод ее развертывания, позволяющие понять правила образования систем ФБ на ресурсах и устройствах. Для определения операционной семантики ФБ используется формальная нотация, основанная на модифицированных машинах абстрактных состояний. При этом формальная модель системы ФБ определяет как схему модели, представляющую набор переменных и набор функций для определения значений переменных, так и динамику модели в виде правил изменения этих функций. Особое внимание уделено функционированию составных ФБ и диспетчера, а также взаимосвязи между модулями модели на уровне переменных. Модуль диспетчера определяет порядок запуска ФБ на выполнение и, таким образом, в основном определяет модель выполнения ФБ. Изменение диспетчера автоматически приводит к смене модели выполнения, что позволяет легко изменять семантику ФБ в целом.
keywords: функциональный блок, операционная семантика, абстрактный синтаксис, циклическая модель выполнения, конфигурация