Научная статья на тему 'Концептуальное моделирование систем управления на основе функциональных блоков IEC 61499'

Концептуальное моделирование систем управления на основе функциональных блоков IEC 61499 Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
295
74
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДЕСКРИПТИВНАЯ ЛОГИКА / МОДЕЛЬ ВЫПОЛНЕНИЯ / МОРФОЛОГИЧЕСКИЙ ПОДХОД / САПР / СТАНДАРТ IEC 61499 / ФУНКЦИОНАЛЬНЫЙ БЛОК / ЯЗЫК UML-FB / CAD / DESCRIPTIVE LOGIC / FUNCTIONAL UNIT / IEC 61499 STANDARD / MORPHOLOGICAL APPROACH / PERFORMANCE MODEL / UML-FB LANGUAGE

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Дубинин Виктор Николаевич

Рассмотрены вопросы концептуального моделирования распределенных компонентно-базированных систем управления промышленными процессами на основе нового международного стандарта IEC 61499. Представлен объектно-ориентированный и онтологический подходы к описанию систем функциональных блоков. Для определения модели выполнения функциональных блоков используется частично-упорядоченное множество морфологических признаков. Приводятся сценарии использования концептуальных моделей в инструментальном комплексе поддержки проектирования систем на основе функциональных блоков.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Дубинин Виктор Николаевич

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Es werden die Fragen der Konzeptmodellierung der verteilten der teilbasierenden Steuerungssysteme von den Industrieprozessen auf Grund des neuen IEC 61499 Internationalstandartes betrachtet. Es sind die objektorientierende und onthologische Einstellungen zur Beschreibung der Systeme der Funktionalblöcke (FB) dargelegt. Für die Bestimmung des Modells der FB Erfüllung wird die teilordentliche Menge der morphologischen Merkmalen benutzt. Es werden die Szenariosder Benutzung der Konzeptmodelle im Instrumantalkomplex der Unterstützung der Systemprojektierung auf Grund von FB angeführt.Sont examinées les questions du modélage conceptuel des systèmes répartis de base et de composition pour la commande des processus industriels à la base de la nouvelle norme IEC 61499. Sont présentées une approche objective-orientée et celle onthologique pour la description des systèmes des blocs fonctionnels (FB). Pour la définition du modèle de lexécution du BF est utilisée la multitude partiellement mise en ordre des indices. Sont cités les scénarios de lemploi des modèles conceptuels dans un comlexe instrumental de lutilisation de la conception des systèmes à la base de BF.The paper studies the matters of conceptual modeling of distributed component-based systems of management for industrial processes on the basis of the new international standard IEC 61499. The paper presents object-oriented and ontological approaches to the description of functional unit systems. The partly-ordered set of morphological characteristics is used to select the model of functional unit performance. The scenarios for conceptual models application in the instrumental complex of support for designing the systems on the basis of functional blocks are given.

Текст научной работы на тему «Концептуальное моделирование систем управления на основе функциональных блоков IEC 61499»

УДК 658.012.011.56: 004.423: 004.896

КОНЦЕПТУАЛЬНОЕ МОДЕЛИРОВАНИЕ СИСТЕМ УПРАВЛЕНИЯ НА ОСНОВЕ ФУНКЦИОНАЛЬНЫХ БЛОКОВ 1ЕС 61499

В.Н. Дубинин

Кафедра «Вычислительная техника», ГОУ ВПО «Пензенский государственный университет»; victor_n_dubinin@yahoo.com

Представлена членом редколлегии профессором В.И. Коноваловым

Ключевые слова и фразы: дескриптивная логика; модель выполнения; морфологический подход; САПР; стандарт 1ЕС 61499; функциональный блок; язык иМЬ-ББ.

Аннотация: Рассмотрены вопросы концептуального моделирования распределенных компонентно-базированных систем управления промышленными процессами на основе нового международного стандарта 1ЕС 61499. Представлен объектно-ориентированный и онтологический подходы к описанию систем функциональных блоков. Для определения модели выполнения функциональных блоков используется частично-упорядоченное множество морфологических признаков. Приводятся сценарии использования концептуальных моделей в инструментальном комплексе поддержки проектирования систем на основе функциональных блоков.

Введение

