Ebook: Модели функциональных блоков IEC 61499, их проверка и трансформации в проектировании распределенных систем управления

Пенза: Изд-во ПГУ, 2012. – 348 с. ISBN 978-5-94170-521-4В монографии освещаются вопросы разработки элементов теории и технологии проектирования распределенных компонентно-базированных систем управления промышленной автоматики нового поколения на основе международного стандарта IEC
61499. Рассматриваются операционная семантика функциональных блоков IEC 61499 для различных моделей выполнения, метод формальной верификации и метод семантического анализа проектов IEC 61499 на основе Web-онтологий. Предлагается унифицированный подход к проектированию систем управления на основе трансформации графов. В рамках данного подхода решается задача синтеза формальных моделей, рефакторинга и портабельности управляющего программного обеспечения. Книга предназначена для специалистов в области вычислительной техники, автоматики, робототехники.Содержание:
Введение
Обзор и анализ методов проектирования современных распределенных систем управления промышленными процессами
UML-FB – визуальный язык для моделирования систем управления промышленными процессами на основе стандарта IEC 61499
Операционная семантика функциональных блоков IEC 61499
Проверка моделей систем функциональных блоков IEC 61499
Графотрансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499
Рефакторинг диаграмм управления выполнением базисных функциональных блоков IEC 61499
Семантический анализ проектов IEC 61499 на основе Web-онтологий
Шаблоны модельно-ориентированной реализации систем функциональных блоков стандарта IEC 61499
Заключение
Библиографический список
Summary