l19-БазаЗнаний
База знаний "Процесс-ориентированное программирование"
Теория |
Язык
|
Инженерия требований
|
Верификация |
Статический анализ |
Публикации |
Документация |
Язык Рефлекс
Бастрыкина А. А. Рефакторинг транслятора языка 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 с.
Инженерия требований и EDTL
Верификация и отладка процесс-ориентированных программ
Статический анализ процесс-ориентированных спецификаций
webIDE и модули расширения
Стратегии планирования и балансировки
Публикации
= 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
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)
Квалификационные работы