Основная тенденция в развитии систем управления в промышленном производстве состоит в переходе от централизованных систем к распределенным интеллектуальным системам, основанным на сетевых технологиях. Это нашло свое выражение в разработке нового международного стандарта 1ЕС 61499 [1]. Данный стандарт поддерживает парадигму проектирования на основе функциональных блоков (ФБ). Несмотря на неоспоримые преимущества данной концепции, практика показала, что стандарт 1ЕС 61499 оказался неполным в плане определения семантики ФБ. Реально это может привести к тому, что одна и та же система ФБ, выполняемая на различных платформах, может иметь различное поведение, что является недопустимым. Пробел в определении семантики ФБ призвана восполнить модель выполнения ФБ, работы по созданию которой были инициированы в 2006 г. сообществом ОООКЕГОЛ. К настоящему времени разработан только рабочий проект профиля совместимости [2]. В данном документе предлагаются три основные модели выполнения ФБ: последовательная, циклическая и параллель-

Важными вопросами при разработке средств проектирования систем управления на основе 1ЕС 61499 являются вопросы разработки адекватных концептуальных моделей систем ФБ. Концептуальная модель - это определенное множество понятий и связей между ними, являющихся смысловой структурой рассмат-

риваемой предметной области. Она может быть описана с помощью различных нотаций, наиболее популярной из которых является язык UML [3]. Концептуальная модель может служить основой для создания некоторого визуального домен-но-специфического языка. В данном случае она представляется как метамодель, которая определяет синтаксис (и, возможно, семантику) этого языка. Вопросы метамоделирования систем ФБ рассмотрены в работе [4]. С понятиями концептуальной модели и метамодели тесно связано понятие онтологии, получившее в последнее время большое распространение. Под онтологией понимается формальное представление множества концептов внутри домена и отношений между этими концептами.

В данной работе рассмотрены два подхода для концептуального представления систем ФБ:

- объектно-ориентированный, основанный на «легком» расширении метамодели языка UML с использованием механизма стереотипов;

- онтологический, на основе дескриптивной логики (ДЛ) [5]. ДЛ позволяет в рамках единого формализма описывать как структуры и ограничения, так и осуществлять логический вывод, с помощью которого определяется семантическая корректность описания системы. ДЛ является формализмом для представления знаний, важным свойством которого является разрешимость. На основе ДЛ был разработан язык Web-онтологий OWL [6], являющийся одной из основных составных частей семантического Web. Концептуальная модель модели выполнения ФБ представляется множеством параметров, на котором определены отношения следования и несовместимости. Для разработки концептуальной модели выполнения ФБ использовались морфологические методы [7].

1. Краткий обзор стандарта IEC 61499

Основным артефактом проектирования в стандарте IEC 61499 являются ФБ [1], которые делятся на базисные, составные и сервисные интерфейсные (СИФБ). Для ФБ всех видов характерно наличие интерфейса, включающего событийные входы и выходы, позволяющие организовать вычисления, управляемые событиями, а также входные и выходные переменные для организации потоков данных. Для съема значений входных и выходных переменных используются так называемые WITH-связи, соединяющие событийные и информационные линии. Управляющее приложение представляется в виде сети связанных между собой ФБ или субприложений, которые могут выполняться на различных ресурсах и устройствах систем.

В качестве иллюстративного примера управляющей системы, построенной на основе IEC 61499, рассмотрим пример из Приложения 2 части 2 стандарта IEC 61499 [8]. Приведенная производственная система предназначена для сортировки продукции (например, апельсинов). Объект управления включает конвейер, бункер для приема бракованной продукции, датчик наличия и цвета и пневматический выталкиватель, расположенный на следующей позиции за датчиком. При обнаружении бракованного продукта (зеленого цвета) поршень выталкивает его с конвейера в бункер. На рис.1 схематично представлена вся система, включающая как управляющую часть, так и объект управления. Управляющая система состоит из приложения, распределенного по двум устройствам и двум ресурсам, причем каждое устройство включает только один ресурс. Каждый из ресурсов содержит по одному коммуникационному СИФБ для передачи данных через сеть. Приложение состоит из СИФБ SENSOR и ACTUATOR, осуществляющих низкоуровневое взаимодействие с датчиком и выталкивателем соответственно, а также базисного ФБ GATE, представляющего логику работы приложения (рис. 2). Алгоритм REQ, выполняемый в состоянии REQ этого ФБ, включает один оператор OUT := (IN1 & IN2J.

EVENT

BOOL BOOL

Рис. 1. Система сортировки продукции

REQ CNF

□ a

FB AND

IN1 IN2

OUT

EVENT

BOOL

START 1

REQ

а)

