Модели, методы и средства проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики тема диссертации и автореферата по ВАК РФ 05.13.05, кандидат наук Дубинин, Виктор Николаевич

• Дубинин, Виктор Николаевич
• кандидат наук
• 2014

Оглавление диссертации кандидат наук Дубинин, Виктор Николаевич

ВВЕДЕНИЕ.........................................................................................................7

1. ОБЗОР И АНАЛИЗ МЕТОДОВ ПРОЕКТИРОВАНИЯ РАСПРЕДЕЛЕННЫХ

ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ПРОМЫШЛЕННОЙ

АВТОМАТИКИ...................................................................................................17

1.1. Архитектурные особенности и тенденции развития современных систем промышленной автоматики...................................................................................17

1.1.1. Архитектура распределенных систем промышленной автоматики.........................17

1.1.2. Распределенные системы управления нового поколения на основе

стандарта 1ЕС 61499........................................................................................... 22

1.1.3. Обзор стандарта 1ЕС 61499 ..........................................................................24

1.1.4. Модели выполнения функциональных блоков................................................................29

1.2. Обзор и анализ методов проектирования традиционных информационно-управляющих систем промышленной автоматики......................................................41

1.3. Обзор и анализ моделей и методов проектирования распределенных систем управления на основе стандарта 1ЕС 61499..............................................................49

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

1.3.2. Проблема определения формальной семантики

функциональных блоков...................................................................................51

1.3.3. Проблема анализа и верификации проектов 1ЕС 61499 .......................................57

1.3.4. Объектно-ориентированное проектирование...................................................60

1.3.5. Подход на основе управления моделями.........................................................61

1.3.6. Описание, анализ и проектирование систем с использованием онтологий...............63

1.4. Элементы методологии проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики

на основе стандарта 1ЕС 61499 ..............................................................................68

1.4.1. Функциональная модель методологии...........................................................68

1.4.2. иМЬ-РВ - визуальный язык для моделирования систем управления промышленными процессами на основе стандарта 1ЕС 61499 ..................................... 76

1.4.3. Сетевой формализм для разработки имитационных моделей...............................79

1.4.4. Иерархические модульные недетерминированные автоматы для аппаратной реализации локальных систем управления..............................................................84

1.4.5. Функционально-блочная реализация механизмов и средств синхронизации и

взаимодействий процессов в архитектуре IEC 61499 .................................................91

1.5. Выводы.......................................................................................................94

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

СТАНДАРТА IEC 61499 ........................................................................................ 98

2.1. Системная конфигурация................................................................................98

2.2. Развертывание системной конфигурации............................................................99

2.3. Буферирование данных................................................................................. 102

2.4. Переход от иерархических структур систем функциональных блоков к одноуровневым структурам................................................................................ 104

2.5. Модульная формальная модель операционной семантики функциональных блоков .... 106

2.6. Функционально-структурная организация моделей систем функциональных блоков ....109

2.7. Базовая модель базисного функционального блока..............................................113

2.7.1. Преобразование алгоритмов базисных функциональных блоков........................113

2.7.2. Определение схемы модели......................................................................115

2.7.3. Определение динамики модели..................................................................118

2.8. Модель составного функционального блока для циклической модели выполнения......125

2.8.1. Определение схемы модели.......................................................................125

2.8.2. Определение динамики модели..................................................................127

2.9. Модель диспетчера для циклической модели выполнения.................................... 128

2.10. Взаимосвязь модулей функциональных блоков.................................................130

2.11. Модель составного функционального блока для синхронной модели выполнения.....131

2.11.1. Определение схемы модели.....................................................................131

2.11.2. Определение динамики модели................................................................132

2.12. Модель диспетчера для синхронной модели выполнения.....................................134

2.13. Семантика модели выполнения, основанной на последовательной гипотезе............138

2.14. Формальная модель системы функциональных блоков в виде системы переходов состояний.......................................................................................................139

2.15. Выводы...................................................................................................147

3. СИНТЕЗ ФОРМАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ ФУНКЦИОНАЛЬНЫХ БЛОКОВ

НА ОСНОВЕ ГРАФОТРАНСФОРМАЦИОННОГО ПОДХОДА.....................................149

3.1. Краткие сведения из области трансформации графов...........................................149

3.2. Поток моделей в процессе синтеза...................................................................150

3.3. Моделирование систем функциональных блоков на основе

арифметических NCES- сетей............................... ................................................151

3.3.1. Формализм арифметических jVŒS-сетей.....................................................151

3.3.2. Методика моделирования систем функциональных блоков...............................154

3.4. Метамодель систем функциональных блоков....................................................161

3.5. Метамодель арифметических NCES-cctck......................................................... 165

3.6. Правила перехода от многоуровневой структуры систем функциональных блоков

к одноуровневой структуре.................................................................................168

3.7. Правила синтеза многоуровневых aNCES-сетсй на основе одноуровневых систем функциональных блоков....................................................................................172

3.8. Пример. Синтез сетевой модели для функционального блока "^-триггер"................177

3.9. Реализация системы синтеза формальных моделей функциональных блоков.............180

3.10. Выводы...................................................................................................181

4. ВЕРИФИКАЦИЯ РАСПРЕДЕЛЕННЫХ КОМПОНЕНТНО-БАЗИРОВАННЫХ

ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ ПРОМЫШЛЕННОЙ

АВТОМАТИКИ.................................................................................................183

4.1. Проверка моделей систем функциональных блоков.............................................183

4.1.1. Проверка моделей систем функциональных блоков, представленных в виде машин абстрактных состояний....................................................................................185

4.1.2. Проверка моделей систем функциональных блоков, представленных в виде системы переходов состояний...........................................................................188

4.2. Проверка моделей дискретных событийных систем, представленных

в виде NCES-сстей............................................................................................191

4.2.1. Формализм асинхронной модели ЛО^-сетей................................................192

4.2.2. Подход к моделированию NCES-сетей с использованием Л-модели....................194

4.2.3. Правила преобразования NCES в ^-модель....................................................196

4.2.4. Валидация метода асинхронного моделирования NCES-сетей............................201

4.2.5. Методика кодировки /1-модели на входном языке верификатора SMV..................204

4.2.6. Демонстрационные примеры.....................................................................205

4.3. Семантический анализ проектов IEC 61499 на основе iFeô-онтологий.....................210

4.3.1. Онтология функциональных блоков............................................................211

4.3.2. Свойства, связанные с семантической корректностью описаний.........................226

4.3.3. Зависимости алгоритмов по данным и управлению в системах функциональных блоков.........................................................................................................232

4.3.4. Обнаружение циклов с использованием событийных графов.............................238

4.3.5.Система семантического анализа проектов IEC 61499 ...................................... 246

4.4. Выводы.....................................................................................................248

5. РЕФАКТОРИНГ И РЕШЕНИЕ ПРОБЛЕМЫ ПОРТАБЕЛЬНОСТИ СИСТЕМ ФУНКЦИОНАЛЬНЫХ БЛОКОВ...........................................................................250

5.1. Рефакторинг диаграмм управления выполнением базисных функциональных

блоков...........................................................................................................250

5.1.1. Модель диаграммы ЕСС...........................................................................250

5.1.2. Модели выполнения диаграмм ЕСС............................................................251

5.1.3. Общий подход к рефакторингу и исправлению диаграмм ЕСС..........................252

5.1.4. Рефакторинг на основе графотрансформационного подхода..............................256

5.1.5. Примеры рефакторинга диаграмм ЕСС........................................................260

5.1.6. Реализация рефакторинга в системе AGG.....................................................262

5.1.7. Оценка системы рефакторинга..................................................................264

5.2. Шаблоны модельно-ориентированной реализации систем функциональных блоков стандарта IEC 61499 .......................................................................................... 272

5.2.1. Общее описание схемы трансформации.......................................................274

5.2.2. Трансформация базисных функциональных блоков........................................274

5.2.3. Буферирование сигналов..........................................................................280

5.2.4. Трансформация составных функциональных блоков.......................................281

5.2.5. Шаблон "Циклическая модель выполнения".................................................288

5.2.6. Шаблон "Синхронная модель выполнения"...................................................293

5.2.7. Примеры применения шаблонов................................................................295

5.2.8. Оценка сложности.................................................................................300

5.3. Выводы...................................................................................................303

6. РЕВЕРСИВНЫЕ sNCES-СЕТИ ДЛЯ СИНТЕЗА КОНТРОЛЛЕРОВ БЕЗОПАСНОСТИ РАСПРЕДЕЛЕННЫХ СИСТЕМ УПРАВЛЕНИЯ......................................................305

6.1. Основные понятия и определения реверсивных sNCES-cerreu................................305

6.2. Интерпретация реверсивных sNCES-ceren.......................................................321

6.2.1. Вычисление минимального покрывающего множества маркировок...................321

6.2.2. Вычисление допустимых шагов для триггерного перехода..............................322

6.2.3. Вычисление минимальных запрещающих контекстных маркировок..................332

6.2.4. Алгоритм построения графа обратной достижимости.....................................336

6.3. Использование реверсивных sNCES-сетей в синтезе контроллеров безопасности для дискретных событийных систем...........................................................................337

6.3.1. Концепция подхода................................ ..................................................337

6.3.2. Расширенные sNCES-сети для предотвращения переходов в запрещенные маркировки..................................................................................................342

6.3.3. Разработка запрещающих продукционных правил..........................................344

6.3.4. Пример. Система двух выталкивателей........................................................358

6.3.5. Вопросы реализации супервизорного управления..........................................362

6.4. Выводы....................................................................................................367

ЗАКЛЮЧЕНИЕ............................................................................................369

СПИСОК СОКРАЩЕНИЙ И УСЛОВНЫХ ОБОЗНАЧЕНИЙ.................................372

СПИСОК ЛИТЕРАТУРЫ................................................................................ 374

ПРИЛОЖЕНИЯ.................................................................................................406

Приложение А. Краткое описание языка \JML-FB....................................................407

Приложение Б. Методика моделирования недетерминированных автоматов

с использованием модульных ЖЖ>-сетей..............................................................419

Приложение В. Методика моделирования недетерминированных автоматов

с использованием диаграмм Ладдера.....................................................................423

Приложение Г. Операционная семантика функциональных блоков, функционирующих

в соответствии с моделью выполнения на основе последовательной гипотезы................428

Приложение Д. Демонстрационный пример проверки моделей системы

функциональных блоков....................................................................................437

Приложение Е. Документы, подтверждающие внедрение и использование результатов диссертационной работы....................................................................................450

Введение диссертации (часть автореферата) на тему «Модели, методы и средства проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики»

ВВЕДЕНИЕ

Актуальность темы. В настоящее время ни одна сфера жизнедеятельности человека (промышленность, сельское хозяйство, транспорт, связь, здравоохранение и т.д.) немыслима без автоматизации. Число процессоров, вовлеченных в сферу автоматизации и управления, в сотни раз превышает число процессоров, используемых в офисных приложениях. Это определяет широкую область приложений современной автоматизации и большую емкость рынка. Ведущее место в инфраструктуре экономик развитых стран принадлежит промышленному производству.

Современной тенденцией развития предприятий в настоящее время является их комплексная автоматизация. Предприятие рассматривается как единый объект автоматизации. Верхние уровни интегрированной информационной системы управления предприятием представляют собой программные системы, технология разработки которых достаточно хорошо развита. Узким местом, требующим самого пристального внимания, в настоящее время являются нижние уровни (уровни программируемых логических контроллеров (ПЛК) и ввода-вывода). Назовем системы, охватывающие эти уровни, информационно-управляющими системами промышленной автоматики (ИУСПА). Современные ИУСПА (как правило, построенные на основе международного стандарта IEC 61131-3) являются централизованными системами с присущими им недостатками. К ним можно отнести низкую надежность и производительность, сложность настройки и поддержки, сложность модификаций (наращивания, удаления и изменения компонентов) и построения реконфигурируемых систем, проблемы с масштабируемостью, повторным использованием компонентов, а также дороговизной как самого процесса проектирования, так и всей (реальной) системы. В то же время все более жесткие условия, в которые рынок промышленных товаров ставит производителей, подталкивает их к переходу на новый технологический базис, позволяющий существенно сократить время проектирования и перепроектирования систем управления и иметь возможность их быстрой реконфигурации.

Принятый в 2005 г. новый международный стандарт IEC 61499, нацеленный на построение распределенных систем управления промышленными процессами, призван решить вызовы времени. По сути дела, стандарт IEC 61499 вводит класс систем управления нового поколения. Это интеллектуальные реконфигурируемые распределенные компонентно-базированные системы. Работы в области функциональных блоков (ФБ) IEC 61499 интенсивно ведутся во всем мире. Большой вклад в разработку методов проектирования систем на основе стандарта IEC 61499 внесли Christensen J., Vyatkin К, Sünder Ck, Zoitl A, Strasser Т., Thramboulidis К., Hanisch H.-M., Ferrarini L., Veber C., Valentini A., Frey G., Martinez-Lastra J.L., Liieder A, Colla M., Bren-nan R., Cengic G. и др. Однако многие проблемы, связанные со стандартом, остались нерешенными. Например, до сих пор не разработана семантика ФБ и методы обеспечения портабельно-

сти управляющего программного обеспечения (ПО) на основе IEC 61499, отсутствует целостный подход к проектированию ИУСПА на основе IEC 61499. Существующие проекты нацелены на решение узкого круга задач, как правило, реализационного плана. В РФ и странах СНГ работы в области ФБ стандарта IEC 61499 практически отсутствуют.

