Операционная семантика функциональных блоков IEC 61499

абстрактные состояния абстрактный синтаксис базисные блоки машины абстрактных состояний операционная семантика операционные модели системная конфигурация функциональные блоки циклические модели

Технология механизированной отделочно-зачистной обработки деталей из хрупких материалов, Измерение износа резца виброакустическим методом и моделирование напряженности акустического поля внутри режущего инструмента, ...

Международный стандарт IEC 61499 в области промышленной автоматизации вводит класс систем управления нового поколения, которые характеризуются как разумные реконфигурируемые распределенные компонентно-базированные системы. <...> Стандарт IEC 61499 поддерживает парадигму проектирования на основе функциональных блоков (ФБ). <...> Для определения операционной семантики ФБ используется формальная нотация, основанная на модифицированных машинах абстрактных состояний. <...> Изменение диспетчера автоматически приводит к смене модели выполнения, что позволяет легко изменять семантику ФБ в целом. <...> Ключевые слова: функциональный блок, стандарт IEC 61499, операционная семантика, абстрактный синтаксис, циклическая модель выполнения, конфигурация. <...> 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 considered. <...> For the definition of operational semantics of FB the author uses a formal notation based on modified abstract state machine. <...> Стандарт IEC 61499 определяет абстрактную модель ФБ, допускающую различные интерпретации. <...> Для того чтобы поведение приложения было полностью определено, необходимо задать так называемую модель выполнения ФБ – набор правил, регламентирующих порядок выполнения сети ФБ на ресурсе и устройстве. <...> Модель выполнения должна по максимуму перевести недетерминированную по своей природе модель ФБ в плоскость детерминизма. <...> Было предложено несколько моделей выполнения ФБ, среди которых циклическая, синхронная (параллельная), последовательная и NPMTR-модель [2]. <...> До настоящего времени не разработано общепринятой формальной семантики ФБ. <...> [5], где предлагается так называемая модульная формальная модель операционной семантики ФБ (ФМОСФБ), представляющая модифицированную машину абстрактных состояний (МАС), которая используется в дальнейшем в качестве формальной нотации. <...> С помощью ФМОСФБ определены: 1) операционная семантика ФБ, функционирующих <...>

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