б)

Рис. 2. Базисный ФБ, выполняющий операцию "Логическое И":

а - интерфейс; б - диаграмма ЕСС

2. Объектно-ориентированное представление систем ФБ

Несмотря на многочисленные преимущества, концепция ФБ не в полную меру использует потенциал объектно-ориентированного и компонентно-базированного проектирования программного обеспечения. Как показала практика, между парадигмами проектирования на основе UML и ФБ существует разрыв, затрудняющий реализацию систем управления на основе ФБ IEC 61499 при использовании их UML-спецификаций. В работе [9] сделана попытка для сближения языка UML c языком ФБ, в результате которой был предложен язык UML-FB для моделирования систем управления промышленными процессами на основе стандарта IEC 61499.

Метамодель языка UML-FB фактически представляет метамодель языка UML, расширенную определенными стереотипами. В основу стереотипизации классов UML-FB положены основные понятия стандарта IEC 61499. В диаграмме

классов могут использоваться следующие стереотипы классов: BFB (базисный функциональный блок), CFB (составной функциональный блок), SIFB (сервисный интерфейсный функциональный блок), SUB (субприложение), ADAPTER (адап-терный интерфейс), CONSTANT (константа), SERVICE (сервис СИФБ), SYSTEM

Рис. 3. Диаграмма классов UML для приложения IEC 61499

REQ

{ALGORITHM REQ IN ST: t\

OUT:=(IN1&IN2); END_ALGORITHM;}

____[TRUE]^^^'-

Рис. 4. Диаграмма состояний UML, представляющая диаграмму ЕСС блока FB_AND

(система), DEVICE (устройство), DEVICE_TYPE (тип устройства), RESOURCE (ресурс), RESOURCE_TYPE (тип ресурса), APPLICATION (приложение) а также предопределенный стереотип Interface.

При использовании UML-FB появляется возможность явного описания иерархии системы в виде диаграммы классов. Для описания функционирования системы могут использоваться диаграммы последовательностей, кооперации и состояний, отсутствующие в стандарте IEC 61499.

На рис. 3 в качества примера приведена диаграмма классов языка UML-FB для приложения IEC 61499, показанного на рис. 1, а на рис. 4 - диаграмма состояний UML-FB, представляющая диаграмму ЕСС, изображенную на рис. 2, б.

3. Онтологическое представление систем ФБ

С "art ; l^r/

Для определения онтологии ФБ предлагается использование ДЛ [5]. В качестве иллюстративного примера рассмотрим простую онтологию базисных ФБ (рис. 5). Словарь онтологии (иначе, терминология или TBox) включает концепты и роли. Определены следующие атомарные концепты: CEI - событийный вход оболочки ФБ; CEO - событийный выход оболочки ФБ; CDI - информационный вход оболочки ФБ; CDO - информационный выход оболочки ФБ; S - ЕС-состояние; T - ЕС-переход; GS - сторожевое условие EC-перехода; Act - ЕС-акция; Var - внутренняя переменная; Alg - алгоритм. Определены следующие атомарные роли: hasSource (hasTarget) - отношение, связывающее EC-переходы с исходными (конечными) вершинами переходов; hasGuard (hasInEvent)- отношение, назначающее ЕС-переходам сторожевые условия (событийные входы); ha-sActList - отношение, связывающее ЕС-состояния с первыми EC-акциями в списках ЕС-акций; nextAct - отношение, связывающее ЕС-акции в линейный список; hasAlg (hasOutEvent) - отношение для назначения ЕС-акциям алгоритмов (событийных выходов); read (write) - отношение, определяющее, какие переменные используются в качестве входных (выходных) для программных единиц; withl (with2) - отношение стробирования между входными (выходными) событийными и информационными линиями. В качестве свойств-данных могут служить имена

Рис. 5. Онтология базисных ФБ

