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

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

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

Предлагается синтактико-семантическая модель базисных функциональных блоков стандарта IEC 61499. <...> Для определения абстрактного синтаксиса используется теоретико-множественный подход, а для представления операционной семантики – аппарат машин абстрактных состояний. <...> Ключевые слова: функциональный блок, стандарт IEC 61499, операционная семантика, абстрактный синтаксис, машины абстрактных состояний. <...> Новый язык программирования распределенных контроллеров IEC 61499 на основе функциональных блоков (ФБ) [2] существенно отличается от традиционных языков программирования. <...> На основе анализа известных публикаций можно констатировать, что в настоящее время отсутствует целостное определение формальной семантики ФБ [4]. <...> В стандарте IEC 61499 [2] дано неформальное определение семантики ФБ. <...> Несмотря на большую популярность структурной операционной семантики (SOS) Г. Плоткина [1], для определения операционной семантики языков программирования и проектирования в последнее время все большее распространение находит аппарат машин абстрактных состояний (МАС), вве1 Работа выполнена в рамках федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. <...> Аппарат МАС был положен в основу ряда работ автора по определению операционной семантики ФБ [4, 8–10]. <...> В данной работе предлагается полная синтактико-семантическая модель базисного ФБ с четко разграниченной синтаксической и семантической частью, что позволяет более явно связать синтаксические конструкции с действиями. <...> Данная модель базисного ФБ может быть использована для определения операционной семантики систем ФБ, работающих в рамках многих моделей выполнения (включая циклическую, синхронную и асинхронную). <...> Определение схемы модели Модуль (или модель) базисного ФБ (МБФБ) может быть представлен формально следующим образом: MB = (SyntB, SemB), где SyntB – синтаксическая часть описания (на уровне абстрактного синтаксиса); SemB – семантическая <...>

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