Теоретической и методологической основой проектирования ИУСПА является научное направление, связанное с системами логического управления дискретными процессами, которое во многом базируется на теории конечных автоматов и сетей Петри. В данном направлении исследователями (среди которых отечественные ученые Амбарцумян A.A., Бандман О. JL, Варшавский В.И., Вашкевич Н.П., Гаврилов М.А., Горбатов В.А., Закревский А.Д., Зюбин В. Е., Кузнецов О.П., Лазарев В. Г., Шалыто A.A., Юдицкий С.А.) были получены существенные результаты. Приложения современной автоматизации, как правило, являются ответственными, поэтому они должны быть надежными и робастными. Ключевой теорией для проектирования надежных и робастных систем в рамках логического управления является теория супервизорно-го управления, развиваемая в основном зарубежными учеными Ramadge P.J., Wonham W.M., Giaa A., Hanisch Н.-М., Barbeau M. и др.

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

Таким образом, актуальность научных исследований в области разработки методов и средств проектирования ИУСПА главным образом определяется появлением систем нового класса, обладающих существенно иными свойствами по сравнению с имеющимися, отсутствием комплексного подхода к их проектированию, невозможностью напрямую использовать существующие наработки.

Цели и задачи исследования. Целыо работы является теоретическое обоснование и разработка методов и средств проектирования ответственных распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики (РКБИУСПА).

Для достижения поставленной цели необходимо решить следующие основные задачи:

1) разработать методологию проектирования РКБИУСПА, определяющую этапы, модели, методы и средства проектирования, а также их взаимосвязь;

2) создать профайл UML для моделирования систем управления промышленными процессами на основе стандарта IEC 61499;

3) определить операционную семантику функциональных блоков (ФБ) стандарта IEC 61499, являющихся основными артефактами при построении интеллектуальных систем управления нового поколения, и необходимую при проектировании РКБИУСПА на основе ФБ;

4) формализовать и автоматизировать процесс построения формальных моделей систем ФБ, решив при этом задачу выбора средств описания как самих систем ФБ, так и процесса порождения моделей;

5) разработать методику верификации РКБИУСПА, позволяющую на основе анализа получить подтверждение выполнения определенных свойств, заданных в спецификациях системы;

6) разработать метод семантического анализа РКБИУСПА на основе технологий семантического Web для нахождения ошибок на ранних этапах проектирования;

7) разработать метод рефакторинга управляющих приложений IEC 61499, допускающий их эквивалентные преобразования для различных целей;

8) предложить метод синтеза моделей контроллеров безопасности для дискретных событийных систем, обеспечивающий существенное повышение надежности и робастности РКБИУСПА;

9) разработать средства обеспечения портабельности управляющих приложений IEC 61499 между различными платформами;

10) развить автоматный подход к описанию, проектированию и реализации локальных систем управления на основе недетерминированных автоматов.

Объектом исследования являются распределенные компонентно-базированные управляющие вычислительные системы промышленной автоматики (РКБИУСПА), построенные на основе новых международных стандартов.

Предметом исследования являются методы и средства проектирования ответственных РКБИУСПА, используемые на этапах формализованного описания, верификации, информационного и имитационного моделирования, реализации, рефакторинга и синтеза, а также методы организации программного кода для решения задач портабельности и реализации сложных взаимодействий.

Методы исследования. Для решения поставленных задач использовались методы теории множеств, сетей Петри, сетевых систем "условие-событие" (NCES-сетей), конечных автоматов, систем переходов состояний и машин абстрактных состояний, теории супервизорного управления, теории графов и графовых грамматик, математическая логика, методы искусственного интеллекта, методы верификации программно-аппаратных систем, методы объектно-ориентированного проектирования и технологии семантического Web.

Научная новизна Научная новизна диссертации определяется следующими результатами.

1. Разработана модельно-центрированная методология проектирования РКБИУСПА на основе международного стандарта IEC 61499, охватывающая фазы формализованного описания, верификации, оценки производительности, рефакторинга, генерации тестов, генерации кода, синтеза контроллеров безопасности, отличающая от известных использованием комплекса взаимосвязанных моделей и их трансформаций, позволяющая: а) строить РКБИУСПА, отвечающие функциональным и нефункциональным требованиям, на различных платформах; б) повысить качество проектных решений за счет автоматизации процесса проектирования, увеличения степени повторного использования разработанных артефактов проектирования.

2. Формально определена операционная семантика систем ФБ IEC 61499, отличающаяся учетом моделей их выполнения (циклической, синхронной и последовательной), универсальностью применяемого формального аппарата, гибкостью и ориентацией на реализацию, что позволяет, во-первых, избавиться от неопределенности описаний систем ФБ, допускаемых стандартом, во-вторых, производить адекватную формализацию систем управления на основе ФБ, в-третьих, осуществлять корректную реализацию систем моделирования и сред выполнения ФБ.

3. Построена система трансформации графов, определяющая процесс построения aNCES-моделей систем ФБ, оттчающаяся от других подходов к описанию построения моделей формальностью, структурностью, наглядностью, простотой реализации, что позволяет избежать ошибок проектирования и автоматизировать трудно формализуемый этап разработки формальных моделей.

4. Предложена методика верификации дискретных событийных систем, представленных в виде NCES-сетен, на основе метода Model Checking, отличающаяся от известных использованием промежуточной Л-модели для построения структуры Крипке, что позволяет в дальнейшем упростить использование современных промышленных верификаторов для проверки моделей.

5. Разработал метод семантического анализа описаний систем управления на основе стандарта IEC 61499 с использованием И^еб-онтологий, отличающийся от известных методов семантического анализа формальностью (основа - дескриптивная логика и логика хорновских дизъюнктов), ясностью, разрешимостью, гибкостью и расширяемостью, что позволяет избежать ошибок при разработке систем семантического анализа, уменьшить затраты на их разработку, модификацию и сопровождение, увеличить степень повторного использования проектных решений.

6. Разработан метод рефакторннга диаграмм управления выполнением (диаграмм ЕСС) базисного ФБ на основе трансформаций графов, отличающийся: а) целыо - избавлением от условных дуг и потенциально-тупиковых (по условиям) состояний; б) формальным аппаратом -графовыми грамматиками, что позволяет: а) избавиться от ошибок на стадии исполнения управляющих приложений; б) избежать ошибок проектирования, уменьшить затраты на разработку, модификацию и сопровождение инструментальных средств рефакторннга.

7. Усовершенствован метод синтеза моделей контроллеров безопасности распределенных систем управления на основе sNCES-ceveii, предложенный Ханишем Х.-М., в направлении его применимости. В отличие от базового метода в предложенном методе используются реверсивные частично-маркированные sNCES-cqtw (RsNCES-сетей), основанные на обратных срабатываниях шагов, и методы их интерпретации, что позволяет формально описать обратный поиск в пространстве состояний и генерировать запрещающие правила для предотвращения попадания системы в опасные состояния для замкнутых систем «управление-оборудование».

8. Предложены шаблоны модельно-ориентированной реализации систем функциональных блоков (ШМОРСФБ), отличающиеся введением в систему служебных ФБ, изменяющих порядок выполнения ФБ и способы межблочной передачи информации, что позволяет решить проблемы портабельности управляющих приложений на основе стандарта IEC 61499 путем обеспечения робастности (нечувствительности) ФБ к изменениям семантики выполнения.

9. Развита концепция недетерминированных автоматов (НДА) Вашкевича Н.П. и разработана формальная модель иерархических модульных недетерминированных автоматов (ИМ-НДА) для проектирования локальных систем управления, отличающаяся от базовой концепции НДА возможностью иерархической структуризации модели и учетом импульсных сигналов, что позволяет использовать структурный подход к проектированию, увеличивает описательную мощность автоматной модели и расширяет сферу применения автоматного подхода к проектированию дискретных событийных систем.

Практическая ценность работы связана с разработкой лингвистического, методического, алгоритмического и информационного обеспечения методологии проектирования РКБИ-УСПА, а также инструментальных средств поддержки этой методологии. Основные результаты в этом направлении представлены ниже.

1. Разработан язык UML-FB, основанный на расширении метамодели языка UML, а также

программные средства поддержки, для моделирования систем управления промышленными

• »

процессами на основе стандарта IEC 61499, что позволяет использовать объектно-ориентированный подход в структурном проектировании систем управления данного класса.

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

в числе которых семафоры, задача синхронизации «производитель-потребитель», разделяемые данные, что позволяет на практике использовать разработанные библиотеки ФБ для построения распределенных систем со сложными видами взаимодействий.

3. С использованием языка UML-FB и программных конверторов разработана визуальная интерактивная имитационная модель производственной установки FESTO на основе функциональных блоков IEC 61499, в которой реализованы семафоры и задача синхронизации «производитель-потребитель». Данная имитационная модель использовалась как иллюстративный пример использования ряда предложенных в диссертации методов.

4. Предложена методика кодирования систем ФБ на языке SMV. Для поддержки предложенной методики разработан транслятор XML-описания ФБ ШС 61499 в код SMV, позволяющий автоматизировать процесс построения входных данных для промышленного верификатора.

5. Разработана система реструктуризации и преобразований функциональных блоков, позволяющая легко строить проблемно-ориентированные системы трансформации ФБ путем разработки на высокоуровневом визуальном языке в системе AGG специализированного набора правил графовых трансформаций (например, для рефакторинга или синтеза aNCES-модспсй).

6. В рамках предложенной методики верификации дискретных событийных систем, представленных в виде NCES-сетеи, на основе метода Model Checking, разработаны конвертор многоуровневых модульных NCES-CQjeii в одноуровневые NCES-cerm и транслятор XML-описания NCES-сетей в код SMV.

7. Разработаны средства онтологического описания и анализа систем ФБ стандарта IEC 61499, в частности: а) ^¿-онтология стандарта IEC 61499. Данная онтология может считаться разделяемым ресурсом и быть размещена в сети Интернет для общего пользования; б) программная система семантического анализа проектов IEC 61499 на основе Жеб-онтологий.

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

9. Разработаны следующие ШМОРСФБ: «Циклическая модель», «Синхронная модель», «Последовательная модель». Данные шаблоны могут быть использованы для переноса существующих приложений IEC 61499 на платформы с различными моделями выполнения ФБ.

10. Разработаны программные средства поддержки проектирования локальных управляющих систем на основе ИМИДА, включая этапы спецификации, верификации и реализации на языках ПЛК и VHDL.

Основные результаты, выносимые на защиту:

1. Модельно-центрированная методология проектирования РКБИУСПА на основе международного стандарта IEC 61499, охватывающая этапы от формализованного описания до реализации, позволяющая: а) строить системы, отвечающие функциональным и нефункциональным требованиям; б) повысить качество проектных решений за счет автоматизации и увеличить степень повторного использования артефактов проектирования.

2. Абстрактный синтаксис и операционная семантика систем ФБ IEC 61499 с учетом моделей выполнения ФБ (циклической, синхронной и последовательной) на основе специальной нотации, базирующейся на аппарате машин абстрактных состояний, что позволяет формально определить язык ФБ, используемый во многих фазах проектирования РКБИУСПА;

3. Система трансформации графов, определяющая процесс порождения аЛОГ^-моделей систем ФБ, позволяющая автоматизировать трудно формализуемый этап разработки формальных моделей.

4. Методика верификации дискретных событийных систем, представленных в виде NCES-сетей, на основе метода Model Checking, позволяющая производить сертификацию РКБИУСПА с использованием современных промышленных верификаторов.

5. Метод семантического анализа описаний систем управления на основе стандарта IEC 61499 с использованием И^еб-онтологий, позволяющий выявить семантические ошибки в описании на ранних стадиях проектирования, что сокращает общее время проектирования системы.

6. Метод рефакторинга диаграмм управления выполнением (диаграмм ЕСС) базисного ФБ на основе трансформаций графов, позволяющий избавиться от условных дуг и потенциально-тупиковых (по условиям) состояний, что повышает качество проектных решений и предотвращает фатальные ошибки в функционировании системы управления.

7. Метод синтеза моделей контроллеров безопасности распределенных систем управления на основе RsNCES-сетей, позволяющий генерировать запрещающие правила для предотвращения попадания замкнутых систем «управление-оборудование» в опасные состояния.

8. Шаблоны модельно-ориентированной реализации систем функциональных блоков (ШМОРСФБ), предназначенные для решения проблемы портабельности управляющих приложений на основе стандарта IEC 61499, позволяющие достичь высокой степени независимости поведения управляющего приложения от модели выполнения ФБ, поддерживаемой runtime-средой.

9. Язык UML-FB для моделирования систем управления промышленными процессами на основе стандарта IEC 61499, основанный на расширении метамодели языка UML, позволяющий сократить семантический разрыв между структурным и объектно-ориентированным подходами

к проектированию систем управления и облегчить переход от системных требований к артефактам проектирования.

10. Формальная модель иерархических модульных недетерминированных автоматов (ИМНДА), позволяющая описывать и проектировать сложные иерархические локальные системы управления с параллельными процессами, а также реализовывать их на языках ПЛК и У1ЮЬ.

Соответствие диссертации паспортам научных специальностей

