В. Н. Дубинин, В. В. Вяткин
ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ВЫПОЛНЕНИЯ
ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 614991
Аннотация. <...> Рассматривается формализованное представление моделей выполнения функциональных блоков международного стандарта IEC 61499 на
основе функций возбуждения функциональных блоков, построенных с использованием предикатов и функций времени выполнения. <...> Освещаются вопросы обработки входных событий в моделях выполнения. <...> Ключевые слова: функциональный блок, стандарт IEC 61499, модель выполнения, классификация, формализация, семантика, функция возбуждения. <...> Введение
Современным тенденциям развития систем промышленной автоматики
наиболее полно соответствует международный стандарт IEC 61499, определяющий путь построения распределенных компонентно-базированных систем управления промышленными процессами на основе функциональных
блоков (ФБ) [1]. <...> Одной из особенностей
предложенной в стандарте семантики ФБ является недетерминированность
модели ФБ. <...> Для решения проблемы
недетерминизма ФБ были предложены модели выполнения ФБ. <...> В настоящее
время наибольшее признание получили три модели выполнения: циклическая, синхронная и последовательная [2–4]. <...> Существует два пути реализации систем управления на основе ФБ с
учетом сложившихся реалий: <...> В настоящее время существует множество сред выполнения с собственными
моделями выполнения. <...> Информатика, вычислительная техника
Специализированная
среда выполнения
Система ФБ
Система ФБ
Модель
выполнения <...> Второй подход является более универсальным и гибким, в нем отсутствует жесткая привязка к конкретной среде выполнения или
платформе. <...> Однако в данном случае производителями управляющего программного обеспечения должна обеспечиваться поставка как самой системы
ФБ, так и закодированной определенным образом модели выполнения. <...> Достигаемая гибкость в формировании моделей выполнения позволит,
например, задать повышенный приоритет для определенного пути прохождения критического <...>