Институт в фотографиях

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

 

Теория

Язык Рефлекс

Язык poST

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

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

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

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

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

Публикации

= 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