Полученные в диссертационной работе результаты соответствуют следующим областям исследования, определенным в паспортах научных специальностей. В паспорте специальности 05.13.17 «Теоретические основы информатики»: п.4. «...разработка интегрировшшых средств представления знаний, средств представления знаний, отражающих динамику процессов, концептуальных и семиотических моделей предметных областей... »; п.10. «Разработка основ математической теории языков и грамматик, теории конечных автоматов и теории графов»; п.11. «... разработка основ теории надежности и безопасности использования информационных технологий...»; п. 12. «Разработка математических, логических, семиотических и лингвистических моделей и методов взаимодействия информационных процессов, в том числе на базе специализированных вычислительных систем»; п. 14. «Разработка теоретических основ создания программных систем для новых информационных технологий». В паспорте специальности 05.13.05 «Элементы и устройства вычислительной техники и систем управления»:1 п.1. «Разработка научных основ создания и исследования общих свойств и принципов функционирования элементов, схем и устройств вычислительной техники и систем управления»; п.4. «Разработка научных подходов, методов, алгоритмов и программ, обеспечивающих надежность, контроль и диагностику функционирования элементов и устройств вычислительной техники и систем управления». Конкретная раскладка основных результатов, выносимых на защиту, по областям исследований следующая: 1) 05.13.17, п.14; 2) 05.13.05, п.1; 3) 05.13.17, п.4; 4) 05.13.05, п.4; 05.13.17, п.11; 5) 05.13.17, пп.4, 14; 6) 05.13.17, п.10; 7) 05.13.17, п.11; 05.13.05, п.4; 8) 05.13.17, п. 12; 05.13.05, п.1; 9) 05.13.17, п.4; 10) 05.13.17, п.10.

Реализация и внедрение результатов диссертационной работы.

Диссертационная работа выполнена на кафедре "Вычислительная техника" Пензенского государственного университета (ЛГУ) в рамках следующих проектов:

1 Под элементами, схемами и устройствами в диссертационной работе понимаются функциональные блоки и другие артефакты проектирования стандарта ШС 61499

«Разработка САПР ТП с элементами искусственного интеллекта и средств их проектирования на основе ЛВС» по единому заказ-наряду Министерства общего и профессионального образования РФ (№ гос. per. 01.9.50001883) (1993-1997 г.г.);

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

«Разработка моделей и методов проектирования устройств аппаратной поддержки компонент управления процессами и ресурсами распределенных операционных систем» федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы Министерства образования и науки РФ (№ гос. регистрации 01201278457);

"Единая базовая платформа управления наземной инфраструктурой ракетно-космической техники" Федеральной целевой программы "Исследования и разработки по приоритетным направлениям развития разработки научно-технологического комплекса России на 2014-2020" (соглашение № 14.574.21.0045 от 19.06.2014);

грантов А/03/06030 (2003 г.), А/06/27337 (2006 г.), А/10/01033 (2010 г.) Германской службы академических обменов DAAD;

гранта "Breakthrough in Function Block Technology''' (FRDF, 3625072/9573) Оклендского университета (Новая Зеландия), 2011 г.

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

Научные и практические результаты работы включены в ряд лекционных курсов на кафедре "Вычислительная техника" ПГУ, использованы в лабораторных практикумах, курсовом и дипломном проектировании, а также в НИР студентов. Ряд рекомендаций, подготовленных в ходе выполнения диссертационной работы, были учтены при подготовке новой версии международного стандарта IEC 61499. Основные положения диссертационной работы внедрены в НПФ «КРУГ» (Пенза), университете Мартина Лютера (Германия), в Техническом университете Лулео (Швеция) при выполнении проекта Y6.F7 «Verification of FREEDM System Control Robustness» программы FREEDM (NFS, США), а также в Пензенском государственном университете. Использование результатов подтверждено соответствующими актами о внедрении.

Апробация работы. Основные научные положения и результаты диссертационной работы докладывались и обсуждались на следующих отечественных и зарубежных научно-технических конференциях и симпозиумах: Международной конференции "Информационные технологии и системы" (Воронеж, 1993), Международной конференции EAST-WEST "Informa-

