В. Н. Дубинин
ОПЕРАЦИОННАЯ СЕМАНТИКА
ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499
(ЧАСТЬ 2. <...> Международный стандарт IEC 61499 в области промышленной
автоматизации вводит класс систем управления нового поколения, которые
характеризуются как разумные реконфигурируемые распределенные компонентно-базированные системы. <...> Стандарт IEC 61499 поддерживает парадигму
проектирования на основе функциональных блоков (ФБ). <...> Одной из наиболее
важных моделей выполнения ФБ является циклическая модель. <...> В работе
предлагается синтактико-семантическая модель функциональных блоков
стандарта IEC 61499, действующих в соответствии с циклической моделью
выполнения. <...> Кроме того, рассматривается формальная модель системной конфигурации и метод ее развертывания, позволяющие понять правила образования систем ФБ на ресурсах и устройствах. <...> Для определения операционной семантики ФБ используется формальная нотация, основанная на модифицированных машинах абстрактных состояний. <...> При этом формальная модель системы ФБ определяет как схему модели, представляющую набор переменных и
набор функций для определения значений переменных, так и динамику модели в виде правил изменения этих функций. <...> Особое внимание уделено функционированию составных ФБ и диспетчера, а также взаимосвязи между модулями модели на уровне переменных. <...> Модуль диспетчера определяет порядок запуска ФБ на выполнение и, таким образом, в основном определяет модель выполнения ФБ. <...> Изменение диспетчера автоматически приводит к смене модели
выполнения, что позволяет легко изменять семантику ФБ в целом. <...> Ключевые слова: функциональный блок, стандарт IEC 61499, операционная
семантика, абстрактный синтаксис, циклическая модель выполнения, конфигурация. <...> Dubinin
AN OPERATIONAL SEMANTICS OF IEC 61499
FUNCTION BLOCKS (PART 2. <...> This standard supports the
design paradigm based on the function blocks (FB). <...> One of the most important FB
execution model is the cyclic execution model. <...> Besides, a
formal model of the system configuration and its unfolding algorithm making it possible to understand the rules of FB systems building on resources and devices are <...>