Модели функциональных блоков 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