tion Technology in Design (EWITD)" (г. Москва, 1994, 1996), IEEE конференции "Robotics and Automation (1СRA'05)" (г. Барселона, Испания, 2005), 6-й Международной конференции "Компьютерное моделирование 2005" (г. Санкт-Петербург, 2005), 11-й конференции IEEE "Emerging Technologies and Factory Automation (ETFA''2006)" (г. Прага, Чехия, 2006), Международных научно-технических конференциях "Интеллектуальные системы (AIS)" (п. Дивноморское, 2004, 2005, 2007), Международной научно-практической конференции "Перспективные технологии искусственного интеллекта" (г. Пенза, 2008), Всероссийских научно-практических конференциях "Современные информационные технологии в науке, образовании и практике" (г. Оренбург, 2007, 2008, 2009), 13-м симпозиуме IFAC "Information Control Problems in Manufacturing (INCOM09)" (г. Москва, 2009), 4-й, 5-й и 9-й конференциях IEEE "Industrial Informatics (INDIN)" (Сингапур, 2006; г. Вена, Австрия, 2007; г. Лиссабон, Португалия, 2011), 37-й ежегодной конференции сообщества по промышленной электронике IEEE IECÖN20W (г. Мельбурн, Австралия, 2011), Международной научно-практической конференции "Информационные ресурсы и системы в экономике, науке и образовании" (г. Пенза, 2011), Международных научно-технических конференциях "Современные информационные технологии" (г. Пенза, 2005, 2008, 2010, 2011, 2012, 2013), Международных научно-методических конференциях "Университетское образование (МКУО)" (г. Пенза, 2005, 2006, 2007, 2008, 2012, 2013, 2014), Международных научно-технических конференциях "Новые информационные технологии и системы (НИ-ТиС)" (г. Пенза, 1994, 1996, 2002, 2004, 2006, 2008, 2010, 2012), XI международной научно-технической конференции "Оптико-электронные приборы и устройства в системах распознавания образов, обработки изображений и символьной информации" ('Распознавание-2013') (Курск, 2013), 1-й Международной научно-практической конференции "Современные проблемы компьютерных наук (СПКН-2013)" (Пенза, 2013), XIV Международной научно-технической конференции «Проблемы техники и технологий телекоммуникаций» (ПТиТТ-2013)» (Самара, 2013). Результаты работы также регулярно обсуждались на конференциях профессорско-преподавательского состава Пензенского государственного университета.

Список литературы диссертационного исследования кандидат наук Дубинин, Виктор Николаевич, 2014 год

СПИСОК ЛИТЕРАТУРЫ

1. Амбарцумян, А. А. Метод прямого синтеза супервизора для структурированной дискретно-динамической системы / А. А. Амбарцумян, Е. Е. Томилин // Автоматика и телемеханика. - 2010.- №8.- С. 168-188.

2. Амбарцумян, A.A. Моделирование и синтез супервизорного управления на сетях Петри для рассредоточенных объектов. I. Механизм взаимодействия и базовый метод / А. А. Амбарцумян // Автоматика и телемеханика. - 2011: - № 8. - С. 151-169.

3. Астапкович, А. М. Встроенные системы управления / А. М. Астапкович, Ю. Е. Шейнин.

- СПб, ГУАП. - 2011. - 224 с.

4. Ахо, А. Теория синтаксического анализа, перевода и компиляции. / А. Ахо, Дж. Ульман. -М.: Мир, 1978.-Т. 1 Синтаксический анализ.-616 с.

5. Балашов, Е. П. Проектирование информационно-управляющих систем / Е. П. Балашов,

1

Д. В. Пузанков. - М.: Радио и связь, 1987. - 256 с.

6. Бартос, Ф. Многоядерные процессоры в промышленной автоматике / Ф. Бартос // Электронные компоненты. - 2011. - № 5. - С. 56-59.

7. Большая Советская Энциклопедия. 3-е издание. - М.: Советская Энциклопедия, 19681979.

8. Брауде, Э. Дж. Технология разработки программного обеспечения / Э. Дж. Брауде. -СПб.: Питер, 2004. - 655 с.

9. Бусленко, В. Н. Автоматизация имитационного моделирования сложных систем / В. Н. Бусленко. - М.: Наука, 1977. - 240 с.

10. Бусленко, Н. П. Моделирование сложных систем / Н. П. Бусленко. - М. : Наука, 1968. -356 с.

I

11. Буч, Г. Объектно-ориентированный анализ и проектирование с примерами приложений / Г. Буч, Р. А. Максимчук, М. У. Энгл, Б. Дж. Янг, Дж. Коналлен, К. А. Хьюстон. - 3-е изд.

- М.: Вильяме, 2008. - 721 с.

12. Буч, Г. Язык UML. Руководство пользователя : пер. с англ. / Г. Буч, Дж. Рамбо, А. Джекобсон. - М.: ДМК Пресс; СПб.: Питер, 2004. - 432 с.

.........I.

13. Вашкевич, Н. П. Вопросы разработки операционной семантики функциональных блоков IEC 61499 / Н. П. Вашкевич, В. Н. Дубинин // Программные системы и вычислительные методы.-2012.-№ 1.-С. 10-16.

14. Вашкевич, Н.П. Иерархические модульные недетерминированные автоматы / Н. П. Вашкевич, В. Н. Дубинин // Новые информационные технологии и системы (НИТС'2012) : тр. X Междунар. науч.-техн. конф. - Пенза, 2012. - С. 3-7.

.......... 375

15. Вашкевич, Н. П. Инструментальные средства для поддержки проектирования дискретных событийных систем на основе недетерминированных автоматов / Н. П. Вашкевич, В. Н. Дубинин, С. В. Тумасов, Е. С. Демин, Д. А. Будаговский // Современные проблемы компьютерных наук (СПКН-2013): сб. ст. I Междунар. науч.-практ. конф. -Пенза, 2013.-С. 104-106.

16. Вашкевич, Н. П.-Использование методов искусственного интеллекта при проектировании интеллектуальных систем управления внешней и массовой памятью ЭВМ / Н. П. Вашкевич, В.Н. Дубинин, С.А. Зинкин // Известия АН СССР. Техническая кибернетика. - 1991. -№ 5. - С. 63-74.

17. Вашкевич, Н. П. Недетерминированные автоматы в проектировании систем параллельной обработки / Н.П. Вашкевич. - Пенза: Изд-во Пенз. гос. ун-та, 2004. - 280 с.

18. Вашкевич, Н. П. Недетерминированные автоматы и их использование для синтеза систем управления: учеб. пособие / Н. П. Вашкевич, С. Н. Вашкевич. - Пенза : Изд-во Пенз. гос. техн. ун-та, 1996. - 88 с.

19. Вашкевич, Н. П. Определение графов зависимостей в онтологии функциональных блоков и их использование для анализа систем управления / Н. П. Вашкевич, В. Н. Дубинин // Вопросы радиоэлектроники,' сер. СОИУ. - 2012. - Вып.4 — С. 74-86.

I

20. Вашкевич, Н. П. Реализация недетерминированных автоматов на языке диаграмм Лад-дера / Н. П. Вашкевич, В. Н. Дубинин // Оптико-электронные приборы и устройства в системах распознавания образов, обработки изображений и символьной информации (Распознавание-2013): тезисы докладов XI междунар. науч.-техн. конф. - Курск, 2013. - С. 243-245.

21. Вашкевич, Н. Ц. Синхронно-асинхронные модели и верификация замкнутых систем «управление-оборудование» / Н. П. Вашкевич, В. И. Волчихин, В. Н. Дубинин // Надежность и качество : тр. Междунар. симпозиума. - Пенза, 2014. —Т. 1. - С. 21-26.

22. Вашкевич, Н. П. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в программы ПЛК в формате PLC Open XML / Н. П. Вашкевич, В. Н. Дубинин, Д. А. Будаговский // Проблемы техники и технологий телекоммуникаций (ПТиТТ-2013) : сб. тр. XIV Междунар. науч.-техн. конф. - Самара, 2013. - С. 245-247.

23. Вашкевич, Н. П. Формализованное описание и верификация дискретных событийных систем с параллельными процессами / Н. П. Вашкевич, В. Н. Дубинин // Вопросы радиоэлектроники, сер.ЭВТ. - 2008. - Вып.5 - С.51-65.

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

...........и • • "

темы и технологии обработки информации : межвуз. сб. науч. тр. - Вып. 10 (33). - 2011. - С. 45-61.

25. Вельдер, С. Э. Верификация автоматных программ / С. Э. Вельдер, М. А. Лукин, А. А. Шалыто, Б. Р. Яминов. - СПбГУ ИТМО, 2011. - 242 с.

26. Воеводин, В. В. Параллельные вычисления / В. В. Воеводин, Вл. В. Воеводин. - СПб. : БХВ-Петербург, 2002. - 608 с.

27. Вяткин, В. В. Проектирование распределенных систем управления промышленными процессами с использованием иМЬ-БВ / В. В. Вяткин, В. Н. Дубинин, Х.-М. Ханиш // Интеллектуальные системы (А18'04) : тр. междунар. науч.-техн. конф. (Дивноморское). — М. : Физ-матлит, 2004.-Т. 1.-С. 193-199.

28. Гаврилова, Т. А.' Базы знаний интеллектуальных систем / Т. А. Гаврилова, В.Ф. Хорошевский. - СПб.: Питер, 2000. - 384 с.

29. Гамма, Э. Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Влиссидес. - СПб.: Питер, 2001. - 368 с.

30. Гома, X. иМЬ. Проектирование систем реального времени, параллельных и распределенных приложений / X. Гома. - М.: ДМК, 2002. - 704 с.

31. Горбатов, В. А. Логическое управление распределенными системами / В. А.Горбатов, М. И. Смирнов, И. С. Хлытчиев; Под ред. В.А.Горбатова. - М.: Энергоатомиздат, 1991. — 287 с.

32. Горбатов, В. А. Логическое управление технологическими процессами : монография / В. А. Горбатов, П. Г. Павлов, В. В. Кафаров. - М.: Энергия, 1978. - 272 с.

33. Грекул, В. И. Проектирование информационных систем: учеб. пособие / В. И. Грекул, Г. Н. Денищенко, Н. Л. Коровкина. - М.: Интернет-Университет Информационных технологий. - 2008. - 299 с.

34. Динцис, Д. Ю. Модификация алгебры дискретно-событийных моделей для промышленных технологических систем / Д. 10. Динцис // Приборы и системы. Управление, контроль, диагностика.-2008. ^ 1.-С.10-13

35. Диянов, И. А. Инженерная методика синтеза моделей распределенных супервизоров для дискретно-событийных систем / И. А. Диянов, В. Н. Дубинин // Новые информационные технологии и системы (НИТС'2010): тр. ЕХ Междунар. науч.-техн. конф. - Пенза, 2010. - Ч. 2. -С. 164-176.

36. Добров, Б. В. Онтологии и тезаурусы. Модели, инструменты, приложения / Б. В. Доб-ров , В. В. Иванов , Н. В. Лукашевич , В. Д. Соловьев. - М.: Интернет-университет информационных технологий, Бином. Лаборатория знаний, 2009. - 176 с.

37. Дроздов, Д. Н. Реализация циклической модели выполнения функциональных блоков 1ЕС 61499 в ЭМУ / Д.Н. Дроздов, В.Н. Дубинин, Л.П. Климкина // Университетское образование (МКУО-2014) : сб. ст. XVIII Междунар. науч.-метод. конф. - Пенза, 2014. - С. 172-175.

38. Дубинин, В. Н. Автоматическая трансляция систем функциональных блоков IEC 61499 в код SMV / В. Н. Дубинин, Д. Н. Дроздов, Н. П. Вашкевич // Проблемы техники и технологий телекоммуникаций (ПТиТТ-2013): сб. тр. XIV Междунар. науч.-техн. конф. - Самара, 2013. - С. 259-261.

39. Дубинин, В. Н. Анализ расширенных NCES-сетей на основе метода Model Checking / В. Н. Дубинин, Х.-М. Ханиш, В. В. Вяткин, С. К. Шестаков // Новые информационные технологии и системы (НИТиС'2010) : тр. IX Междунар. науч.-техн. конф. - Пенза, 2010. - Ч. 2. - С. 20-48.

40. Дубинин, В. Н. Асинхронное моделирование NCES-сетей / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. — 2009. - № 2. - С. 3-14.

41. Дубинин, В. Н. Верификация алгоритмов функционирования и оценка производительности подсистем ввода-вывода вычислительных комплексов на основе сетевых формализмов / В. Н. Дубинин, С. А. Зинкин. М., 1987. Деп. в ВИНИТИ 24.08.87, №6871-В87. - 122 с.

42. Дубинин, В. Н. Верификация приложений IEC 61499 на основе метода Model Checking / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2011. -№ 3. — С. 44—55.

43. Дубинин, В. Н. Графо-трансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2008. - № 4. - С. 16-26.

44. Дубинин, В. Н. Графовые трансформации для синтеза формальных моделей управляющих приложений IEC 61499 / В. Н. Дубинин // Современные информационные технологии в науке, образовании и практике : материалы VII Всерос. науч.-практ. конф. (с международным участием). - Оренбург : ОГУ, 2008. - С. 28^11.

45. Дубинин, В. Н. Децентрализованное управление распределенными данными в локальной вычислительной сети: спецификация, моделирование, реализация и применение в распределенных вычислениях / В. Н. Дубинин. М., 1997. Деп. в ВИНИТИ 10.06.97, № 1946-В97. - 78 с.

46. Дубинин, В. Н. Изучение XML-технологий на примерах систем промышленной автоматики / В. Н. Дубинин, Д. П. Климкина // Университетское образование (МКУО-2006): сб. ст.

1, ..... . . X Междунар. науч.-метод. конф. - Пенза, 2006. - С. 442-444.

47. Дубинин, В. Н. Интерпретация реверсивных частично-маркированных sNCES-сетей / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. - № 3. - С.23-34.

48. Дубинин, В. Н. Использование дескриптивной логики и Web-онтологий в определении визуальных языков / В.Н. Дубинин // Перспективные технологии искусственного интеллекта : материалы Междунар. науч.-практ. конф. - Пенза, 2008.

49. Дубинин, В. Н. Использование реверсивных частично-маркированных зЖ!Е8-сетей в синтезе контроллеров безопасности для дискретно-событийных систем / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. — 2008. - № 1. -С.25-35.

50. Дубинин, В. Н. Использование \УеЬ-онтологий в проектировании реконфигурируемых систем промышленной автоматики / В. Н. Дубинин, В. В. Вяткин // Интеллектуальные системы (А18'07) : тр. междунар. науч.-техн. конф. (Дивноморское). - М. : Физматлит, 2007. - Т. 2. - С. 14-22.

51. Дубинин, В.Н. Конвертор ХМЬ-описаний систем управления на основе стандарта 1ЕС 61499 в иМЬ-РВ-модели / В. Н. Дубинин, С. И. Раскин // Хроники объединенного фонда электронных ресурсов «Наука и образование». - 2013. - № 4. - С. 14. - Режим доступа: http://ofernio.rU/portal/newspaper/ofernio/2013/4.doc.

52. Дубинин, В. Н. Концептуальное моделирование систем управления на основе функциональных блоков 1ЕС 61499 / В. Н. Дубинин // Вестник ТГТУ. - 2009. - № 3. - С. 467-477.

53. Дубинин, В. Н. Метамоделирование функциональных блоков ШС 61499 и ТЧСЕЗ-сетей

• • • > .......I!

/ В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии : тр. междунар. науч.-техн. конф. - Пенза, 2008. - Вып. 8. - С. 162-169.

54. Дубинин, В. Н. Модели последовательного выполнения функциональных блоков 1ЕС 61499 на основе динамически изменяемых приоритетов / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. — № 1. — С. 13-22.

55. Дубинин, В. Н. Модели функциональных блоков 1ЕС 61499, их проверка и трансформации в проектировании распределенных систем управления: монография / В. Н. Дубинин, В. В. Вяткин. - Пенза: Изд-во ПГУ, 2012. - 348 с.

56. Дубинин, В. Н. Моделирование динамики и трансформаций информационно-управляющих систем / В.'Н. Дубинин, Л. П. Климкина // Университетское образование (МКУО-2012): сб. ст. XVI Междунар. науч.-метод. конф. - Пенза, 2012. - С. 86-87.

57. Дубинин, В. Н. Моделирование и верификация функциональных блоков 1ЕС 61499 с использованием 8МУ / В. Н. Дубинин, В. В. Вяткин // Информационные ресурсы и системы в экономике, науке и образовании : сб. ст. междунар. науч.-практ. конф. - Пенза : Приволжский Дом знаний, 2011. - С. 5-Д0.

58. Дубинин, В. Н. Моделирование недетерминированных автоматов с использованием сетевых систем "Условие-Событие" / В. Н. Дубинин // Новые информационные технологии и системы (НИТС'2012): тр. X Междунар. науч.-техн. конф. - Пенза, 2012. - С. 239-244.

59. Дубинин, В. Н. Моделирование производственных систем с использованием продукционных систем представления знаний / В. Н. Дубинин, JI. П. Климкина // Университетское образование (МКУО-2008): сб. ст. XII Междунар. науч.-метод. конф. - Пенза, 2008. - С.127-129.

60. Дубинин, В. Н. Моделирование систем транспортировки деталей на основе функциональных блоков стандарта IEC 61499 / В. Н. Дубинин // Новые информационные технологии и системы (НИТС'2002) : материалы V Междунар. науч.-техн. конф. — Пенза, 2002. — С. 32.

61. Дубинин, В. Н. Моделирование систем функциональных блоков IEC 61499 с помощью модульных арифметических NCES-сетей / В. Н. Дубинин // Новые информационные технологии и системы (НИТиС'2008) : тр. VIII Междунар. науч.-техн. конф. - Пенза, 2008. - Ч. 2. - С. 47-64.

62. Дубинин, В. Н. Моделирование функциональных блоков в системе CPN Tools / В. Н. Дубинин, В. Б. Механов, Е. К. Таранцев // Вычислительные системы и технологии обработки информации : межвуз. сб., науч. тр. - 2011. - Вып.10 (33). - С. 7-19.

63. Дубинин, В. Н. Моделирование и верификация приложений IEC 61499 с использованием языка Prolog / В. Н. Дубинин, В. В. Вяткин // Компьютерное моделирование 2005 : тр. VI Междунар. конф. - Санкт-Петербург, 2005. - С. 277-286.

64. Дубинин, В.Н. Модельно-центрированная методология проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики / В. Н. Дубинин // Современные информационные технологии : тр. междунар. науч.-техн. конф. - Пенза, 2013. - Вып. 18. - С. 7-24.

65. Дубинин, В. Н. Некоторые структурные преобразования функциональных спецификаций / В. Н. Дубинин // Новые информационные технологии и системы (НИТС'2002) : материалы V Междунар. науч.-техн. конф. - Пенза, 2002. - С. 33.

66. Дубинин, В. Н. -Об одной методике проектирования супервизорного управления для

... ? . . ^ i-

дискретно-событийных систем / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2009. -№ 3. - С.12-14.

67. Дубинин, В. Н. Об одной методике проектирования супервизоров для предотвращения запрещенных состояний в дискретно-событийных системах / ВН. Дубинин // Современные информационные технологии : тр. междунар. науч.-техн. конф. - Пенза, 2008. - Вып. 8. - С. 143-159.

68. Дубинин, В. Н. Обнаружение циклов в системах функциональных блоков IEC 61499 с использований онтологий / В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии : тр. междунар. науч.-техн. конф. — Пенза, 2011. — Вып.13. — С. 149-161.

69. Дубинин, В. Н. Одноуровневое представление систем функциональных блоков / В. Н. Дубинин // Современные информационные технологии-2005 : сб. ст. междунар. науч.-техн. конф. - Пенза, 2005. - С. 59-63.

70. Дубинин, В. Н, Онтология функциональных блоков стандарта 1ЕС 61499 / В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии : тр. междунар. науч.-техн. конф.-Пенза, 2010.-Вып. 12.-С. 113-126.

71. Дубинин, В. Н. Онтология языков программирования стандарта 1ЕС 61131-3/ Д.А. Бу-даговский, В.Н. Дубинин // Университетское образование (МКУО-2014) : сб. ст. XVIII Междунар. науч.-метод. конф. - Пенза, 2014. - С. 164-166.

72. Дубинин, В. Н. Опережающие вычисления в системах функциональных блоков 1ЕС 61499 / В. Н. Дубинин, В. В. Вяткин, Д. Н. Дроздов // Современные информационные технологии : тр. междунар. науч.-техн. конф. - Пенза, 2013. - Вып. 17. - С. 9-24.

73. Дубинин, В. Н. Операционная семантика синхронных функциональных блоков 1ЕС 61499 на основе машин абстрактных состояний. Ч. 1. Модель диспетчеров / В. Н. Дубинин, В. В. Вяткин // XXI век: итоги прошлого и проблемы настоящего Плюс. - 2012. - Вып. 4. - С. 233240.

74. Дубинин, В. Н. Операционная семантика синхронных функциональных блоков 1ЕС 61499 на основе машин абстрактных состояний. Ч. 2. Модели блоков и представление в БМУ / В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии : тр. междунар. науч.-техн. конф.-Пенза, 2011.'-Вып.14. - С. 94-100.

75. Дубинин, В. Н. Операционная семантика функциональных блоков 1ЕС 61499 (Часть 1: Модель базисного блока) / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. — 2012. - № 4. - С.37-48.

76. Дубинин, В. Н. Операционная семантика функциональных блоков ГЕС 61499 (Часть 2: циклическая модель выполнения) / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2013. - № 2 - С. 45-58.

77. Дубинин, В. Н. Построение поисково-трансформационных систем для поддержки проектирования компонентно-базированных систем промышленной автоматики / В. Н. Дубинин, В. В. Вяткин // Интеллектуальные системы (А18'05)» и «Интеллектуальные САПР (САЕ)-2005) : тр. междунар. науч.-техн. конф. В 3 т. - М.: Физматлит, 2005. - Т. 2. - С. 30-35.

78. Дубинин, В. Н. Программная система для интерпретации реверсивных безопасных МСЕБ-сетей / В. Н. Дубинин, С. В. Тумасов, К. Ю. Тархов // Проблемы техники и технологий

телекоммуникаций (ПТиТТ-2013): сб. тр. XIV Междунар. науч.-техн. конф. - Самара, 2013. - С.

\

262-264.

79. Дубинин, В. Н. Проектирование распределенных систем управления промышленными

процессами с использованием иМЬ-РВ / В. Н. Дубинин, В. В. Вяткин // Известия высших учеб-

•• ! •••!). ... ных заведений. Поволжский регион. Технические науки. - 2004. - № 2 (11). - С. 136-146.

80. Дубинин, В. Н. Проектирование управляющих приложений на основе трансформации онтологий с использованием языков логического программирования / В.Н. Дубинин, В.В. Вяткин // Современные информационные технологии : тр. междунар. науч.-техн. конф. - Пенза, 2012. -Вып. 16.-С. 6-25.

81. Дубинин, В. Н. Разработка визуальных имитационных моделей производственных систем на основе UML и функциональных блоков / В. Н. Дубинин, А. А. Дубравин, В. В. Чере-мушкин, В. В. Вяткин // Новые информационные технологии и системы (НИТС'2004) : тр. VI Междунар. науч.-техн. конф. - Пенза, Россия, 17-19 июня 2004. - Ч. 2. - С. 68-76.

82. Дубинин, В. Н. Разработка инструментальных средств проектирования распределенных систем управления промышленными процессами / В. Н. Дубинин // Университетское образование (МКУО-2005) : сб. ст. Междунар. науч.-метод. конф. - Пенза, 2005.

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

84. Дубинин, В. Н. Распределенная реализация интерпретированных сетей Петри в архитектуре IEC 61499 / В. Н. Дубинин // Вычислительные системы и технологии обработки информации : межвуз. сб. науч. трудов. — Пенза : Изд-во Пенз. гос. ун-та, 2005. -Вып. 3(29). — С. 58— 64.

85. Дубинин, В. Н. Реализация некоторых видов взаимодействий в системах, основанных на стандарте IEC 61499 / В. Н. Дубинин // Вычислительные системы и технологии обработки информации : межвуз. сб. науч. трудов. - Пенза : Изд-во Пенз. гос. ун-та, 2005. - Вып. 3(29). -С. 65-71.

86. Дубинин, В. Н. Реверсивные частично-маркированные sNCES-сети / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. -№ 2, - С. 22-31.

87. Дубинин, В. Н. Рефакторинг диаграмм управления выполнением стандарта IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. — 2008. - № 2. — С. 16-25.

88. Дубинин, В. Н. Семантический анализ описаний систем управления промышленными процессами на основе стандарта IEC 61499 с использованием онтологий / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. -2010.-№3 (15).-С. 3-15.

89. Дубинин, В. Н. Семантическое моделирование систем промышленной автоматики / В. Н. Дубинин, Л. П. Климкина // Университетское образование (МКУО-2007) : сб. ст. XI Между-нар. науч.-метод. конф. - Ценза, 2007. - С. 194-196.

90. Дубинин, В. Н. Сетевые модели распределенных систем обработки, хранения и передата данных: монография / В. Н. Дубинин, С. А. Зинкин. - Пенза: Приволжский Дом знаний, 2013.-452 с.

91. Дубинин, В. Н. Система имитационного моделирования распределенных систем про-мышлешюй автоматики на основе функциональных блоков / В. Н. Дубинин // Новые информационные технологии и системы (НИТиС'2010): тр. IX Междунар. науч.-техн. конф. - Пенза, 2010. -Ч. 2.-С. 9-20.

92. Дубинин, В.Н. Система имитационного моделирования функционально-децентрализованных вычислительных систем / В.Н. Дубинин, С.А. Зинкин; Пенз. политехи, инт. - Пенза, 1986. - 161 с. - Гос. фонд алгоритмов и программ СССР; Инв. № 50870001130 // Алгоритмы и программы: Инф. бюл. - М.: ВНТИЦентр, 1988. - № 2. - С.10.

........"'К, •■

93. Дубинин, В. Н. Система структурного проектирования вычислительных систем на основе сетевых формализмов / В. Н. Дубинин, С. А. Зинкин. М., 1987. Деп. в ВИНИТИ 26.01.87, №555-В87. — 114 с.

94. Дубинин, В. Н. Создание информационных систем для поддержки проектирования на основе функциональных блоков ШС 61499 / В. Н. Дубинин // Новые информационные технологии и системы (НИТС'2002) : материалы V Междунар. науч.-техн. конф. - Пенза, 2002. - С. 34—37.

95. Дубинин, В. Н. Сравнительный анализ некоторых аспектов выполнения функциональных блоков 1ЕС 61499 / В. Н. Дубинин // Современные информационные технологии в науке, образовании и практике : материалы VII Всерос. науч.-практ. конф. (с международным участием). - Оренбург : ОГУ, 2009. - С. 19-28.

96. Дубинин, В. Н. Установление коллективного соединения в локальной вычислительной

I

сети / В. Н. Дубинин, Е. В. Москалянов. М., 1995. Деп. в ВИНИТИ 12.04.95, № 1000-В95. - 42 с.

97. Дубинин, В. Н. Формализация моделей выполнения функциональных блоков 1ЕС 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. -2011. -№ 1. - С. 12-23.

98. Дубинин, В. Н. формализованное описание и моделирование систем функциональных блоков ШС 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2005. -№ 5 (20). — С. 76-89.

99. Дубинин, В. Н. Формализованное описание и разработка моделей выполнения систем интерфейсов функциональных блоков ШС 61499 / В. Н. Дубинин // Современные информационные технологии-2008 : тр. междунар. науч.-техн. конф. - Пенза, 2008. -Вып.7 - С. 155-164.

100. Дубинин, В. Н.'Функционально-блочная реализация моделей выполнения в системах функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии :тр.междунар.науч.-техн.конф. — Пенза,2010.-Вып. 11. —С. 123-138.

101 А51. Дубинин, В. Н. Шаблон реализации функциональных блоков «Синхронная модель выполнения» / В. Н. Дубинин, В. В. Вяткин // Современные информационные технологии : тр. междунар. науч.-техн. конф. - Пенза, 2010. — Вып. 12. - С. 102-113.

102. Дубинин, В. Н. XSLT-преобразования систем функциональных блоков / В. Н. Дубинин, Л. П. Клнмкина // Университетское образование (МКУО-2013) : сб. ст. XVII Междунар. науч.-метод. конф. - Пенза, 2013. - С. 102-104.

103. Задыхайло, И. В. Механизмы синхронизации в языках параллельного программирования (обзор) / И. В. Задыхайло, С. Д. Зеленецкий // Техническая кибернетика. Изв. АН СССР. -1985.-№5.-С. 129-174.

104. Закревский, А. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, 10. В. Поттосин, Л. Д. Черемисинова. - М.: Физматлит, 2007. - 588 с.

105. Замулин, А. В. Формальная модель Java-nporpaMMbi, основанная на машинах абстрактных состояний / А. В. Замулин // Программирование. - 2003. - № 3. - С. 15-28.

106. Зюбин, В. Е. Программирование информационно-управляющих систем на основе ко-

ч>

нечных автоматов: учеб.-метод. пособие / В. Е. Зюбин. - Новосибирск: Изд-во: Новосиб. гос. ун-та, 2006. - 96 с.

107. Имитационное моделирование производственных систем / Под общ. ред. А. А. Вавилова. -М.: Машиностроение; Берлин: Техника, 1983.-416 с.

108. Каляев, И. А. Децентрализованные системы компьютерного управления / И. А. Каляев, Э. В. Мельник. - Изд-во ЮНЦ РАН. - 2011. - 196 с.

109. Кангин, В. В. Аппаратные и программные средства систем управления. Промышленные сети и контроллеры / В. В. Кангин, В. Н. Козлов. - М.: БИНОМ, Лаборатория знаний, 2010. -418 с.

110. Кардаш, Д. И. Быстродействующий программируемый логический контроллер на основе программируемой логики / Д. И. Кардаш // Проблемы машиноведения, процессов управления и критических технологий. Сб. науч. тр. АНРБ. - 2008.- С. 198-204.

111. Карпов, Ю. Г. Model Checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. - СПб.: БХВ-Петербург, 2010. - 552 с.

112. Касьянов, В. Н. Графы в программировании: обработка, визуализация и применение / В. Н. Касьянов, В. А. Евстигнеев. - СПб.: БХВ-Петербург, 2003. - 1104 с.

113. Кларк, Э. Верификация моделей программ: Model Checking / Э. Кларк, О. Грамберг, Д. Пелед. - М.: МЦНМО, 2002. - 416 с.

........<■ ........ Ч. •" ' .....

384

114. Клоксин, У. Программирование на языке Пролог / У. Клоксин, К. Меллиш. - М.: Мир, 1987.-336 с.

115. Ковалёв, С. П. Применение формальных методов для обеспечения качества вычислительных систем / С. П. Ковалёв // Вестник Новосибирского государственного университета. Математика, механика, информатика. - 2004. - T. IV. - Вып. 2. - С. 49-74.

116. Кораблин, Ю. П. Семантика языков программирования: учеб. пособие / Ю. П. Кораб-лин. - М. : Изд-во МЭИ, 1992. - 100 с.

117. Котов, В. Е. Сети Петри / В. Е. Котов. - М. : Наука, 1984. - 158 с.

118. Кулямин, В. В, Методы верификации программного обеспечения / В. В. Кулямин // Всероссийский конкурсный отбор обзорно-аналитических статей по приоритетному направлению «Информационно-телекоммуникационные системы», 2008. — 117 с. - URL: — http://www.ict.edu.ru/lib/index.php?id_res=5645

119. Кутузов, B.B. Конвертор многоуровневых модульных NCES-сетей в одноуровневые NCES-сети / В. В. Кутузов, В. Н. Дубинин // Хроники объединенного фонда электронных ресурсов «Наука и образование». - 2012. - № 2. - С. 14-15. - Режим доступа: http://ofemio.rU/portal/newspaper/ofernio/2012/2.doc.

120. Лазарев, В. Г. Синтез управляющих автоматов / В. ГЛазарев, Е. И. Пийль. - М. : Энергоатомиздат, 1989. - 328 с.

121. Лепилин, И.Б. Графический редактор сетевого представления недетерминированных

автоматов / И.Б. Лепилин, Н.П. Вашкевич, В.Н. Дубинин // Хроники объединенного фонда

•• 1........"

электронных ресурсов "Наука и образование". - 2010. - № 2. - С. 20. - Режим доступа:

http://ofernio.ru/portal/newspaper/ofernio/2010/11 .doc.

122. Логическое проектирование БИС / В. А. Мищенко [и др.]; под ред. В. А. Мищенко. -М.: Радио и связь, 1984.-310 с.

123. Лыоис, Ф. Теоретические основы проектирования компиляторов / Ф. Лыоис, Д. Розен-кранц, Р. Стирнз. - М. : Мир, 1979. - 654 с.

124. Люггер, Дж. Ф. Искусственный интеллект: стратегии и методы решения сложных проблем : пер. с англ. / Дж. Ф. Люгер - М. : Вильяме, 2003. - 864 с.

125. Майоров, С.А. Структура электронных вычислительных машин / С. А. Майоров, Г.И. Новиков. — Л.: Машиностроение, 1979. — 384с.

126. Маклаков, С. В'. BPwin и ERwin. CASE-средства разработки информационных систем / С. В. Маклаков. - М: Диалог-МИФИ, 1999. - 256 с.

127. Миронов, А. М. Верификация программ методом Model Checking / A. M. Миронов. -URL: http://intsys.msu.ru/staff/mironov/ modelchk.pdf

)

128. Назаретов, В. М. Робототехнические комплексы. Искусственный интеллект. Робототехника и гибкие автоматизированные производства : в 9 кн. / В. М. Назаретов, Д. П. Ким ; под ред. И. М. Макарова. - М. : Высш. шк., 1986. - Кн. 6. Техническая имитация интеллекта : учеб. пособие для втузов. - 144 с.

129. Непомнящий, В. А. Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; под ред. А. П. Ершова. - М.: Радио и связь. 1988. - 256 с.

130. Новиков, Д.А. О предмете и структуре методологии / Д. А. Новиков, А. М. Новиков // Мир образования — образование в мире. - 2008. - №1. - С. 29-41.

131. Новиков, А. М. Методология / А. М. Новиков, Д. А. Новиков. - М.: СИНТЕГ, 2007. -

668 с.

132. Ослэндер, Д. М. Управляющие программы для механических систем: объектно-ориентированное проектирование систем реального времени / Д. М. Ослэндер, Дж. Р. Риджли, Дж. Д. Рингтенберг; Пер. с англ. - М.: БИНОМ. Лаборатория знаний, 2004. - 413 с.

133. Петров, И. В. Программируемые контроллеры. Стандартные языки и приемы прикладного программирования / И. В. Петров; под ред. В.П. Дьяконова. - М.: СОЛОН-Пресс, 2004.-256 с.

134. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. - М.: Мир, 1984.-263.

135. Поликарпова, Н. И. Автоматное программирование / Н. И. Поликарпова, А. А. Шалы-то. - СПб.: Питер, 2011. - 176 с.

136. Полин, Е.Л. Абстрактные композиционные автоматы / Е.Л. Полин, К.В. Защелкин // Труды Одесского политехнического университета. - 2006. - Вып. 1(25). - С. 88-94.

137. Пономарев, О. П. Наладка и эксплуатация средств автоматизации. ЗСАОА-системы. Промышленные шины и интерфейсы. Общие сведения о программируемых логических контроллерах и одноплатных компьютерах: учеб. пособие / О. П. Пономарев - Калининград: Изд-во Ин-та «КВШУ», 2006. - 78 с.

138. Попов, Е. П. Робототехника и гибкие производственные системы / Е. П. Попов. — М.: Наука, 1987.- 191 с.

139. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы "Развитие научного потенциала высшей школы (2009-2011 годы)": в 6 т. / рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.] - Пенза. - Т. 1. - 2009. - 131 е.; Т. 2. - 2009. - 280 е.; Т. 3. - 2010. - 362 е.; Т. 4. -2010. - 315 е.; Т. 5. - 2011. - 229 е.; Т. 6. - 2011. - 419 с.

140. Разработка комплекса формальных моделей и их трансформаций для проектирования распределенных информационно-управляющих систем промышленной автоматики: заюноч. отчет о НИР по проекту № 2.1.2/4257 аналитической ведомственной целевой программы "Развитие научного потенциала высшей школы (2009-2011 годы)"/; рук. Н.П. Вашкевич; исполн. В.Н. Дубинин [и др.]. - Пенза, 2012. - 54 е.; № гос. регистрации 01200952061.

141. Разработка моделей и методов проектирования устройств аппаратной поддержки компонент управления процессами и ресурсами распределенных операционных систем: отчет о НИР по проекту № 14.В37.21.0597 федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы / рук. Н.П. Вашкевич; исполн. P.A. Бикташев, В.Н. Дубинин [и др.] - Пенза. -2013.-451 с.

142. Райцин, М. А. Программный комплекс «Карно» для минимизации булевых функций методом Закревского / М. А. Райцин, П. С. Сухотюк: - URL: http://miraj.net.ru/cgi-bin/download.cgi?id=30.

