Формализация моделей выполнения функциональных блоков IEC 61499

функциональные блоки модели выполнения международные стандарты циклические модели выполнения последовательные модели выполнения синхронные модели выполнения

Структура электронной образовательной среды с использованием гетерогенных сетей для доступа к информационным ресурсам, Исследование асимптотической устойчивости систем фазовой синхронизации с равномерной дискретизацией, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт