- Модельно-центрированная методология проектирования РКБИУСПА на основе международного стандарта IEC 61499, охватывающая этапы от формализованного описания до реализации, позволяющая: а) строить системы, отвечающие функциональным и нефункциональным требованиям; б) повысить качество проектных решений за счет автоматизации и увеличить степень повторного использования артефактов проектирования.
- Абстрактный синтаксис и операционная семантика систем ФБ IEC 61499 с учетом моделей выполнения ФБ (циклической, синхронной и последовательной) на основе специальной нотации, базирующейся на аппарате машин абстрактных состояний, что позволяет формально определить язык ФБ, используемый во многих фазах проектирования РКБИУСПА;
- Система трансформации графов, определяющая процесс порождения aNCES-моделей систем ФБ, позволяющая автоматизировать трудно формализуемый этап разработки формальных моделей.
- Методика верификации дискретных событийных систем, представленных в виде NCES-сетей, на основе метода Model Checking, позволяющая производить сертификацию РКБИУСПА с использованием современных промышленных верификаторов.
- Метод семантического анализа описаний систем управления на основе стандарта IEC 61499 с использованием Web-онтологий, позволяющий выявить семантические ошибки в описании на ранних стадиях проектирования, что сокращает общее время проектирования системы.
- Метод рефакторинга диаграмм управления выполнением (диаграмм ЕСС) базисного ФБ на основе трансформаций графов, позволяющий избавиться от условных дуг и потенциально-тупиковых (по условиям) состояний, что повышает качество проектных решений и предотвращает фатальные ошибки в функционировании системы управления.
- Метод синтеза моделей контроллеров безопасности распределенных систем управления на основе RsNCES-сетей, позволяющий генерировать запрещающие правила для предотвращения попадания замкнутых систем «управление-оборудование» в опасные состояния.
- Шаблоны модельно-ориентированной реализации систем функциональных блоков, предназначенные для решения проблемы портабельности управляющих приложений на основе стандарта IEC 61499, позволяющие достичь высокой степени независимости поведения управляющего приложения от модели выполнения ФБ, поддерживаемой runtime-средой.
- Язык UML-FB для моделирования систем управления промышленными процессами на основе стандарта IEC 61499, основанный на расширении метамодели языка UML, позволяющий сократить семантический разрыв между структурным и объектно-ориентированным подходами к проектированию систем управления и облегчить переход от системных требований к артефактам проектирования.
- Формальная модель иерархических модульных недетерминированных автоматов, позволяющая описывать и проектировать сложные иерархические локальные системы управления с параллельными процессами, а также реализовывать их на языках ПЛК и VHDL.
1. Дубинин, В. Н. Операционная семантика функциональных блоков IEC 61499 (Ч. 2: Циклическая модель выполнения) / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2013.-№ 2 - С. 45-58.
2.Дубинин, В. Н. Операционная семантика функциональных блоков IEC 61499 (Ч. 1: Модель базисного блока) / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2012. -№ 4. - С. 37-48.
3.Дубинин, В. Н. Операционная семантика синхронных функциональных блоков IEC 61499 на основе машин абстрактных состояний (Ч. 1: Модель диспетчеров) / В. Н. Дубинин, В. В. Вяткин // XXI век: итоги прошлого и проблемы настоящего Плюс. - 2012. - Вып. 4. - С. 233-240.
4.Дубинин, В. Н. Определение графов зависимостей в онтологии функциональных блоков и их использование для анализа систем управления / Н. П. Вашкевич, В. Н. Дубинин // Вопросы радиоэлектроники. Сер. СОИУ. - 2012. - Вып. 4. - С. 74-86.
5.Дубинин, В. Н. Верификация приложений IEC 61499 на основе метода Model Checking / В. Н. Дубинин, В. В. Вяткин // Известия вузов. Поволжский регион. Технические науки. - 2011. - № 3. - С. 44-55.
6.Дубинин, В. Н. Формализация моделей выполнения функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия вузов. Поволжский регион. Технические науки. - 2011. - № 1. - С. 12-23.
7.Дубинин, В. Н. Семантический анализ описаний систем управления промышленными процессами на основе стандарта ГЕС 61499 с использованием онтологий / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2010. - № 3 (15). - С. 3-15.
8.Дубинин, В. Н. Концептуальное моделирование систем управления на основе функциональных блоков IEC 61499 / В. Н. Дубинин // Вестник ТГТУ. - 2009. - № 3. - С. 467-477.
9.Дубинин, В. Н. Асинхронное моделирование NCES-сетей / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2009. - № 2. - С. 3-14.
10.Дубинин, В. Н. Графотрансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2008. - № 4. - С. 16-26.
11.Дубинин, В. Н. Об одной методике проектирования супервизорного управления для дискретно-событийных систем / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. -2009. - № 3.-С. 12-24.
12.Дубинин, В. Н. Рефакторинг диаграмм управления выполнением стандарта IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия вузов. Поволжский регион. Технические науки. - 2008. - № 2. - С. 16-25.
13.Дубинин, В. Н. Использование реверсивных частично-маркированных sNCES-сетей в синтезе контроллеров безопасности для дискретно-событийных систем / В. Н. Дубинин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2008. - № 1. - С. 25-35.
14.Дубинин, В. Н. Формализованное описание и верификация дискретных событийных систем с параллельными процессами / Н. П. Вашкевич, В. Н. Дубинин // Вопросы радиоэлектроники. Сер. ЭВТ. - 2008. -Вып. 5 - С. 51-65.
15.Дубинин, В. Н. Интерпретация реверсивных частично-маркированных sNCES-сетей / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. -2007.- № 3. - С. 23-34.
16.Дубинин, В. Н. Реверсивные частично-маркированные sNCES-сети / В. Н. Дубинин, Х.-М. Ханиш, Д. Миссал // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. - № 2. - С. 22-31.
17.Дубинин, В. Н. Модели последовательного выполнения функциональных блоков IEC 61499 на основе динамически изменяемых приоритетов / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. - № 1. - С. 13-22.
18.Дубинин, В. Н. Проектирование распределенных систем управления промышленными процессами с использованием UML-FB / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Сер. Технические науки. - 2004. - № 2. - С. 136-146.
19.Дубинин, В. Н. Формализованное описание и моделирование систем функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Сер. Технические науки. - 2005. - № 5. - С. 76-89.
20.Дубинин, В. Н. Использование методов искусственного интеллекта при проектировании интеллектуальных систем управления внешней и массовой памятью ЭВМ / Н. П. Вашкевич, С. А. Зинкин, В. Н. Дубинин // Известия АН СССР. Техническая кибернетика. - 1991. - № 5. - С. 63-74.
21.Dubinin, V. 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.
22.Dubinin, V. 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.
23.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.
24.Dubinin, V. Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard / V. Vyatkin, V. Dubinin // IEEE Transactions on Industrial Informatics. - 2010. - Vol. 6, Issue 2. - P. 155-165.
25.Dubinin, V. On Definition of a Formal Model for IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // EURASIP Journal on Embedded Systems. -Vol. 2008, Article ID 426713. - P. 10.
Публикации в других изданиях
26.Дубинин, В. Н. Модели функциональных блоков IEC 61499, их проверка и трансформации в проектировании распределенных систем управления : моногр. / В. Н. Дубинин, В. В. Вяткин ; под ред. проф. Н. П. Вашкеви-ча. - Пенза : Изд-во Пенз. гос. ун-та, 2012. - 350 с.
27.Дубинин, В. Н. Сетевые модели распределенных систем обработки, хранения и передачи данных : моногр. / В. Н. Дубинин, С. А. Зинкин. -Пенза : ПДЗ, 2013. - 452 с.
28. Дубинин, В. Н. Вопросы разработки операционной семантики функциональных блоков IEC 61499 / Н. П. Вашкевич, В. Н. Дубинин // Про граммные системы и вычислительные методы. - 2012. - № 1. - С. 10-16.
29.Dubinin, V. Rapid engineering and re-configuration of automation objects using formal verification / V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeif-fer, V. Dubinin // International Journal of Manufacturing Research. - 2006. -Vol. 1, № 4. - P. 382-404.
30.Дубинин, В. Н. Синхронно-асинхронные модели и верификация замкнутых систем «управление-оборудование» / Н. П. Вашкевич, В. И. Вол-чихин, В. Н. Дубинин // Надежность и качество : тр. Междунар. симп. -Пенза, 2014. - Т. 1. - С. 21-26.
31.Дубинин, В. Н. Модельно-центрированная методология проектирования распределенных компонентно-базированных информационно-управляющих систем промышленной автоматики / В. Н. Дубинин // Современные информационные технологии : тр. междунар. науч.-техн. конф. -Пенза, 2013. - Вып. 18. - С. 7-24.
32.Дубинин, В. Н. Иерархические модульные недетерминированные автоматы / Н. П. Вашкевич, В. Н. Дубинин // Новые информационные технологии и системы (НИТС’2012) : тр. X Междунар. науч.-техн. конф. -Пенза, 2012. - C. 3-7.
33.Дубинин, В. Н. Формализованное описание последовательной модели выполнения функциональных блоков / Н. П. Вашкевич, В. Н. Дубинин, В. В. Вяткин // Вычислительные системы и технологии обработки информации : межвуз. сб. науч. тр. - Вып. 10 (33). - 2011. - С. 45-61.
34.Дубинин, В. Н. Анализ расширенных NCES-сетей на основе метода Model Checking / В. Н. Дубинин, Х.-М. Ханиш, В. В. Вяткин, С. К. Шеста-ков // Новые информационные технологии и системы (НИТиС’2010) : тр. IX Междунар. науч.-техн. конф. - Пенза, 2010. - Ч. 2. - C. 20-48.
35.Дубинин, В. Н. Моделирование систем функциональных блоков IEC 61499 с помощью модульных арифметических NCES-сетей / В. Н. Дубинин // Новые информационные технологии и системы (НИТиС’2008) : тр. VIII Междунар. науч.-техн. конф. - Пенза, 2008. - Ч. 2. - С. 47-64.
36.Dubinin, V. Event graph-based approach to interpretation of NCES models / V. Dubinin, H.-M. Hanisch, D. Missal // Новые информационные технологии и системы (НИТС’2006) : тр. V Междунар. науч.-техн. конф. -Пенза, 2006. - Ч. 1. - C. 172-186.
37.Dubinin, V. IEC 61499 Ontology Model for Semantic Analysis and Code Generation / W. Dai, V. Dubinin., V. Vyatkin // IEEE 9th Int. Conf. on Industrial Informatics (INDIN’2011), Lisbon, Portugal, 2011. - P. 597-602.
38.Dubinin, V. 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.
39.Dubinin, V. Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard / V. Dubinin, V. Vyatkin // Proc. 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM´09), Moscow, Russia. - 2009. - P. 193-198.
40.Dubinin, V. Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499 / V. Vyatkin, V. Dubinin // Proc. 5th IEEE Conference on Industrial Informatics (INDIN’07), Vienna, Austria. - 2007. - P. 1137-1142.
41. Dubinin, V. Alternatives for Execution Semantics of IEC61499 / V. Vyatkin, V. Dubinin, C. Veber, L. Ferrarini // 5th IEEE International Con ference on Industrial Informatics (INDIN’2007), Vienna, Austria. - 2007. - P. 1105-1110.
42. 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 Au tomation (ETFA 2006), Prague, Czech Republic. - 2006. - P. 774-781.
43.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.
44.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 International Conference on Robotics and Automation (ICRA’05), Barcelona, Spain. - 2005. - P. 4007-4012.
45.Дубинин, В. Н. Система имитационного моделирования функционально-децентрализованных вычислительных систем / В. Н. Дубинин, С. А. Зинкин ; Пенз. политехн . ин-т. - Пенза, 1986. - 161 с. - Гос. фонд алгоритмов и программ СССР; Инв. № 50870001130 // Алгоритмы и программы: Инф. бюл. - М. : ВНТИЦентр, 1988. - № 2. - С10.
Свидетельства
1.Свидетельство об официальной регистрации программы для ЭВМ № 2012611397. Система семантического анализа проектов стандарта IEC 61499 / В. Н. Дубинин, В. А. Реуцкий. - Заявка № 2011619346; Зарегистр. в реестре программ для ЭВМ 03.02.2012.
2.Свидетельство об официальной регистрации программы для ЭВМ № 2012611398. Транслятор XML-описаний NCES-сетей в код SMV / В. Н. Дубинин, С. К. Шестаков. - Заявка № 2011619347; Зарегистр. в реестре программ для ЭВМ 03.02.2012.
3.Свидетельство об официальной регистрации программы для ЭВМ № 2013615412. Транслятор XML-описания функциональных блоков стандарта IEC 61499 в код VHDL / Д. Н. Дроздов, В. Н. Дубинин. - Заявка № 2013613102; Зарегистр. в реестре программ для ЭВМ 06.06.2013.
4.Свидетельство об официальной регистрации программы для ЭВМ № 2013615737. Конвертор UML-FB-моделей систем управления на основе стандарта IEC 61499 в формат XML / В. Н. Дубинин, Н. П. Вашкевич. - Заявка № 2013613412; Зарегистр. в реестре программ для ЭВМ 19.06.2013.
5.Свидетельство об официальной регистрации программы для ЭВМ № 2013615837. Визуальная интерактивная имитационная модель производственной установки FESTO на основе функциональных блоков IEC 61499 / B. Н. Дубинин. - Заявка № 2013613758; Зарегистр. в реестре программ для ЭВМ 21.06.2013.
6.Свидетельство об официальной регистрации программы для ЭВМ № 2013616261. Система реструктуризации и преобразований функциональных блоков на основе трансформации графов / В. Н. Дубинин, Н. П. Вашкевич, А. В. Колесин, А. М. Тяпков. - Заявка № 2013613939; Зарегистр. в реестре программ для ЭВМ 02.07.2013.
7.Свидетельство об официальной регистрации программы для ЭВМ № 2013619797. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в программы ПЛК в формате PLCOpen XML / Д. А. Будаговский, В. Н. Дубинин, Н. П. Вашкевич. - Заявка № 2013617483; Зарегистр. в реестре программ для ЭВМ 16.10.2013.
8.Свидетельство об официальной регистрации программы для ЭВМ № 2013617850. Транслятор XML-описаний иерархических модульных недетерминированных автоматов в код VHDL / Н. П. Вашкевич, В. Н. Дубинин, Е. С. Демин. - Заявка № 2013615775; Зарегистр. в реестре программ для ЭВМ 26.08.2013.
9.Свидетельство об официальной регистрации программы для ЭВМ № 2013661546. Программный комплекс для поддержки проектирования дискретных событийных систем на основе недетерминированных автоматов / Н. П. Вашкевич, В. Н. Дубинин, С. В. Тумасов, Е. С. Демин. - Заявка № 2013613414; Зарегистр. в реестре программ для ЭВМ 10.12.2013.
10.Свидетельство об официальной регистрации программы для ЭВМ № 2013661891. Транслятор XML-описания функциональных блоков стандарта IEC 61499 в код SMV / В. Н. Дубинин, Д. Н. Дроздов. - Заявка № 2013660001; Зарегистр. в реестре программ для ЭВМ 18.12.2013.
11.Свидетельство об официальной регистрации программы для ЭВМ. Программный комплекс для синтеза запрещающих правил для контроллеров безопасности на основе реверсивных sNCES-сетей / В. Н. Дубинин, C. В. Тумасов, К. Ю. Тархов. - Входящий номер рассмотрения заявки 2014615312 от 03.06.2014.