143. Свидетельство об официальной регистрации программы для ЭВМ № 2012611397. Система семантического анализа проектов стандарта IEC 61499 / Дубинин В.Н., Реуцкий В.А. — Заявка № 2011619346; Зарегистр. в реестре программ для ЭВМ 03.02.2012.

144. Свидетельство'об официальной регистрации программы для ЭВМ № 2012611398.

* * ' '1 '' Транслятор XML-описаний NCES-сетей в код SMY / Дубинин В.Н., Шестаков С.К. - Заявка №

2011619347; Зарегистр. в реестре программ для ЭВМ 03.02.2012.

145. Свидетельство об официальной регистрации программы для ЭВМ № 2013615412. Транслятор XML-описания функциональных блоков стандарта IEC 61499 в код VHDL / Дроздов Д.Н., Дубинин В.Н. - Заявка № 2013613102; Зарегистр. в реестре программ для ЭВМ 06.06.2013.

146. Свидетельство об официальной регистрации программы для ЭВМ № 2013615737. Конвертор UML-FB-моделей систем управления на основе стандарта IEC 61499 в формат XML / Дубинин В.Н., Вашкевич Н.П. - Заявка № 2013613412; Зарегистр. в реестре программ для ЭВМ 19.06.2013.

147. Свидетельство об официальной регистрации программы для ЭВМ № 2013615837. Визуальная интерактивная имитационная модель производственной установки FESTO на основе функциональных блоков IEC 61499 / Дубинин В.Н. - Заявка № 2013613758; Зарегистр. в реестре программ для ЭВМ 21.06.2013.

148. Свидетельство об официальной регистрации программы для ЭВМ № 2013616261. Система реструктуризации и преобразований функциональных блоков на основе трансформации графов / Дубинин В.Н., Вашкевич Н.П., Колесин A.B., Тяпков A.M. - Заявка № 2013613939; Зарегистр. в реестре программ для ЭВМ 02.07.2013.

149. Свидетельство об официальной регистрации программы для ЭВМ № 2013619797. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в программы ПЛК в формате PLCOpen XML / Будаговский Д.А., Дубинин В.Н., Вашкевич Н.П. - Заявка № 2013617483; Зарегистр. в реестре программ для ЭВМ 16.10.2013.

150. Свидетельство об официальной регистрации программы для ЭВМ № 2013617850. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в код VHDL / Вашкевич Н.П., Дубинин В.Н., Демин Е.С. - Заявка № 2013615775; Зарегистр. в реестре программ для ЭВМ 26.08.2013.

151. Свидетельство, об официальной регистрации программы для ЭВМ № 2013661546. Программный комплекс для поддержки проектирования дискретных событийных систем на основе недетерминированных автоматов / Вашкевич Н.П., Дубинин В.Н., Тумасов C.B., Демин Е.С. - Заявка № 2013613414; Зарегистр. в реестре программ для ЭВМ 10.12.2013.

152. Свидетельство об официальной регистрации программы для ЭВМ № 2013661891. Транслятор XML-описания функциональных блоков стандарта IEC 61499 в код SMV / Дубинин В.Н., Дроздов Д.Н. - Заявка № 2013660001; Зарегистр. в реестре программ для ЭВМ 18.12.2013.

153. Сергиенко, A. M. VHDL для проектирования вычислительных устройств / A.M. Сер-гиенко. - К.: ЧП «Корнейчук», ООО «ТИД «ДС», 2003. - 208 с.

154. Скопшщев, Р. Г. Подход к реализации систем функциональных блоков IEC 61499 на языке VHDL / Р. Г. Скопинцев, В. Н. Дубинин // Новые информационные технологии и системы (НИТиС'2012) : тр. X Междунар. науч.-техн. конф. - Пенза, 2012. - С. 59-64.

' ' "»к

155. Управление гибкими производственными системами: Модели и алгоритмы/ Под общ. ред. С. В. Емельянова. - М. : Машиностроение, 1987. - 368 с.

156. Управляющие вычислительные комплексы: учеб. пособие / Под ред. Н. Л. Прохорова." М.: Финансы и статистика, 2003. - 352 с.

157. Философский энциклопедический словарь. - М.: Сов. Энциклопедия, 1983.

158. Холзнер, С. XSLT. Библиотека программиста / С. Холзнер. - СПб. : Питер, 2002. -

544 с.

159. Черемушкин, В. В. Визуальная имитационная модель производственной установки FESTO на основе функциональных блоков IEC 61499 [Электронный ресурс] / В. В. Черемушкин, В. Н. Дубинин. - URL: http://alice.pnzgu.ru/~dvn/ib61499/festo/visual_simulation_ fbdk/index.html

160. Шалыто, А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто. - СПб.: Наука, 1998. - 628 с.

161. Юдицкий, С. А. Проектирование дискретных систем автоматики / С. А. Юдицкий, А. А. Тогаевская, Т. К. Ефремова. -М. : Машиностроение, 1980.-232 с.

162. Яблонский, С. В. Введение в дискретную математику / С. В. Яблонский. - М.: Высшая школа, 2003. - 384 с.

163. Ямпольский, JI. Управление дискретными процессами в ГПС / Л. Ямпольский, 3. Ба-нашак, К. Хасегава, Б. Крог, К. Такахаши, А. Борусан. - К.: Тэхника; Вроцлав: Изд-во Вроцлав, политехи, ин-та, 1992.-251 с.

164. 4DLAC - Framework for Distributed Industrial Automation. - URL: http://www.fordiac.org, 2010

165. Abstract State Machine Web-site. - URL: http://www.eecs. umich.edu/gasm/

166. AGG Web-сайт. - URL: http://tfs.cs.tu-berlin.de/agg

167. Akesson, K. Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems / K. Akesson, M. Fabian, H. Flordal, R. Malik // Proceedings of the 8th International Workshop on Discrete Event Systems, WODES '06. - 2006. - P. 384-395.

168. Albers, K. Hierarchical event streams and event dependency graphs: a new computational model for embedded real-time systems / K. Albers, F. Bodmann, F. Slomka // 18th Euromicro Conference on Real-Time Systems. — 2006. - 10 p.

169. Allen, L.V. Closed-Loop Determinism for Non-Deterministic Environments: Verification for IEC 61499 Logic Controllers / L.V. Allen, K.M. Goh, D.M. Tilbury // IEEE International Conference on Automation Science and Engineering. - 2009. - P. 1-6.

. ■ i

170. Allen, L. V. Verication and Anomaly Detection for Event-Based Control of Manufacturing Systems. - PhD. Theses : University of Michigan, 2010.-170 p.

171. Arakawa, N. Semantic Analysis based on Ontologies with Semantic Web Standards / N. Ara-kawa // Int. Conf. Computer-aided Acquisition of Semantic Knowledge (CASK-2008). - Paris : Sorbonne, 2008.-8 p.

i ' ■ .....

172. Arnold, A. Finite transition systems: semantics of communicating systems / A. Arnold. -Masson, 1994.- 177 p.

173. Automation Objects for Industrial-Process Measurement and Control Systems. Working draft of International Standard IEC // International Electrotechnical Commission (Technical Committee No. 65), 2002. - 14 p.

i

174. Barbeau, M. Beyond the verification approach: the synthesis approach / M. Barbeau, R.St-Denis // WorldScientific. - 1999. - № 1. - P. 1-23

175. Boel, R. Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems / R. Boel, X.R. Cao, G. Cohen, A. Giua, W.M. Wonham, J.H. van Schuppen // J. Discrete Event Dynamic Systems: Theory and Application. - 2002. - Vol. 12, No. 3. -P. 253-264.

176. Börger, E. Abstract State Machines. A Method for High-Level System Design and Analysis / E. Börger, R. F. Staerk. - Berlin; Heidelberg: Springer Verlag, 2003. - 438 c.

177. Börger, E. Abstract State Machines: a unifying view of models of computation and of system design frameworks / E. Börger // Annals of Pure and Applied Logic. - 2005. - Vol. 133, № 1-3. -P. 149-171.

178. Börger, E. A High-Level Modular Definition of the Semantics of C# / E. Börger, N. Fruha, V. Gervasi, R. Staerk // Theoretical Computer Science. - 2005. - Vol. 336, Issue 2-3. - P. 1-35.

179. Bonfe, M. An application of software design methods to manufacturing systems supervision and control / M. Bonfe, C. Donati, C. Fantuzzi // IEEE Conf. on Control Application (IEEE-CCA). -Scotland, Glasgow, 2002. - Vol. 2. - P. 850-855.

180. Bonfe, M. Design and verification of mechatronic object-oriented models for industrial control systems / M. Bonfe, C. Fantuzzi // IEEE Conference Emerging Technologies and Factory Automation (ETFA '03), 2003. - Vol. 2. - P. 253-260.

181. Bräuer, M. An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning / M. Bräuer, H. Lochmann // The Semantic Web: Research and Applications. LNCS. -Berlin; Heidelberg: Springer Verlag, 2008. - Vol. 5021. - P. 34-48.

182. Bräuer, M. Towards Semantic Integration of Multiple Domain-Specific Languages Using Ontological Foundations / M. Bräuer, H. Lochmann // 4th International Workshop on (Software) Language Engineering (ATEM 2007) co-located with MoDELS, 2007. - 15 p.

183. Brennan, R. W. Automation objects: enabling embedded intelligence in real-time mechatronic systems / R.W. Brennan, L. Ferrarini, J. L. M. Lastra, V. Vyatkin // International Journal of Manufacturing Research. - 2006. - Vol. 1. - P. 379-381.

184 A91. Burch, J.R. Symbolic model checking: 1020 states and beyond / J. R. Burch, E. M. Clarke, K. McMillan, D. Dill, L. Hwang // Proc. Fifth Annual IEEE Symposium on Logic in Computer Science. - 1990. - P. 428^139.

185. Burch, J.R. Symbolic model checking with partitioned transition relations / J. R. Burch, E. M. Clarke, D. E. Long // International Conference on Very Large Scale Integration. - Scotland, Edinburgh, 1991.-P. 49-58.

186. Cadence SMV. - URL: http://www.kenmcmil.com/smv.html

187. Cai, X. Component-Based Software Engineering: Technologies, Development Frameworks, and Quality Assurance Schemes / X. Cai, M.R. Lyu, K.-F. Wong, R. Ko // Proc. Seventh Asia-Pacific Software Engineering Conference (APSEC 2000). - Singapore, 2000. - P. 372-379.

188. Campos, J. C. Pattern-based Analysis of Automated Production Systems / J. C. Campos, J. Machado // 13 th IF AC Symposium on Information Control Problems in Manufacturing. - Moscow, 2009.-P. 976-981.

189 A95. Cavarra, A. Mapping UML into Abstract State Mashines: A Framework to Simulate UML Models / A. Cavarra, E. Riccobene, P. Scandurra // Studia Informática Universalis. - 2004. - P. 367-398.

190. Cengic, G. A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification / G. Cengic, K. Akesson // 17th IF AC World Congress, Korea, Seoul, 2008.-P. 22-27.

191. Cengic, G. Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime / G. Öengic, O. Ljungkrantz, K. Ákesson // Proc. 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September 20-22, 2006. - Czech Republic, Prague, 2006. - P. 1269-1276.

192. Cengic, G. On Formal Analysis of IEC 61499 Applications, Part A: Modeling / G. Cengic, K. Ákesson // IEEE Transactions on Industrial Informatics. - 2010. - Vol. 6, № 2. - P. 136-144.

193 A99. Cengic, G. On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics / G. Cengic, K. Ákesson // IEEE Transactions on Industrial Informatics. - 2010. - Vol. 6, № 2.-P. 145-154.

194. Chilkat XML C / C++ Library. - URL: http://www.chilkatsoft. com/xml-library.asp

195. Christensen, J. H. Design patterns for systems engineering with IEC 61499 / J. H. Christensen // Fachtagung «Verteilte Automatisierung - Modelle und Methoden fur Entwurf, Verifikation, Engineering und Instrumentierung». - Magdeburg : Otto-von-Guericke-Universität, 2000. - P. 63-71.

196. Christensen, H. J. HMS/FB Architecture and its Implementation / H. J. Christensen // Agent-Based Manufacturing: Advances in the Holonic Approach. - Berlin/Heidelberg : SpringerVerlag, 2003.-P. 53-87.

197. Christensen, H. J. IEC 61499 Architecture, Engineering Metho-dologies and Software

Tools / H. J. Christensen // Knowledge and Technology Integration in Production and Services. - Bos-

j

ton/Dordrecht/ London : Kluwer Academic Publishers, 2002. - P. 221-236.

198. Cimatti, A. NuSMV 2: An OpenSource Tool for Symbolic Model Checking / A. Cimatti, E. D. Clarke, E. Giunchiglia, F. Giunchiglia, P. Marco, R. Marco, R. Sebastiani, A. Armando. - Technical Report № DIT-02-0016, Computer Science Department, Carnegie Mellon University, 2002. - 9 P. -URL: http://repository.cmu.edu/compsci/430

199. Cladera, R. A schema for the improved allocation of functionality in distributed industrial process-measurement and control systems / R. Cladera, G. Frey // XXVIII.ASR'2003 Seminar, Instruments and Control, Ostrava, 2003. - 6 p.

200. Clarke, E. M. Compositional model checking / E. M. Clarke, D. Long, K. McMillan // Proceedings of the Fourth Annual Symposium on Logic in computer science, IEEE Press Piscataway, NJ, USA, 1989.-P. 353-362.

201. Clarke, E. M. Modular translation of stateeharts to SMV / E. M. Clarke, W. Heinle. - Technical report, School of Computer Science, Carnegie Mellon University, Pittsburgh, 2000. - 40 p.