Рис. 6. Система экземпляров, определяющая базисный блок FB_AND

элементов, их геометрические характеристики (форма, цвет, координаты и т.д.), а также другие атрибуты (например, текст программ). Роли hasSource, hasTarget, hasEvent, hasGuard, hasActList, nextAct, hasOutEvent являются функциональными. Можно считать, что приведенная онтология определяет синтаксис и (частично) семантику некоторого визуального языка описания ФБ, причем концепты представляют классы (типы элементов языка), а роли - типы дуг между классами.

На рис. 6 представлена система экземпляров (иначе, индивидуальности или ABox), определяющая базисный ФБ FB_AND, приведенный на рис. 2. Для простоты имена экземпляров включают имена соответствующих концептов и порядковый номер экземпляра в концепте. Экземпляр CEI_1 соответствует событийному входу REQ, а CEO_1 - событийному выходу CNF. Экземпляр S_1 представляет начальное состояние START, а S_2 - состояние REQ.

Для того чтобы описание ФБ было полным, необходимо задать дополнительные семантические ограничения в виде формул ДЛ (входят в TBox). Для обозначения инверсной роли будем использовать знак «-», поставленный на месте верхнего индекса базовой роли. Ниже представлены некоторые условия, которым должны удовлетворять семантически правильные классы, а также формулы ДЛ для спецификации соответствующих концептов.

1. Каждая ЕС-акция должна быть связана в линейный список, начало которого определяется ЕС-состоянием. Более подробно это можно определить следующим образом: в экземпляр класса Act должна входить или одна дуга типа hasAct-List, или одна дуга типа nextAct. Кроме того, из экземпляра класса Act должна выходить максимум одна дуга типа nextAct. Ниже представлена формула ДЛ для спецификации «правильной версии» концепта Act:

