База знаний лаборатории 19

База знаний "Процесс-ориентированное программирование"

 

Теория 

Язык
Рефлекс 

Инженерия требований
EDTL 

Верификация 

Статический анализ

 Публикации

 Документация

Язык Рефлекс

Бастрыкина А. А. Рефакторинг транслятора языка Reflex на основе автоматической парсер-генерации, рук. Зюбин В. Е, // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2020, – 53 с. (https://github.com/a-bastrykina/reflex-translator-diploma)

Язык poST

Башев В. И. , рук. Зюбин В. Е, Ядро web-IDE процесс-ориентированного языка poST // Выпускная квалификационная работа магистра, ФИТ НГУ, 2022, – 94 с. (https://github.com/v-bashev/post_ide)

Язык IndustrialC

Розов А. С. Описание языка IndustrialC, 2018, – 11 с. (https://github.com/deadproger/IndustrialC)

Розов С. А. Тьюториал по работе с проектом IndustrialC, 2018, – 5 с. 

Розов А. С. , рук. Зюбин В. Е, Разработка языковых и инструментальных средств процесс-ориентированного программирования для открытых микроконтроллерных платформ // Диссертация на соискание ученой степени кандидата технических наук, 2019, – 127 с. 

 

Инженерия требований и EDTL

Козлова, Анастасия Викторовна, рук. Гаранина Н. О., Разработка парсера EDTL-требований в абстрактное синтаксическое дерево // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2022, – 56 с.

Гнездилова, Анна Владимировна, рук. Гаранина Н. О., Разработка алгоритма преобразования EDTL-спецификаций в требования на естественном языке // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2022, – 38 с.

Гетманова, Анастасия Николаевна, рук. Гаранина Н. О., Разработка генератора LTL-формул из списка EDTL-требований // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2022, – 37 с.

Верификация и отладка процесс-ориентированных программ

Масеевский А. М., рук. Зюбин В. Е, Разработка веб-технологии виртуализации ПЛК средствами Python-интерпретатора для исполнения poST-программ // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2023, – 47 с.

Черненко И. М., рук. Ануреев И. С, Разработка генератора условий корректности poST-программ и стратегий их доказательства в системе Isabelle/HOL // Выпускная квалификационная работа маристра, ФИТ НГУ, 2023, – 86 с. 

Родченко, Анна Сергеевна, рук. Зюбин В. Е., Исследование подходов к разработке виртуальных лабораторных стендов в среде CoDeSys // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2022, – 59 с.

Кондратьев, Илья Игоревич, рук. Гаранина Н. О., Разработка транслятора языка poST в язык Promela для целей верификации методом проверки моделей // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2022, – 59 с.

Статический анализ процесс-ориентированных спецификаций

Абраменко А. А., рук. Зюбин В. Е, Разработка модуля визуализации структуры программ для webIDE языка poST // Выпускная квалификационная работа магистра, ФИТ НГУ, 2023, – 39 с.

webIDE и модули расширения

Синицын Д. В, рук. Зюбин В. Е, Разработка ядра облачного IDE процесс-ориентированного расширения языка Си // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2023, – 50 с.

Витченко В. А., рук. Зюбин В. Е, Унифицированная архитектура модуля расширения ядра Web-IDE процесс-ориентированного языка Reflex // Выпускная квалификационная работа магистра, ФИТ НГУ, 2022, – 33 с.

Белоглазов, Даниил Александрович, рук. Зюбин В. Е, Исследование унифицированных архитектур и механизмов расширения ядра Web-IDE процесс-ориентированного языка poST // Выпускная квалификационная работа бакалавра, ФИТ НГУ, 2022, – 66 с.

Витченко В. А., рук. Зюбин В. Е, РАЗРАБОТКА WYSIWYG РЕДАКТОРА ДЛЯ МОДУЛЯ ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ ПРОЦЕСС-ОРИЕНТИРОВАННЫХ АЛГОРИТМОВ УПРАВЛЕНИЯ // Выпускная квалификационная работа магистра, ФИТ НГУ, 2020, – 53 с.

 

Стратегии планирования и балансировки

Пермяшкин Д. А., рук. Зюбин В. Е, Исследование механизмов балансировки загрузки в процесс-ориентированных языках программирования  // Выпускная квалификационная работа магистра, ФИТ НГУ, 2022, – 49 с. 
 

Публикации 

= 2023

1. Zyubin, V.E.; Garanina, N.O.; Anureev, I.S.; Staroletov, S.M. Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm. Sensors 2023, 23, 6216. https://doi.org/10.3390/s23136216

2. I. M. Chernenko and I. S. Anureev, "Development of Verification Condition Generator for Process-Oriented Programs in PoST Language," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1760-1765, https://doi.org/10.1109/EDM58354.2023.10225217.

3. A. V. Gnezdilova, N. O. Garanina, S. M. Staroletov and V. E. Zyubin, "Towards Controlled Natural Language for Event-Driven Temporal Requirements," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1860-1865, https://doi.org/10.1109/EDM58354.2023.10225047.

4. A. D. Ishchenko, I. S. Anureev, S. M. Staroletov, N. O. Garanina and V. E. Zyubin, "Formalization of Process-oriented Programs in poST Using Isabelle/HOL," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1810-1815, https://doi.org/10.1109/EDM58354.2023.10225143.

5. D. A. Permiashkin, "Towards Conflict Resolution Methods in Process-Oriented Programs," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1790-1793, https://doi.org/10.1109/EDM58354.2023.10225109.

6. K. A. Timofeev, Y. V. Shornikov and A. A. Achitaev, "Comparition of Numerical Methods for Stiff Problems in SimInTech," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1730-1733, https://doi.org/10.1109/EDM58354.2023.10225240.

7. V. E. Zyubin, D. S. Ivanishkin and I. S. Anureev, "Towards Process-Oriented Programming Distributed Control Systems," 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM), Novosibirsk, Russian Federation, 2023, pp. 1840-1843, https://doi.org/10.1109/EDM58354.2023.10225024.

8. Зюбин В.Е. Реализация распределенной системы управления с сохранением семантики гиперпроцесса // Сборник трудов Российской конференции с международным участием «Распределенные информационно-вычислительные ресурсы (DICR-2022)», Россия, г. Новосибирск, 5 – 8 декабря 2022 г. С. 91-97 DOI: 10.25743/DIR.2022.51.99.016 http://conf.ict.nsc.ru/files/conferences/dicr2022/719207/DICR-2022_full.pdf

 

= 2022

1. V. E. Zyubin, A. S. Rozov, I. S. Anureev, N. O. Garanina and V. Vyatkin, "poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language," in IEEE Access, doi: 10.1109/ACCESS.2022.3157601.

2. Vladimir Zyubin Software Psychology of Control Software Design and Development // 2021 International Symposium on Knowledge, Ontology, and Theory (KNOTH) (doi: 10.1109/KNOTH54462.2021.9685023) V. Zyubin, "Software Psychology of Control Software Design and Development," 2021 International Symposium on Knowledge, Ontology, and Theory (KNOTH), 2021, pp. 100-103, doi: 10.1109/KNOTH54462.2021.9685023.
3. Staroletov S.M., Anureev I.S. Towards unit testing of event-driven control requirements // Computational Technologies 2022 , Volume 27, № 1, p.88-100 DOI: 10.25743/ICT.2022.27.1.007
4. A. Kharchenko, V. Zyubin, A. Rozov, " Towards E-Learning Support for Advanced PLC-Programming: Virtual Training Kit for a Sluice Controller with the poST Language," 2022 IEEE 23d International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 5
5. A. Grivtsova, T. Lyakh, V. Zyubin, A. Dvinyanin, "Automatic Generation of Verification Code for Dynamic Verification of Process-Oriented Reflex Programs," 2022 IEEE 23d International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 
6. I. Gornev, V. Bondarchuk, T. Liakh, "Towards Multi-User Mode in RIDE Web-IDE," 2022 IEEE 23d International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 
7. A. Getmanova, N. Garanina, S. Staroletov, V. Zyubin, I. Anureev, "Semantic Classification of Event Driven Temporal Logic Requirements," 2022 IEEE 23d International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 
8. D. Permiashkin, "Towards to Load Balancing for Cooperative Multithreading Implementation of Process-Oriented Programs," 2022 IEEE 23d International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 
9. I. Chernenko, I. Anureev, N. Garanina, S. Staroletov, "Towards to Load Balancing for Cooperative Multithreading Implementation of Process-Oriented Programs," 2022 IEEE 23d International Conference of Young Professionals in Electron Devices and Materials (EDM), 2022, pp. 

= 2021

1. V. Bashev, A. Rozov and V. Zyubin, "PoST2ST: a Web Service for Translating poST Programs to the IEC 61131-3 Structured Text," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 520-523, doi: 10.1109/EDM52169.2021.9507695

2. A. Bastrykina, V. Zyubin and A. Rozov, "Developing Reflex IDE Kernel with Xtext Framework," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 511-514, doi: 10.1109/EDM52169.2021.9507663.

3. I. Chernenko, I. Anureev and N. Garanina, "Proving Reflex Program Verification Conditions in Coq Proof Assistant," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 485-488, doi: 10.1109/EDM52169.2021.9507628.

4. I. Gornev and T. Liakh, "RIDE: Theia-Based Web IDE for the Reflex Language," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 503-506, doi: 10.1109/EDM52169.2021.9507678.

5. A. A. Ponomarenko, N. O. Garanina, S. M. Staroletov and V. E. Zyubin, "Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software," 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 493-498, https://doi.org/10.1109/EDM52169.2021.9507563.

6. Zyubin V., Rozov A. (2021) Using Process-Oriented Structured Text for IEC 61499 Function Block Specification. In: Bellatreche L., Chernishev G., Corral A., Ouchani S., Vain J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham. pp. 217-227. https://doi.org/10.1007/978-3-030-87657-9_17 (Q3)

7. Garanina N., Koznov D. (2021) Static Checking Consistency of Temporal Requirements for Control Software. In: Bellatreche L., Chernishev G., Corral A., Ouchani S., Vain J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham., pp 189-203. https://doi.org/10.1007/978-3-030-87657-9_15 (Q3)

9. A. Dvinianin and T. Liakh, "Debugging Reflex-Programs on Digital Plant Models," 2021 International Russian Automation Conference (RusAutoCon),021, pp. 618-622, doi: 10.1109/RusAutoCon52004.2021.9537401.

10. Sergey Staroletov, Horst Schulte, Thomas Baar, Ivan Konyukhov, Nikolay Shilov, Tatiana Liakh, Andrei Rozov, and Vladimir Zyubin, "Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study," 202116th Conference on Computer Science and Intelligence Systems (FedCSIS), 2021, pp. 485-488, doi: 10.15439/2021F98.

11. S. Staroletov, "Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera," 2021 28th Conference of Open Innovations Association (FRUCT), 2021, pp. 431-438, doi: 10.23919/FRUCT50888.2021.9347586.

12. Zyubin V., Anureev I., Garanina N., Staroletov S., Rozov A., Liakh T. (2021) Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. In: Hojjat H., Massink M. (eds) Fundamentals of Software Engineering. FSEN 2021. Lecture Notes in Computer Science, vol 12818. Springer, Cham. https://doi.org/10.1007/978-3-030-89247-0_7 (Q2)

13. N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, and S. P. Gorlatch. A Temporal Logic for Programmable Logic Controllers. // ISSN 0146-4116, Automatic Control and Computer Sciences, 2021, Vol. 55, No. 7, pp. 763–775. © Allerton Press, Inc., 2021. (Q3)

= 2020

1. Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin Verifying Reflex-software with SPIN: Hand Dryer Case Study // XXI International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, Novosibirsk, 29 June - 3 July 2020, P. 210-214

2. T. Liakh and A. Grivtsova, "Dynamic Verification of Process-Oriented Control Software by the Case of Crossroad Control," 2020 International Russian Automation Conference (RusAutoCon), Sochi, Russia, 2020, pp. 1037-1041, doi: 10.1109/RusAutoCon49822.2020.9208138.

3. Garanina N., Anureev I., Sidorova E., Koznov D., Zyubin V., Gorlatch S. (2020) An Ontology-Based Approach to Support Formal Verification of Concurrent Systems. In: Sekerinski E. et al. (eds) Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science, vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_9

4. Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. N 17. 2020. P. 33-42.

5. Garanina N.O., Anureev I.S, Zyubin V.E. Constructing verification-oriented domain-specific process ontologies // Aut. Control Comp. Sci. 54, Issue 7, pp. 739–749 (2020) DOI: 10.3103/S014641162007007X

6. Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Старолетов С.М., Розов А.С., Лях Т.В., Горлач С.П. Темпоральная логика для программируемых логических контроллеров // Моделирование и анализ информационных систем. Т. 27. № 4. 2020. С. 376-391. DOI: 10.18255/1818-1015-2020-4-376-391

7. Anureev I., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S. Two-Step Deductive Verification of Control Software Using Reflex // ISSN 0361-7688, Programming and Computer Software, 2020, Vol. 46, No. 4, pp. 261-272. © Pleiades Publishing, Ltd., 2020

8. Anureev I.S. Operational Semantics of Annotated Reflex Programs // Aut. Control Comp. Sci. Vol. 54, No. 7, 2020. P. 718-726. DOI: 10.3103/S0146411620070032
 

= 2019

1. Розов А. С., Зюбин В. Е. Адаптация процесс-ориентированного подхода к разработке встраиваемых микроконтроллерных систем // Автометрия. 2019. Том 55, № 2, С. 114–122 (DOI: 10.15372/AUT20190212)
2. Лях Т. В., Зюбин В. Е., Гаранина Н. О. Автоматическая верификация алгоритмов управления в киберфизических системах на программных имитаторах // Автометрия. 2019. Том 55, № 2, С. 103–113 (DOI: 10.15372/AUT20190211)
3. Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S. Two-Step Deductive Verification of Control Software Using Reflex // Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia. LNCS. 2019. Vol. 11964. P. 50-63. DOI 10.1007/978-3-030-37487-7_5 (WoS, Scopus, Q2).
4. Anureev I. Operational Semantics of Reflex // System Informatics. 2019. No 14. P. 1-10.
5. Ануреев И.С. Операционная семантика аннотированных Reflex программ // Моделирование и анализ информационных систем. 2019. Т. 26. № 4. С. 475-487. (ВАК / РИНЦ).
6. Natalia Garanina, Igor Anureev and Vladimir Zyubin Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. 2019. No 14. P. 19-30.
7. Гаранина Н.О., Ануреев И.С., Боровикова О.И., Зюбин В.Е. Методы специализации онтологии процессов, ориентированной на верификацию // Моделирование и анализ информационных систем. 2019. Т. 26, №4 (2019), С. 534-549. (ВАК / РИНЦ).
8. Garanina N.O., Anureev I.S., Borovikova O.I. Verification-oriented Process Ontology // Automatic Control and Computer Science. 2019. N 7. (Scopus, Q3, WoS)
Квалификационные работы

Документация/Инструкции

Video