202. Complexity of reasoning in Description Logics. - URL: http:// www.cs.man.ac.uk/~ezolin/dl/

203. Compton, K. An Automatic Verification Tool for UML / K. Compton, Y. Gurevich, J. Iiuggins, W. Shen. - Technique Report CSE-TR-423-00, Dept. of EECS, The University of Michigan, 2000.-49 c.

204. Corbett, J. C. Evaluating Deadlock Detection Methods for Concurrent Software / J. C. Cor-bett // IEEE Transactions on Software Engineering. - Vol. 33, № 3. - 1996. - P. 161-180.

205. Cortes, L. A. Verification Methodology for Heterogeneous Hardware/Software Systems: SAVE Project Report / L. A. Cortes, P. Eles, Z. Peng. - Linkoping University, 2000. - 18 p.

206. Dai, W. Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems / W. Dai, V. Dubinin, V. Vyatkin // IEEE Transactions on Industrial Informatics. - 2013. - Vol. 9, Issue 4. - P. 2124-2136.

207. Dai, W. IEC 61499 Ontology Model for Semantic Analysis and Code Generation / W. Dai,

V. Dubinin, V. Vyatkin // IEEE 9th International Conference on Industrial Informatics (INDIN'2011),

i

Lisbon, Portugal, 2011. - P. 597-602.

208. Dai, W. Migration from PLC to IEC 61499 using Semantic Web Technologies / W. Dai, V. Dubinin, V. Vyatkin // IEEE Transactions on Systems, Man, and Cybernetics: Systems. - 2014. - Vol. 44, Issue 3.-P. 277-291.

209. Dai, W. Ontology-based Design Recovery and Migration between IEC 61499 - compliant Tools / W. Dai, V. Vyatkin, V. Dubinin // 37th Annual Conference of the IEEE Industrial Electronics Society(IECON 2011). - Melbourne, Australia, 2011. - P. 4332-4337.

210. Dijkstra, E.-W. Cooperating sequential processes / E.-W. Dijkstra // The origin of concurrent programming. - Springer-Verlag, 2002. - P. 65-138.

211. Dimitrova, D. Formal approach for modeling and verification of IEC 61499 function blocks / D. Dimitrova, G. Frey, I. Bachkova // Int. Conf. Advanced Manufacturing Technologies (AMTECH 2005). - Russe, Bulgaria. - Vol. 44.- Book 2,2005. - P. 731-736.

212 A114. Distributed Automation Testbed. - URL: http://at.iw.uni-halle. de/~testbeds/plant.htm.

213. Dubinin, V. Building of reachability graph extractions using a graph rewriting system / V. Dubinin, H.-M. Hanisch; S. Karras // Новые информационные технологии и системы (НИТС'2006) : тр. V Междунар. науч.-техн. конф. -Пенза, 2006. - Ч. 1. - С. 160-171.

214. 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 In-

ternational Conference on Robotics and Automation (ICRA'05). - Barcelona, Spain, 2005. - P. 40074012.

215. Dubinin, V. Event graph-based approach to interpretation of NCES models / V. Dubinin, H.-M. Hanisch, D. Missal // Новые информационные технологии и системы (НИТС'2006): тр. V Междунар. науч.-техн. конф. - Пенза, 2006. -Ч. 1. - С. 172-186.

216. Dubinin, V.N. Implementation of some kinds of interactions and communications in IEC 61499 architecture / V. Dubinin // Новые информационные технологии и системы (НИТС'2004) : тр. VI Междунар. науч.-техн. конф. - Пенза, 2004. - Ч. 2. - С. 84-92.

217. Dubinin, V. N. Net formalism based tools for design, verification and implementation of distributed systems / V. N. Dubinin, N. P. Vashkevich // Proc. EAST-WEST Int. Conf. "Information Technology in Design" (EWITD'94). - Moscow, 1994. - Part 2. - P. 170-174.

218. Dubinin, V. Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM / V. Dubinin, S. Patil, C. Pang, V. Vyatkin // Proc. Ershov Informatics Conference (PSF 14). - St. Petersburg, 2014.

219. Dubinin, V. On Definition of a Formal Model for IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // EURASIP Journal on Embedded Systems. - 2008. - 10 p.

220. Dubinin, V. Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard / V. Dubinin, V. Vyatkin // Proc. 13th IF AC Symposium on Information Control Problems in Manufacturing. - Moscow, 2009. - P. 193-198.

' t

221. Dubinin, V. Reverse partially-marked safe net condition/event systems and their interpretation / V. Dubinin, D. Missal // Современные информационные технологии в науке, образовании и практике: материалы VI всероссийской науч.-практ. конф. (с международным участием). — Оренбург, 2007. - С.168-191.

222. Dubinin, V. Semantics-Robust Design Patterns for IEC 61499 / V. Dubinin, V. Vyatkin // IEEE Transactions on Industrial Informatics. - 2012. - Vol. 8, Issue 2. - P. 279-290.

223. Dubinin, V. Towards a Formal Semantics of IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // 4th IEEE International Conference on Industrial Informatics (INDIN'2006). - Singapore, 2006.-P. 6-11.

224. Dubinin, V. UML-FB - a language for modeling and implementation of industrial-process measurement and control systems on the basis of IEC 61499 standard / V. Dubinin, V. Vyatkin // Новые информационные технологии и системы(НИТС'2004): тр. VI Междунар. науч.-техн. конф-Пенза, 2004. - Ч. 2. - С. 77-83.

225. Dubinin, V. Using Prolog for Modelling And Verification of IEC 61499 Function Blocks and Applications / V. Dubinin, V. Vyatkin, H.-M. Hanisch // 11th IEEE International Conference on

Emerging Technologies and Factory Automation (ETFA 2006), Proceedings, Prague, Czech Republic, 2006.-P. 774-781.

226. Ehrig, H. Fundamental theory for typed attributed graph transformation / H. Ehrig, U. Prange, G. Taenzer // Graph Transformation: 2nd Int. Conf. (ICGT 2004). Lecture Notes in Computer Science. - Berlin; Heidelberg: Springer Verlag, 2004. - Vol. 3256. - P. 161-177.

227. Ehrig, H. Termination criteria for model transformation / H. Ehrig, K. Ehrig, J. Lara, G. Taentzer, D. Varro, S. Varro-Gyapay // Lecture Notes in Computer Science. - 2005. - Vol. 3442. - P. 49-63.

228. Enste, U. Technical Application of Hybrid Modeling Methods to specify Function Block Systems / U. Enste, U. Epple // Automatisieungstechnik, 48. - R.Oldenburg Verlag, 2000. - 8 p.

229. Eshuis, H. A Formal Semantics for UML Activity Diagrams - Formalising Workflow Mod-

■ i ■ ■■ >i,

els / H. Eshuis, R. J. Wieringa. - Technical Report TR-CTIT-01-04, Centre for Telematics and Information Technology University of Twente, Enschede, 2001. - 44 p.

230. eXist-db Open Source Native XML Database. - URL: http:// exist-db.org/

231 AI28. Extensible Markup Language (XML). - URL: http://www.w3. org/XML/

232. Faure, J. M. Towards IEC 61499 function blocks diagrams verification / J. M. Faure, J. J. Lesage, C. Schnakenbourg // IEEE Int. Conference on Systems, Man and Cybernetics (SMC02). — Hammamet, Tunisia, 2002. - Vol. 3.

233. FBench - Open Source Function Block Engineering Tool. -URL: http://oooneida-fbench.sourceforge.net/, 2008.

234. Feige, U. Exact analysis of hot-potato routing / U. Feige, P. Raghavan // 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, 1992. - P. 553-562.

i

235. Ferrarini, L. Implementation approaches for the execution model of IEC 61499 applications / L. Ferrarini, C. Veber // Proc. 2nd IEEE Conference on Industrial Informatics (INDIN'04). - Berlin, Germany, 2004. - P. 612-617.

236. Fowler, M. Refactoring: Improving the Design of Existing Code / M. Fowler, K. Beck, J. Brant, W. Opdyke, D. Roberts. - Addison-Wesley, 1999. - 420 c.

■ • • I.....ID 1 • "U 1

237. Function Block Development Kit. - URL: http://www.holobloc. com/doc/fbdk/index.htm,

2008.

238. Gasevic, D. Model Driven Architecture and Ontology Deve-lopment / D. Gasevic, D. Djuric, V. Devedzic. - Berlin: Springer, 2005. - 312 p.

239. Gawanmeh, A. An Executable Operational Semantics for SystemC using Abstract State Machines / A. Gawanmeh, A. Habibi, S. Tahar // Technical Report, Concordia University, Department of Electrical and Computer Engineering, 2004. - 24 c.

240. Gerber, C. Formal modelling of IEC 61499 function blocks with integer-valued data types / C. Gerber, I. Ivanova-Vasileva, H.-M. Hanisch // Control and Cybernetics. - 2010. - Vol. 39. - P. 197231.

241. Giua, A. Petri net techniques for supervisory control of discrete event systems // Proc. First Work, on Manufacturing and Petri nets. - Osaka, Japan, 1996. - P. 1-30.

242. Glässer, U. Abstract State Machine Semantics of SDL / U. Glässer, R. Karges // Journal of Universal Computer Science. - 1997. - Vol. 3, № 12. -P. 1382-1414.

243. Glässer, U. Combining abstract state machines with predicate/transition nets / U. Glässer // Lecture Notes in Computer Science. - 1997. - Vol. 1333. - P. 108-122.

244. Glausch, A. Distributed Abstract State Machines and Their Expressive Power / A. Glausch, W. Reisig // Informatik-Berichte 196, Berlin : Humboldt-Universität, 2006. - 33 p.

245. Goh, K. M. Iterative Knowledge Based Code Generator for IEC 61499 Function Block / K. M. Goh, W. Ding, B. Tjahjono // 2009 IEEE Region 10 Conference (TENCON 2009). - Singapore, 2009.-P. 1-6.

246. Grau, B. C. OWL2: The Next Step for OWL / B. C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, U. Sattler // Journal of Web Semantics : Science, Services and Agents on the World Wide Web. - 2008. - № 6(4). - P. 309-322.

247. Grunske, L. Graph Transformation for Practical Model Driven Software Engineering / L.

Grunske, L. Geiger, A. Zuendorf, N. V. Eetvelde, P.V. Gorp, D. Varro // Model-driven Software Dei

velopment. - Berlin; Heidelberg : Springer Verlag, 2005. - P. 91-118.

248. Guizzardi, G. Ontology-Based Evaluation and Design of Domain-Specific Visual Modeling Languages / G. Guizzardi, L. F. Pires, M. v. Sinderen // 14th International Conference on Information Systems Development. - Karlstad, Sweden : Springer, 2005.

249. Gunter, C. A. The Semantics of Programming Languages. Structures and Techniques / C. A. Gunter. - MIT Press, 1992. - 441 c.

250. Gurevich, Y. Evolving Algebras 1993: Lipari Guide / Y. Gure-vich // Specification and Validation Methods. - Oxford : University Press, 1995. - P. 9-36.

251. Hagge, N. Modeling and clarifying the execution of IEC 61499 function blocks using XNet / N. Hagge, B. Wagner // Proc. IEEE 5th Int. Conf. Ind. Informat. (INDIN 2007). - Vienna, Austria, 2007.-P. 1177-1182. .

252. Handbook of Graph Grammars and 'Computing by Graph Transformations / G. Rozenberg (ed.) // World Scientific. - 1997. - Vol. 1.-553 p.

253. Handbook of Networked and Embedded Control Systems / D. Hristu-Varsakelis, W. Levine (eds). - Springer. - 2005. - 822 P.

254. Hanisch, H.-M. A modular plant modeling technique and related controller synthesis problems / H.-M. Hanisch, A. Lueder, J. Thieme // Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics. - 1998. - Vol. 1. - P. 686-691.

255. Hanisch, H.-M. Controller synthesis for net condition/event systems with incomplete state observation / H.-M. Hanisch, A. Lueder, M. Rausch // Proc. Computer Integrated Manufacturing and Automation Technology (CIMAT 96). - Grenoble, France, 1996. - P. 351-356.

256. Hanisch, H.-M. Netz-Condition/Eve'nt Systeme / H.-M. Hanisch, M. Rausch // 4. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA'95). — Braunschweig, 1995. - S. 55-71.

257. Hanisch, H.-M. One Decade of IEC 61499 Modeling and Verification - Results and Open Issues / H.-M. Hanisch, M. Hirsch, D. Missal, S. Preuße, C. Gerber // 13th IF AC Symposium on Information Control Problems in Manufacturing. - Moscow, 2009. - Vol. 13, Part 1, P. 211-216.

258. Happel, FI. J. Applications of ontologies in software engineering / H. J. Happel, S. Seedorf // Proc. 2nd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2006). -Athens, USA, 2006.

259. Hästbacka, D. Semantics enhanced engineering and model reasoning for control application development / D. Hästbacka, S. Kuikka // Multimedia Tools and Applications. - 2013. - Volume 65, Issue 1.-P. 47-62.

260. Heckel, R. Confluence of Typed Attributed Graph Transformation Systems / R. Heckel, J. Malte Küster, G. Taentzer // Proceedings of the First International Conference on Graph Transformation (ICGT 2002). - 2002. - P. 161-176.

261. Hennessy, M. The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics / M. Hennessy. - Wiley, 1990. - 157 p.

262. Hermit OWL Reasoner. - URL: http://www.hermit-reasoner. com/

263. Heverhagen, T. A profile for integrating function blocks into the Unified Modeling Language / T. Heverhagen, R. Tracht, R. Hirschfeld // Int. Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS'03). - San Francisco, California, 2003.