Actr = Act П ((3hasActList .S П —(3nextAct .Act)) U LI (3nextAct .Act П —(3hasActList .S)).

2. Условие ЕС-перехода не может быть пустым и сам ЕС-переход имеет одно входное и одно выходное ЕС-состояние. Это можно интерпретировать следующим образом: из экземпляра класса T должна выходить хоть одна дуга типов ha-slnEvent или hasGuard, кроме того, экземпляр класса Т обязательно должен иметь по одной выходящей дуге типов hasSource и hasTarget. Данное условие представляет формула:

Tr = T П — (— (3 haslnEvent.CEI) П —(3hasGuard.GC)) П П (=1 hasSource) П (=1 hasTarget).

3. Каждый информационный вход (выход) должен быть связан с каким-либо событийным входом (выходом) с помощью with-связи:

CDIr= CDI l~l3with1~.CEI; CDOr= CDO n3with2~.CEO.

4. Каждый событийный вход должен использоваться в условии хотя бы одного ЕС-перехода:

CEIr= CEI ri3hasInEvenf.T.

5. Каждый информационный вход должен использоваться хотя бы в одном алгоритме или сторожевом условии:

CDIr= CDI ri3read~(Alg U GC).

6. Каждый событийный выход должен использоваться хотя бы в одной ЕС-акции:

CEOr= CEO П3 hasOutEvent.Act.

7. В выходную переменную должна быть произведена запись хотя бы в одном алгоритме:

CDOr= CDO ri3write".Alg.

8. У каждого ЕС-состояния должна быть хотя бы одна входная дуга и хотя бы одна выходная дуга:

Sr= S П 3hasSource.T П 3hasTarget~.T.

Проверка семантической правильности конкретного базисного ФБ (в виде ABox) в отношении какого-либо из концептов состоит в сравнении числа экземпляров, отнесенных к этому концепту и к правильному варианту этого концепта. Совпадение чисел соответствует отсутствию ошибок в описании. Обратное свидетельствует об ошибке. Для локализации ошибок может использоваться язык запросов на основе ДЛ.

Следует отметить, что существует несколько реализаций систем ДЛ. Как правило, такие системы включают клиентскую часть для поддержки проектирования и визуализации Web-онтологий и серверную часть, реализующую механизм рассуждений (reasoner). Наиболее популярной клиентской частью в настоящее время является система Protégé [10]. Наиболее известны из «ризнеров» системы Racer, Pellet, Fact++. Вопросы использования Web-онтологий в проектировании систем промышленной автоматики рассмотрены в работе [11].

4. Параметризованная модель выполнения функциональных блоков

В качестве абстрактной модели выполнения ФБ предлагается интегрированная параметризованная модель выполнения (ИПМВ) ФБ, в рамках которой предполагается собрать основные полезные свойства и методы существующих моделей, а также добавить ряд новых. Параметризация должна позволить разработчику самому выбирать (конструировать) требуемую модель выполнения путем задания определенных значений параметров (иначе, путем установки режимов). Для разработки ИПМВ предлагается использовать морфологические методы [7]. Основой предлагаемой параметризации моделей выполнения ФБ является грануляция вычислений, а также порядок вычисления гранул на основе использования графа гранул.

Ниже предлагается набор морфологических признаков для моделей выполнения ФБ, причем сначала приводится название параметра, а в круглых скобках -его возможные значения: Р1 - гранула выполнения (Р/ - функциональный блок; Р12 - ЕС-состояние; Р13 - ЕС-акция); Р2 - порядок вычислений (Р^ - обход графа в глубину; Р22 - обход графа в ширину; Р23 - приоритетный; Р24 - циклический); Р3 - синхронность выполнения гранул [при Р21 и Р22] (Р31 - последовательное выполнение; Р32 - синхронное выполнение); Р4 - синхронность передачи сигналов (по нескольким линиям) между парой ФБ (Р41 - последовательный; Р42 - синхронный); Р5 - порядок выдачи сигналов через событийные выходы [при Р4:] (Р5: - естественный, основанный на очередности выдачи выходных сигналов при выполнении инициирующей гранулы; Р52 - приоритетный, с учетом приоритетов агрегирующих ФБ для гранул-последователей и приоритетов соответствующих событийных входов; Р53 - приоритетный, с учетом приоритета событийного выхода ФБ; Р54 - приоритетный, с учетом приоритета событийной связи, соединяющий гранулу-источник с гранулой-приемником); Р6 - порядок передач сигналов через один и тот же событийный выход по разным линиям [при Р4:] (Р61 - с учетом приоритетов агрегирующих ФБ и событийных входов для гранул-последователей; Р62 - с учетом приоритета событийной связи, исходящей из событийного выхода); Р7 - кратность выдаваемых выходных сигналов с событийного выхода [при Р4:] (Р71 - выдается один выходной сигнал; Р72 - выдается столько выходных сигналов, сколько их было сгенерировано при выполнении гранулы); Р8 - порядок выбора ФБ-последователя [при Р42] (Р8: - с учетом приоритетов ФБ-последователей; Р82 - с учетом максимального приоритета дуги в группе дуг, связывающих ФБ-источник и ФБ-приемник); Р9 - порядок выбора входных сигналов при их одновременном приходе на ФБ [при Р42] (Р91 - определяется приоритетом событийного входа; Р92 - определяется приоритетом входной событийной дуги; Р93 - определяется естественным порядком выдачи сигналов с ФБ-источников); Рю - метод выполнения составных ФБ (Рю1 - как единой сущности; Рю2 - как контейнера); Рц - приоритетность базисных ФБ перед составными ФБ [при Рю1](Рц1 - больше; Р„2 - меньше; Рц3 - равноценны); Р12 - степень интегриро-ванности модели выполнения сети клапанов данных (КД) в модель выполнения системы ФБ [при Рю2] (Ри - сеть КД выполняется как единое целое отдельно от системы ФБ и взаимодействует с общей моделью, когда завершает свою работу; Р122 - система ФБ и сеть КД выполняются совместно, как единое целое); Р\3 -приоритетность сети КД перед базисными ФБ [при Р^1] (Р^1 - больше; Р132 -меньше; Р133 - равноценны); Р14 - метод выполнения сети КД [при Р^1] (Рм1 -последовательное выполнение; Р142 - синхронное выполнение; Р143 - последовательно-синхронное выполнение); Р15 - тип ЕС-переходов без событий в диаграмме ЕСС базисного ФБ (Р15: - пассивные; Р152 - активные); Р16 - тип выполнения транзакции по обработке внешнего сигнала (Р\6 - непрерываемый; Р162 - преры-

ваемый; P163 - смешанный); P17 - способ диспетчеризации внешних сигналов [при Pi6:] (P\7l - естественный, с учетом времени прихода внешнего сигнала, с сохранением; P172 - приоритетный, с учетом приоритета внешнего сигнала, с сохранением; P173 -немедленное восприятие, с потерей). Следует отметить, что не все значения параметров совместимы между собой.

На рис. 7 представлена диаграмма, определяющая частичный порядок следования параметров в наборе параметров, определяющем конкретную модель выполнения ФБ. При построении этой модели следует учитывать также диаграмму несовместимости параметров (рис. 8).

Рассмотрим примеры идентификации известных моделей выполнения ФБ в координатах ИПМВ. Хорошо известная модель NPMTR [12], реализованная в FBDK, использующая метод «Прямой вызов функций», определяется словом P13P21P31P62P1o2P122P133P141P151P161P171. Отличительная особенность модели - использование вычислений вглубь на уровне ЕС-акций. Модель выполнения ФБ, основанная на последовательной гипотезе [13], представляется словом P1lP22P3lP4lP51P62P72P10-P11-P12?P13-P14-P152P163P17l. Знак вопроса на месте верхнего индекса означает, что данный параметр в этой модели выполнения не определен (может быть любым).

5. Инструментальный комплекс поддержки проектирования

Полученные выше результаты концептуального моделирования использовались при разработке инструментального комплекса поддержки проектирования систем на основе ФБ. Структура комплекса приведена на рис. 9. Его основные функции:

1) поддержка объектно-ориентированного проектирования систем ФБ;