264. Hirsch, M. Systemspezifikation mit SysML fur eine Fertigungstechnische Laboranlage / M. Hirsch, H.-M. Hanisch // Fachtagung zum Entwurf komplexer Automatisierungssysteme (EKA 08). -Magdeburg, Germany, 2008. - P. 23-34.

265. Hoare, T. Grand challenges for computing research / T. Hoare, R. Milner // The Computer Journal. - 2005. - Vol. 48. - P. 49-52.

266. Holloway, L. E. A survey of Petri net methods for controlled discrete event systems / L. E. Holloway, B. H. Krogh, A. Giua // J. Discrete Event Dynamic Systems: Theory and Application. -1997.-Vol. 7,No. 2.-P. 151-190.

267. Holloway, L. E. Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets / L.E. Holloway, B.H. Krogh // IEEE Trans, on Automatic Control. - 1990. - Vol. 35, N 5. - P. 514523.

268. Horrocks, I. The Even More Irresistible SROIQ /1. Horrocks, O. Kutz, U. Sattler // Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006). — AAAI Press, 2006. - P. 57-67.

269. Hosek, P. Comparison of Component Frameworks for Real-Time Embedded Systems / P. Hosek, T. Pop, T. Bures, P. Hnetynka, M. Malohlava // Component-Based Software Engineering. Lecture Notes in Computer Science. - 2010. - Vol. 6092. - P. 21-36.

270. Hu, F. Cyber-Physical Systems: Integrated Computing and Engineering Design / F. Hu. -CRC Press, 2013.-398 P.

271. ICSTriplex ISaGRAF v. 6. - URL: http://www.isagraf.com, 2012.

272. IMS - Intelligent Manufacturing Systems. Global Research and Business Innovation Program. - URL: http://www.ims.org/

273. International Standard EEC 61131-3 (edition 2.0): Programmable Controllers / International Electrotechnical Commission. - Geneva, 2003. - 230 p.

274. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems (edition 2.0). Part 1: Architecture / International Electrotechnical Commission. - Geneva, 2005. - 245 p.

275. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems (edition 2.0). Part 2: Software tool requirements: ed2.0 / International Electrotechnical Commission. — Geneva, 2012. - 97 p.

276. Ivanova-Vasileva, I. Transformation of IEC 61499 control systems to formal models / I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch // Int. Conf. «Automatics and Informatics (CAF07)». -Sofia.-2007.-P. 5-10.

277. Jack, H. Automating Manufacturing Systems with PLCs / H. Jack. - 2005: - URL: http://claymore.engineer.gvsu.edu/~jackh/books.html.

278. Jammes, F. Service-Oriented Paradigms in Industrial Automation / F. Jammes, H. Smit // IEEE Transaction on Industrial Informatics. - 2005. - № 1(1). - P. 62-70.

279. Khalgui, M. A behavior model for IEC 61499 function blocks / M. Khalgui, X. Rebeuf, F. Simonot-Lion // Third Workshop on Modelling of Objects, Components and Agents (MOCA). - Aar-hus, Denmark, 2004. - P. 71-88.

280. Khalgui, M. Reconfiguration Protocol for Multi-Agent Control Software Architectures / M. Khalgui, H.-M. Hanisch // IEEE Transactions on Systems Man and Cybernetics. Part C-Applications and Reviews. - 2011. - Vol. 41. - P. 70-80.

281. Klein, S. A Petri Net based Approach to the Development of correct Logic Controllers / S. Klein, G. Frey, L. Litz // Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02). - Grenoble, France, 2002. - P. 116-129.

282. Koehler, H. J. Integrating UML diagrams for production control systems / H. J. Koehler, U. Nickel, J. Niere, A. Zuendorf // 22nd Int. Conf. on Software Engineering (ICSE 2000). - Limerick, Ireland, 2000.-P. 241-251.

283. Lampposts, L. The Part-Time Parliament // ACM Transactions on Computer Systems. - № 2.-P. 133-169.

284. Lastra, J. L. M. An IEC 61499 Application generator for Scan-Based Industrial Controllers / J. L. M. Lastra, L. Godinho, A. Lobov, R. Tuokko // Proc. 3rd IEEE Conference on Industrial Informatics. - Perth, Australia, 2005. - P. 80-85.

285. Ledeczi, A. Composing Domain-Specific Design Environments / A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, G. Karsai // Computer. -2001. - Vol. 34, № 11. - p. 44-51.

286. Lewis, R.W. Modelling control systems using IEC 61499: Applying function blocks to distributed systems / R.W. Lewis. - London : IET, 2001. - 192 p.

287. Lewis, R. W. Programming industrial control systems using IEC 1131-3 / R.W. Lewis. — IEE Publishing, London, United Kingdom, 1998. - 344 p.

288. Lueder, A. Formal models for the verification of IEC 61499 function block based control applications / A. Lueder, C. Schwab, M. Tangermann, J. Peschke // IEEE Int. Conf. Emerging technologies and factory automation (ETFA'2005). - Catania. - 2005. - P. 105-112.

289. Luder, A. Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen: PhD

thesis / A. Luder. -, Martin-Luther-Universitaet Halle-Wittenberg, 2000.

, .. ■ ........... -tii1 ■

290. McMillan, K. L. Symbolic Model Checking / K. L. McMillan // Kluwer Academic Publishers, 1993.- 194 p.

291. McMillan K. L. The SMV language / K. L. McMillan. - Cadence Berkeley Labs. - Berkeley, USA. - 111 p.

292. MEDEIA - Model-Driven Embedded System Design Environment for the Industrial Automation Sector. - URL: http://www.medeia.eu

293. Mens, T. On the Use of Graph Transformations for Model Refactoring / T.Mens // Lecture Notes in Computer Science. Generative and Transformational Techniques in Software Engineering. -2006.-Vol. 4143.-P. 219-257.

294. Mir, A. A. Modeling and verification of embedded systems using Cadence SMV / A. A. Mir, S. Balakrishnan, S. Tahar // Canadian Conference on Electrical and Computer Engineering. -Halifax, 2000. - Vol. 1. - P. 179-183.'

295. Missal, D. A Modular Synthesis Approach for Distributed Safety Controllers, Part B: Modular Control Synthesis / D. Missal, H.-M. Hanisch // Proc. 17th IF AC World Congress. - Seoul, Korea, 2008.-P. 14479-14484.

296. Missal, D. Formal Synthesis of Safety Controller Code for Distributed Controllers / D. Missal. - Logos Verlag Berlin, 2012. - 162 p.

297. Missal, D. Modular Plant Modelling for Distributed Control / D. Missal, H.-M. Hanisch // Proceedings of 2007 IEEE International Conference on Systems, Man and Cybernetics. - Montréal, Canada, 2007.- P. 3475-3480.

298. Missal, D. Synthesis of distributed controllers by means of a monolithic approach / D. Missal, H.-M. Hanisch // Proc.' 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'2006). - Prague, Czech Republic, 2006. - P. 356-363.

299. Model-Driven Software Development / B. Sami, M. Book, V. Gruhn (Eds.). - London : Springer, 2005. - 464 p.

300. Mosses, P. D. Formal Semantics of Programming Languages An Overview / P. D. Mosses // Electronic Notes in Theoretical Computer Science. - 2006. - Vol. 148, Issue 1. - P. 41-73.

301. Motik, B. Query answering for OWL DL with rules / B. Motik, U. Sattler, R. Studer // Journal of Web Semantics. - 2005. - № 3(1). - P. 41-60.

302. Mueller, W. The semantics of behavioral VHDL'93 descriptions / W. Mueller, E. Boerger, U. Glaesser // Proceedings of the conference on European design automation (EURO-DAC '94). -Grenoble, 1994. - P. 500-505.

303. NuSMV - New Symbolic Model Checker. - URL: http:// nusmv.irst.itc.it

304. nxtStudio - Engineering-Software für alle Aufgaben. - URL: http://www.nxtcontrol.com/produkte/nxtstudio.html, 2012.

305. OOONEIDA: An Open Object-Oriented Knowledge Economy for Intelligent Industrial Automation. - URL: http://www.oooneida.net

306. OOONEIDA. IEC 61499 Compliance Profile: Execution Models of IEC 61499 Function Block Applications, draft in progress. - URL: http://www.oooneida.org/standards_development_Compliance_Profile.html, 2009.

307. Object Management Group (OMG). - URL: http://www.omg.org.

308. OMG Systems Modeling Language. - URL: http://www.omg-sysml.org/.

309. OMG's MetaObject Facility. - URL: http://www.omg.org/mof/.

310. Ontologies for Software Engineering and Software Technology / Calero, Coral; Ruiz, Francisco; Piattini, Mario (Eds.). - London : Springer, 2006. - 339 p.

311. Orozco, О. J. L. Adding Function Blocks of IEC 61499 Semantic Description to Automation Objects / O. J. L. Orozco, J. L. M. Lastra // IEEE Conference on Emerging Technologies and Factory Automation (ETFA '06). - Prague, 2006. - P. 537-544.

312. O'Sullivan, D. VHDL architecture for IEC 61499 function blocks / D. O'Sullivan, D. Hef-fernan // Computers & Digital Techniques. - 2010. - Vol. 4. - P. 515-524.

313. Panjaitan, S. Combination of UML modeling and the IEC 61499 function block concept for the development of distributed automation systems / S. Panjaitan, G. Frey // IEEE Conference on Emerging Technologies and Factory Automation. - 2006. - P. 449-456.

314. Pang, C. Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES / C. Pang, V. Vyatkin // IEEE Int. Conf. on Industrial Informatics (INDIN'2007). - Vienna, 2007. - P. 879-884.

315. Pellet - an open-source Java OWL DL reasoner. — URL: http://pellet.owldl.com/.

316. Pinzon, L. A comparative study of synthesis methods for discrete event controllers: Rutcor Research Report / L. Pinzon, M. Jafari, H.-M. Hanisch, T. Boucher. - Rutgers University, 1997. - 54 p.

317. PLC Open [Электронный ресурс], -http://www.plcopen.org.

318. Plotkin, G. D. A Structural Approach to Operational Semantics / G. D. Plotkin // DAIMI FN-19, Computer Science Department, Aarhus University. - 1981. - 133 p.

319. Podgurski, A. A Formal Model of Program Dependence and its Implication for Software

•• M..........44,.

Testing, Debugging and Maintenance / A. Podgurski, L. A. Clarke // IEEE Transactions on Software Engineering. - 1990. - № 16 (9). - P. 965-979.

320. Proceedings of 2nd International Workshop on Ontology-Driven Software Engineering (ODiSE'10). - Nevada, New York : ACM, 2010.

321. Protégé. -URL: http://protege.stanford.edu.

i

322. Ramadge, P. J. Supervisory control of a class of discrete-event processes / P. J. Ramadge, W. M. Wonham // SIAM Journal Control and Optimization. - 1987. - Vol. 25, № 1. - P. 206-230.

323. Ramadge, P.J. The Control of Discrete Event Systems / P. J. Ramadge, W.M. Wonham // Proc. IEEE. - 1989. - Vol. 77, Issue 1. - P. 81-98.

324. Rausch, M. Netz-Condition/Event-Systeme / M. Rausch, H.-M. Hanisch // 4. Fachtagung Entwurf komplexer Automàtisierungssysteme. - Braunschweig, Germany, 1995. - P. 55-71.

325. Rausch, M. Net condition/event systems with multiple condition outputs / M. Rausch, H.-M. Hanisch // IEEE Int. Conf. on Emerging Technologies and Factory Automation, Paris, 1995. - Vol. 1.-P. 592-600.

326. Roussel, J.-M. Designing dependable logic controllers using the supervisory control theory / J.-M. Roussel, A. Giua // Proc. 16th IFAC World Congress. - Prague, Czech Republic, 2005.

...........inn ... .... .... ¡4.

327. Ryssel, U. Generation of Function Block Based Designs using Semantic Web Technologies / U. Ryssel, H. Dibowski, K. Kabitzsch // IEEE International Conference on Emerging Technologies and Factory Automation. - 2009. - P. 1-8.

328. Schuer, A. Graph Grammar Engineering with PROGRES / A. Schuer, A. J. Winter, A. Zuendorf // Proc. 5th European Software Engineering Conf. (ESEC'95), Lecture Notes in Computer Science. - Berlin : Springer Verlag, 1995. - Vol. 989. - P. 219-234.

329. Selic, B. Using UML for complex real-time systems / B. Selic, J. Rumbaugh. - URL: http://www.objecttime.com/technical/umlrt.html

330. Sendall, S. Model transformation: The heart and soul of model-driven software development / S. Sendall, W. Kozaczynski // IEEE Software. Special Issue on Model-Driven Software Development. - 2003. - № 20(5). - P. 42-45.

331. SESA: Signal-Net System Analyzer. - URL: http://www2.informatik.hu-

I. I...... I I I I 1 . , , и . ,... nil I

berlin.de/lehrstuehle/automaten/tools/.

332. Shasha, D. Algorithmics and Applications of Tree and Graph Searching / D. Shasha, J. T. L. Wang, R. Giugno // Proc. 21th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of database systems. - New York, USA, ACM Press, 2002. - P. 39-52.

333. SHE/POOSL Website. - URL: http://www.es.ele.tue.nl/poosl

334. Signal Interpreted Petri Nets (SIPN) Tool [Электронный ресурс] http://www.eit.uni-kl.de/litz/ENGLISH/software/SIPNEditor.htm.

335. Sinha, R. Observer based verification of IEC 61499 function blocks / R. Sinha, P. S. Roop // 9th IEEE International Conference on Industrial Informatics (INDIN). - 2011. - P. 609-614.