2) рефакторинг (эквивалентные преобразования) систем ФБ;

3) верификация ФБ на основе метода Model Checking;

4) автоматическое преобразование системы ФБ в формальную модель ((а^СБ8-сеть);

5) семантический анализ на основе использования онтологий;

6) имитационное (статистическое) моделирование с целью оценки производительности и качества функционирования;

7) синтез систем безопасности.

Для поддержки объектно-ориентированного проектирования разработаны программные конверторы, осуществляющие с использованием COM-интерфейса прямое преобразование UML-диаграмм CASE-средства Rational Rose в соответст-

JS)

P i3

©

Рис. 8. Диаграмма

несовместимости параметров

Рис. 9. Структура инструментального комплекса

вующее XML-представление ФБ и обратное преобразование. Для осуществления семантического анализа с использованием Web-онтологий разработан конвертор стандартного XML-представления ФБ в OWL (КБР)-представление, которое в дальнейшем исследуется с использованием системы Protégé с привлечением системы рассуждений, например, Fact++. Параметризованная модель выполнения используется в качестве входных данных для системы верификации и системы имитационного моделирования.

Заключение

В работе рассмотрены концептуальные модели систем ФБ на основе объектно-ориентированного и онтологического подходов. Кроме того, сделана попытка концептуализации модели выполнения ФБ с использованием морфологических методов. Направлением дальнейших исследований является построение набора онтологий и их трансформаций для сквозного проектирования распределенных систем управления промышленными процессами.

Работа выполнена в рамках проекта «Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики» аналитической ведомственной целевой программы «Развитие научного потенциала высшей школы (20092010 годы)», № гос. регистрации НИР 01200952061.

Список литературы

1. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. - Geneva, 2005. - 111 p.

2. OOONEIDA. IEC 61499 Compliance Profile: Execution Models of IEC 61499 Function Block Applications, draft in progress [Электронный ресурс]. - Режим доступа : http://www.oooneida.org/standards_development_Compliance_Profile.html, 2009.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

3. Буч, Г. UML: Руководство пользователя / Г. Буч, Д. Рамбо, А. Джекоб-сон. - М. : ДМК Пресс, 2001. - 432 с.

4. Дубинин, В.Н. Метамоделирование функциональных блоков IEC 61499 и NCES-сетей / В.Н. Дубинин, В.В. Вяткин // Сб. ст. Междунар. науч.-техн. конф. «Современные информационные технологии», Пенза, 2008. - 2008. - Вып. 8. -С.162-169.

5. The Description Logic Handbook: Theory, Implementation, and Applications / F. Baader, [and others]. - Cambridge University Press, 2003. - 574 р.

6. W3C Консорциум. Язык Web-онтологий OWL [Электронный ресурс]. -Режим доступа: http : http//www.w3.org/2004/OWL/.

7. Дубинин, В. Н. Разработка интегрированной параметризованной модели выполнения функциональных блоков IEC 61499 с использованием морфологических методов / В.Н. Дубинин, В.В. Вяткин // Сб. ст. Междунар. науч.-техн. конф. «Современные информационные технологии», Пенза, 2008. - 2008. - Вып. 7. - С. 146-154.

8. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 2 : Software tool requirements / International Elec-trotechnical Commission. - Geneva, 2005. - 41 p.

9. Dubinin, V. Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499 / V. Dubinin, V. Vyatkin, T. Pfeiffer // IEEE Int. Conf. on Robotics and Automation (ICRA'05), Barcelona, Spain, April 18-22 2005. - P. 4007-4012.

10. Protégé [Электронный ресурс]. - Режим доступа : http://protege.stanford.edu.

11. Дубинин, В.Н. Использование Web-онтологий в проектировании рекон-фигурируемых систем промышленной автоматики / В.Н. Дубинин, В.В. Вяткин // Тр. Междунар. науч.-техн. конф. «Интеллектуальные системы», Дивномор-ское, 2007. - Т. 2. - С. 14-22.

12. FBDK - Function Block Development Kit [Электронный ресурс]. - Режим доступа : http:// www.holobloc.com.

13. Vyatkin, V. Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499 / V. Vyatkin, V. Dubinin // IEEE Int. Conf. on Industrial Informatics (INDIN'07), Vienna, Austria, 2007. - P. 1137-1142.

Conceptual Modeling of Management Systems Based on IEC 61499 Functional Units

V.N. Dubinin

Department "Computer Technology", Penza State University; victor_n_dubinin@yahoo.com

Key words and phrases: CAD; descriptive logic; functional unit; IEC 61499 standard; morphological approach; performance model; UML-FB language.

Abstract: The paper studies the matters of conceptual modeling of distributed component-based systems of management for industrial processes on the basis of the new international standard IEC 61499. The paper presents object-oriented and

ontological approaches to the description of functional unit systems. The partly-ordered set of morphological characteristics is used to select the model of functional unit performance. The scenarios for conceptual models application in the instrumental complex of support for designing the systems on the basis of functional blocks are given.

Konzeptmodellierung der Steuerungssysteme auf Grund der IEC 61499

Funktionalblöcke

Zusammenfassung: Es werden die Fragen der Konzeptmodellierung der verteilten der teilbasierenden Steuerungssysteme von den Industrieprozessen auf Grund des neuen IEC 61499 Internationalstandartes betrachtet. Es sind die objektorientierende und onthologische Einstellungen zur Beschreibung der Systeme der Funktionalblöcke (FB) dargelegt. Für die Bestimmung des Modells der FB Erfüllung wird die teilordentliche Menge der morphologischen Merkmalen benutzt. Es werden die Szenariosder Benutzung der Konzeptmodelle im Instrumantalkomplex der Unterstützung der Systemprojektierung auf Grund von FB angeführt.

Modélage conceptuel des systèmes de la commande à la base des blocs fonctionnels IEC 61499

Résumé: Sont examinées les questions du modélage conceptuel des systèmes répartis de base et de composition pour la commande des processus industriels à la base de la nouvelle norme IEC 61499. Sont présentées une approche objective-orientée et celle onthologique pour la description des systèmes des blocs fonctionnels (FB). Pour la définition du modèle de l'exécution du BF est utilisée la multitude partiellement mise en ordre des indices. Sont cités les scénarios de l'emploi des modèles conceptuels dans un comlexe instrumental de l'utilisation de la conception des systèmes à la base de BF.

Автор: Дубинин Виктор Николаевич - кандидат технических наук, доцент кафедры «Вычислительная техника», ГОУ ВПО «ПГУ».

Рецензент: Подольский Владимир Ефимович - доктор технических наук, профессор, проректор по информатизации, директор ТамбовЦНИТ, заведующий кафедрой «Системы автоматизированного проектирования», ГОУ ВПО «ТГТУ».

i Надоели баннеры? Вы всегда можете отключить рекламу.